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

  \require{AMSmath} Printen

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