Kurt Godel

Kurt Godel is the author of books such as On Formally Undecidable Propositions Of Principia Mathematica and Related Systems.