Kurt Gödel: Muž, který převedl logiku na aritmetiku a publikoval věty o neúplnosti

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ý ...