Abstract
Abstract In 1959, W. V. Quine and Burton Dreben of the Harvard University philosophy department formulated a plan with the Harvard University Press to publish a Source Book of translations of the important founding papers in modern mathematical logic. Quine and Dreben then recruited Jean van Heijenoort to be the editor of what was originally planned to be two volumes in the Press’s series of Source books in the history of science: the first to span the period from Frege 1879 to Gbdel’s incompleteness paper, the second to begin right afterwards and continue “to the present”, as van Heijenoort wrote in the early 1960s. In the event, only one volume appeared, van Heijenoort 1967, under the title From Frege to Gödel, a title to which Gödel agreed. Other works of Gödel also included in the volume were the paper on the completeness of first-order logic, 1930, and two short notes on incompleteness, 1930b and 1932b.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
