Showing posts with label On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Show all posts
Showing posts with label On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Show all posts

12/6/09

On Formally Undecidable Propositions of Principia Mathematica and Related Systems


I am reviewing some resources to develop my foreword to  "On Formally Undecidable Propositions of Principia Mathematica and Related Systems"  by Godel, for  my translation (Turkish). The English version can be found/ordered from here.  Mine will be published by Bogazici University Press, in coming months.