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