Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and thus to information sciences. It became a mod
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "pub
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be pro
This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what