EPISODE · Oct 16, 2025 · 31 MIN
Occamova britva: Gödelovi teoremi nepotpunosti
from Occamova britva
Do 7. listopada 1930. godine smatralo se da je moguće ostvariti veliki plan matematičara Davida Hilberta koji se zalagao za striktni formalizam u matematici, koncepciju prema kojoj simboli i operacije na simbolima čine središte matematike. To je trebalo osigurati siguran temelj matematike, teorija je trebala biti kompletna, konzistentna i neproturječna. A onda je 7. listopada 1930. za govornicu konferencije matematičara u Königsbergu izašao 24 godine star matematičar Kurt Gödel i održao predavanje nakon kojeg je bilo jasno da Hilbertov plan nije moguće ostvariti. Što je Gödel rekao tog 7. listopada 1930. godine? Poslušajte u Occamovoj britvi.
What this episode covers
Do 7. listopada 1930. godine smatralo se da je moguće ostvariti veliki plan matematičara Davida Hilberta koji se zalagao za striktni formalizam u matematici, koncepciju prema kojoj simboli i operacije na simbolima čine središte matematike. To je trebalo osigurati siguran temelj matematike, teorija je trebala biti kompletna, konzistentna i neproturječna. A onda je 7. listopada 1930. za govornicu konferencije matematičara u Königsbergu izašao 24 godine star matematičar Kurt Gödel i održao predavanje nakon kojeg je bilo jasno da Hilbertov plan nije moguće ostvariti. Što je Gödel rekao tog 7. listopada 1930. godine? Poslušajte u Occamovoj britvi.
NOW PLAYING
Occamova britva: Gödelovi teoremi nepotpunosti
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.