„Kurt Gödel” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a robot Adding: is:Kurt Gödel |
|||
1. sor:
'''Kurt Gödel''' ([[Brünn]], [[Morvaország]], [[Osztrák-magyar Monarchia]]., [[1906]]. [[április 28]]. – [[Princeton]], USA, [[1978]]. [[január 14]].) világhírű matematikus, logikus, tudományfilozófus.
Leghíresebb eredménye a [[Gödel első nemteljességi tétele|nemteljességi tétel]], ami azt állítja, hogy minden ellentmondásmentes [[rekurzíven felsorolható]] axiómarendszer, ami tartalmazza a természetes számok axiómarendszerét, nem teljes, azaz, vannak eldönthetetlen problémái. További nevezetes eredményei a [[teljességi tétel]], ami szerint minden ellentmondásmentes elméletnek van modellje, valamint az, hogy a halmazelmélet axiómarendszereiben nem lehet megcáfolni sem a [[kiválasztási axióma|kiválasztási axiómát]] sem a [[kontinuumhipotézis]]t.
Minden idők egyik legnagyobb logikusa volt. Amikor az amerikai Time hírmagazin 1999 március 29-én különszámot jelentetettt meg a 20. század száz legfontosabb tudósáról, két matematikusról írtak cikket: egy hosszút Gödelről és egy rövidet [[Erdős Pál]]ról.
| |||