Kurt Gödel Biografie

Kurt Gödel was een Oostenrijks-Amerikaanse logicus, wiskundige en filosoof die een immense impact had op het wetenschappelijke en filosofische denken in de 20e eeuw. Hij is het best bekend om zijn twee onvolledigheidsstellingen, die aantoonden dat er binnen elk voldoende krachtig formeel systeem ware uitspraken bestaan die niet uit de axioma's bewezen kunnen worden. Om deze stellingen te bewijzen, ontwikkelde Gödel een techniek die nu bekend staat als Gödelnummering, waarbij formele uitdrukkingen worden gecodeerd als natuurlijke getallen. Zijn werk aan de bewijstheorie verhelderde ook de verbanden tussen verschillende logische systemen en hij toonde aan dat de continuümhypothese niet weerlegbaar is uit de geaccepteerde axioma's van de verzamelingenleer.