De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  gastenboek |  wie is wie? |  verhalen |  contact

HOME

samengevat

vragen bekijken

een vraag stellen

hulpjes

zoeken

FAQ

links

twitter

boeken

help

inloggen

colofon

Zelfconsistent recursief axiomatisch systeem

Goedenavond,
Ik ben al enige tijd op zoek naar de uitleg van een zelfconsistent recursief axiomatisch systeem. Is er iemand die mij een handige link kan sturen of de titel van een boek kan aanreiken waar ik dat goed uitgelegd kan krijgen?

Jan
Student hbo - dinsdag 8 november 2016

Antwoord

Ik heb de beginselen van de wiskundige logica uit onderstaand boek geleerd. Elke term uit de onvolledigheidsstellingen van Goedel wordt daar uitgelegd.

Zie Mendelson: Introduction to Mathematical Logic

kphart

Vragen naar aanleiding van dit antwoord? Klik rechts..! dinsdag 8 november 2016

home |  vandaag |  bijzonder |  gastenboek |  statistieken |  wie is wie? |  verhalen |  colofon

©2001-2024 WisFaq - versie 3