Frege and Gödel

Published by Harvard University Press 1970

Frege and Gödel

Two Fundamental Texts in Mathematical Logic

Edited by: Jean van Heijenoort

https://doi.org/10.4159/harvard.9780674864603

Overview
Contents

Author information

van Heijenoort Jean :

Jean van Heijenoort, well known in the fields of mathematical logic and foundations of mathematics, is Professor of Philosophy at Brandeis University and has taught at New York and Columbia Universities.

Topics

Frontmatter Requires Authentication Unlicensed Licensed Download PDF	i
Preface Requires Authentication Unlicensed Licensed Download PDF	v
Contents Publicly Available Download PDF	vii
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought GOTTLOB FREGE(1879) Requires Authentication Unlicensed Licensed Download PDF	1
Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency KURT GÖDEL (1930b, 1931, and 1931a) Requires Authentication Unlicensed Licensed Download PDF	83
References Requires Authentication Unlicensed Licensed Download PDF	111
Index Requires Authentication Unlicensed Licensed Download PDF	117

(Deutsch)

Language: English
Publisher: Harvard University Press
Copyright year: 1970
Edition: Reprint 2014
Audience: Professional and scholarly;
Pages
- Main content: 116
Illustrations
- Other: Zahlr. Abb.
Keywords: Logic, Symbolic and mathematical.; Mathematics -- Philosophy.

eBook

Published: October 1, 2013
ISBN: 9780674864603

Hardcover

Published: February 5, 1970
ISBN: 9780674864573