From Frege to Gödel: a source book in mathematical logic, 1879-1931
Harvard University Press, 1967 - 660 pagina's
Collected here in one volume are some thirty-six high quality translations into English of the most important foreign-language works in mathematical logic, as well as articles and letters by Whitehead, Russell, Norbert Weiner and Post&This book is, in effect, the record of an important chapter in the history of thought. No serious student of logic or foundations of mathematics will want to be without it.-Review of MetaphysicsAn invaluable work of reference and study. The selection of contents could hardly be bettered; those of the papers which were not originally in English have been admirably translated; and the editing of the book is impeccable in every way.-New ScientistThis is an excellent selection of classical contributions to symbolic logic. The bringing together in English of so many important papers is in itself a major contribution& this book will long remain a standard work, essential to the study of symbolic logic.-Library Journal
Wat mensen zeggen - Een recensie schrijven
We hebben geen recensies gevonden op de gebruikelijke plaatsen.
Letters and other signs
11 German letters The concavity in the content stroke Replaceability of German letters Their scope Latin letters
There are some objects that do not There is no There are some Every All Causal connections None Some do not Some It is possible that Square of lo...
48 andere gedeelten niet weergegeven
Overige edities - Alles weergeven
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
Jean Van Heijenoort
Gedeeltelijke weergave - 1967
according affirmed apparent variable applied arbitrary argument arithmetic assertion assume assumption axiom of choice axiom of separation axioms Begriffsschrift belongs Brouwer calculus called Cantor cardinal consider consistency consistency proof constructed contains continuum contradiction corresponding Dedekind defined definition denote denumerably infinite descriptive functions disjoint element equation equivalent example exists expression f-sequence false finite number first-order proposition follows footnote formal formula Frege given Godel hence Herbrand Hilbert holds identity ideography II-object induction inference infinite domain integer judgment Lemma letter logic logical value Lowenheim mathematical induction mathematics means natural numbers negation notion objects obtain occur order types ordinal number paper paradox Peano possible predicate prenex form primitive proof propositional calculus propositional function provable prove quantifiers recursive relation replace result Russell satisfied sequence set theory Skolem subscripts subset substitution Theorem tion transfinite translation truth table truth values well-ordered set well-ordering theorem Zermelo