Login to your ABC account
Create a new ABC account
Complete your ABC account
Welcome
Forgot your password?
Password reset link sent…
We've sent an email to email. Please follow the instructions in it to set your new password
Reset your password
New wishlist
In 1931 Kurt Godel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. The authors provide an explanation of the main ideas and broad implications of Godel's discovery.
MathematicsSelected Highlights
ABC Friends