Kurt Gödel



 was a logician, mathematician, and philosopher.