From Frege to Gödel

File Size : 20,20 MB
Total View : 6579 Views
DOWNLOAD

Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege’s Begriffsschrift—wh

From Frege to Gödel

File Size : 81,81 MB
Total View : 5119 Views
DOWNLOAD

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for

Frege and Gödel

File Size : 57,57 MB
Total View : 2362 Views
DOWNLOAD

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

File Size : 3,3 MB
Total View : 5199 Views
DOWNLOAD

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be pro

Incompleteness

File Size : 55,55 MB
Total View : 2958 Views
DOWNLOAD

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.