Kurt Gödel byl rakouským logikem, matematikem a filozofem. Zkoumal základy matematiky a teorii vědy. Kromě toho se také věnoval zkoumání obecných vlastností logických systémů a jejich formalizací. Největšího úspěchu dosáhl v roce 1931, kdy publikoval tzv. dvě věty o neúplnosti. Není to ale jediný ...