From Frege to Gödel: a source book in mathematical logic, 1879-1931
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Massachusetts ; London, England
Harvard University Press
[1977]
|
| Ausgabe: | Third printing |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverzeichnis Seite [629]-655 "In this third printing a few misprints and errors have been correctet", note to the third printing, Seite [ix] Erscheinungsjahr vom Hinweis auf der letzten Buchseite entnommen: "Differences between the second (1971) and the third (1997) printing" |
| Beschreibung: | viii, 664 Seiten 1 Porträt von Gottlob Frege |
| ISBN: | 0674324501 0674324498 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002903174 | ||
| 003 | DE-604 | ||
| 005 | 20221025 | ||
| 007 | t | ||
| 008 | 900725s1977 c||| |||| 00||| eng d | ||
| 020 | |a 0674324501 |9 0-674-32450-1 | ||
| 020 | |a 0674324498 |c pbk |9 0-674-32449-8 | ||
| 035 | |a (OCoLC)318235513 | ||
| 035 | |a (DE-599)BVBBV002903174 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 510/.01 | |
| 084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SG 590 |0 (DE-625)143069: |2 rvk | ||
| 084 | |a SG 600 |0 (DE-625)143070: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 01A75 |2 msc | ||
| 084 | |a 03-03 |2 msc | ||
| 084 | |a 01A60 |2 msc | ||
| 245 | 1 | 0 | |a From Frege to Gödel |b a source book in mathematical logic, 1879-1931 |c Jean van Heijenoort |
| 250 | |a Third printing | ||
| 264 | 1 | |a Cambridge, Massachusetts ; London, England |b Harvard University Press |c [1977] | |
| 264 | 4 | |c © 1967 | |
| 300 | |a viii, 664 Seiten |b 1 Porträt von Gottlob Frege | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverzeichnis Seite [629]-655 | ||
| 500 | |a "In this third printing a few misprints and errors have been correctet", note to the third printing, Seite [ix] | ||
| 500 | |a Erscheinungsjahr vom Hinweis auf der letzten Buchseite entnommen: "Differences between the second (1971) and the third (1997) printing" | ||
| 600 | 1 | 4 | |a Frege, Gottlob <1848-1925> |
| 600 | 1 | 4 | |a Gödel, Kurt |
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Geschichte |A z |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Van Heijenoort, Jean |d 1912-1986 |0 (DE-588)119111179 |4 edt | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001817845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001817845 | ||
Datensatz im Suchindex
| _version_ | 1804117198274297856 |
|---|---|
| adam_text | Contents Frege (1879). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought Peano (1889). The principles of arithmetic, presented by a new method 1 83 Dedekind (1890a). Letter to Keferstein 98 Burali-Forti (1897 and 1897a). A question on transfinite numbers and On well-ordered classes 104 Cantor (1899). Letter to Dedekind 113 Padoa (1900). Logical introduction to any deductive theory 118 Russell (1902). Letter to Frege Frege (1902). Letter to Russell Hilbert (1904). On the foundations of logic and arithmetic Zermelo (1904). Proof that every set can be well-ordered Richard (1905). The principles of mathematics and the problem of sets 142 König (1905a). On the foundations of set theory and the continuum problem 145 Russell (1908a). Mathematical logic as based on the theory of types Zermelo (1908). A new proof of the possibility of a well-ordering Zermelo (1908a). Investigations in the foundations of set theory I Whitehead and Russell (1910). Incomplete symbols: Descriptions Wiener (1914). A simplification of the logic of relations Löwenheim (1915). On possibilities in the calculus of relatives Skolem (1920). Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L. Löwenheim and generalizations of the theorem Post (1921). Introduction to a general theory of elementary propositions 264 Fraenkel (1922b). The notion “definite” and the independence of the axiom of choice 284 Skolem (1922). Some remarks on axiomatized set theory 124 120 129 139 150 183 199 216 224
228 252 290
Skolem (1923). The foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains 302 Brouwer (1923b, 1954, and 1954a). On the significance of the principle of excluded middle in mathematics, especially in function theory, Addenda and corrigenda, and Further addenda and corrigenda 334 von Neumann (1923). On the introduction of transfinite numbers 346 Schönfinkei (1924). On the building blocks of mathematical logic 355 Hilbert (1925). On the infinite 367 von Neumann (1925). An axiomatization of set theory 393 Kolmogorov (1925). On the principle of excluded middle 414 Finsler (1926). Formal proofs and undecidability 438 Brouwer (1927). On the domains of definition of functions 446 Hilbert (1927). The foundations of mathematics 464 Weyl (1927). Comments on Hilbert’s second lecture on the foundations of mathematics 480 Bernays (1927). Appendix to Hilbert’s lecture “The foundations of mathematics” 485 Brouwer (1927a). Intuitionistic reflections on formalism 490 Ackermann (1928). On Hilbert’s construction of the real numbers 493 Skolem (1928). On mathematical logic 508 Herbrand (1930). Investigations in proof theory: The properties of true propositions 525 Gödel (1930a). The completeness of the axioms of the functional calculus of logic 582 Gödel (1930b, 1931, and 1931a). Some metamathematical results on completeness and consistency, On formally undecidable propo sitions of Principia mathematica and related systems I, and On completenessandconsistency 592 Herbrand (1931b).
Ontheconsistency of arithmetic 618 References 629 Index 657
|
| any_adam_object | 1 |
| author2 | Van Heijenoort, Jean 1912-1986 |
| author2_role | edt |
| author2_variant | h j v hj hjv |
| author_GND | (DE-588)119111179 |
| author_facet | Van Heijenoort, Jean 1912-1986 |
| building | Verbundindex |
| bvnumber | BV002903174 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2000 CC 2600 SG 590 SG 600 SK 130 |
| ctrlnum | (OCoLC)318235513 (DE-599)BVBBV002903174 |
| dewey-full | 510/.01 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510/.01 |
| dewey-search | 510/.01 |
| dewey-sort | 3510 11 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | Third printing |
| era | Geschichte gnd |
| era_facet | Geschichte |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02448nam a2200613 c 4500</leader><controlfield tag="001">BV002903174</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221025 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1977 c||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0674324501</subfield><subfield code="9">0-674-32450-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0674324498</subfield><subfield code="c">pbk</subfield><subfield code="9">0-674-32449-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)318235513</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002903174</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.01</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2000</subfield><subfield code="0">(DE-625)17606:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 590</subfield><subfield code="0">(DE-625)143069:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 600</subfield><subfield code="0">(DE-625)143070:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">01A75</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-03</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">01A60</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From Frege to Gödel</subfield><subfield code="b">a source book in mathematical logic, 1879-1931</subfield><subfield code="c">Jean van Heijenoort</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Third printing</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachusetts ; London, England</subfield><subfield code="b">Harvard University Press</subfield><subfield code="c">[1977]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 664 Seiten</subfield><subfield code="b">1 Porträt von Gottlob Frege</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis Seite [629]-655</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"In this third printing a few misprints and errors have been correctet", note to the third printing, Seite [ix]</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Erscheinungsjahr vom Hinweis auf der letzten Buchseite entnommen: "Differences between the second (1971) and the third (1997) printing"</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Frege, Gottlob <1848-1925></subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Gödel, Kurt</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Van Heijenoort, Jean</subfield><subfield code="d">1912-1986</subfield><subfield code="0">(DE-588)119111179</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001817845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001817845</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV002903174 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:50:35Z |
| institution | BVB |
| isbn | 0674324501 0674324498 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001817845 |
| oclc_num | 318235513 |
| open_access_boolean | |
| owner | DE-384 DE-473 DE-BY-UBG DE-634 DE-83 |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-634 DE-83 |
| physical | viii, 664 Seiten 1 Porträt von Gottlob Frege |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Harvard University Press |
| record_format | marc |
| spelling | From Frege to Gödel a source book in mathematical logic, 1879-1931 Jean van Heijenoort Third printing Cambridge, Massachusetts ; London, England Harvard University Press [1977] © 1967 viii, 664 Seiten 1 Porträt von Gottlob Frege txt rdacontent n rdamedia nc rdacarrier Literaturverzeichnis Seite [629]-655 "In this third printing a few misprints and errors have been correctet", note to the third printing, Seite [ix] Erscheinungsjahr vom Hinweis auf der letzten Buchseite entnommen: "Differences between the second (1971) and the third (1997) printing" Frege, Gottlob <1848-1925> Gödel, Kurt Geschichte gnd rswk-swf Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Geschichte z Van Heijenoort, Jean 1912-1986 (DE-588)119111179 edt Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001817845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | From Frege to Gödel a source book in mathematical logic, 1879-1931 Frege, Gottlob <1848-1925> Gödel, Kurt Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4143413-4 |
| title | From Frege to Gödel a source book in mathematical logic, 1879-1931 |
| title_auth | From Frege to Gödel a source book in mathematical logic, 1879-1931 |
| title_exact_search | From Frege to Gödel a source book in mathematical logic, 1879-1931 |
| title_full | From Frege to Gödel a source book in mathematical logic, 1879-1931 Jean van Heijenoort |
| title_fullStr | From Frege to Gödel a source book in mathematical logic, 1879-1931 Jean van Heijenoort |
| title_full_unstemmed | From Frege to Gödel a source book in mathematical logic, 1879-1931 Jean van Heijenoort |
| title_short | From Frege to Gödel |
| title_sort | from frege to godel a source book in mathematical logic 1879 1931 |
| title_sub | a source book in mathematical logic, 1879-1931 |
| topic | Frege, Gottlob <1848-1925> Gödel, Kurt Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Frege, Gottlob <1848-1925> Gödel, Kurt Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Mathematische Logik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001817845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vanheijenoortjean fromfregetogodelasourcebookinmathematicallogic18791931 |