The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Oxford University Press
2010
|
| Schlagworte: | |
| Online-Zugang: | DE-1046 DE-1047 Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043093049 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2010 xx o|||| 00||| eng d | ||
| 020 | |a 0191021997 |c electronic bk. |9 0-19-102199-7 | ||
| 020 | |a 0199546533 |9 0-19-954653-3 | ||
| 020 | |a 9780191021992 |c electronic bk. |9 978-0-19-102199-2 | ||
| 020 | |a 9780199546534 |9 978-0-19-954653-4 | ||
| 035 | |a (OCoLC)729550854 | ||
| 035 | |a (DE-599)BVBBV043093049 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 510.1 |2 22 | |
| 100 | 1 | |a Mancosu, Paolo |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The adventure of reason |b interplay between philosophy of mathematics and mathematical logic, 1900-1940 |c Paolo Mancosu |
| 264 | 1 | |a Oxford |b Oxford University Press |c 2010 | |
| 300 | |a 1 Online-Ressource (xii, 618 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the 20th century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition | ||
| 500 | |a The development of mathematical logic from Russell to Tarski, 1900-1935 (with Richard Zach and Calixto Badesa) -- Hilbert and Bernays on metamathematics ; addendum -- Between Russell and Hilbert : Behmann on the foundations of mathematics -- The Russellian influence on Hilbert and his school -- On the constructivity of proofs : a debate among Behmann, Bernays, Gödel, and Kaufmann -- Wittgenstein's constructivization of Euler's proof of the infinity of primes (with Mathieu Marion) -- Between Vienna and Berlin : the immediate reception of Godel's incompleteness theorems -- Review of Gödel's collected works, vols. IV and V -- Hermann Weyl : predicativity and an intuitionistic excursion -- Mathematics and phenomenology : the correspondence between O. Becker and H. Weyl (with T. Ryckman) -- Geometry, physics, and phenomenology : four letters of O. Becker to H. Weyl (with T. Ryckman) -- "Das Abenteuer der Vernunft" : O. Becker and D. Mahnke on the phenomenological foundations of the exact sciences -- Harvard 1940-1941 : Tarski, Carnap, and Quine on the finitistic language of mathematics for science -- Quine and Tarski on nominalism -- Tarski, Neurath, and Kokoszyńska on the semantic conception of truth -- Tarski on models and logical consequence ; addendum -- Tarski on categoricity and completeness : an unpublished lecture from 1940 -- Appendix : "On the completeness and categoricity of deductive systems" (1940) | ||
| 648 | 7 | |a 1900 - 1999 |2 fast | |
| 648 | 4 | |a Geschichte 1900-2000 | |
| 648 | 7 | |a Geschichte 1900-1940 |2 gnd |9 rswk-swf | |
| 650 | 7 | |a Mathematics / Philosophy |2 fast | |
| 650 | 7 | |a MATHEMATICS / Essays |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Pre-Calculus |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Reference |2 bisacsh | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Mathematics |x Philosophy |x History |y 20th century | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftsentwicklung |0 (DE-588)4079355-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | 2 | |a Wissenschaftsentwicklung |0 (DE-588)4079355-2 |D s |
| 689 | 0 | 3 | |a Geschichte 1900-1940 |A z |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028517241 | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119 |l DE-1046 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119 |l DE-1047 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1819295397946851328 |
|---|---|
| any_adam_object | |
| author | Mancosu, Paolo |
| author_facet | Mancosu, Paolo |
| author_role | aut |
| author_sort | Mancosu, Paolo |
| author_variant | p m pm |
| building | Verbundindex |
| bvnumber | BV043093049 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)729550854 (DE-599)BVBBV043093049 |
| dewey-full | 510.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.1 |
| dewey-search | 510.1 |
| dewey-sort | 3510.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| era | 1900 - 1999 fast Geschichte 1900-2000 Geschichte 1900-1940 gnd |
| era_facet | 1900 - 1999 Geschichte 1900-2000 Geschichte 1900-1940 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04319nam a2200625zc 4500</leader><controlfield tag="001">BV043093049</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2010 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0191021997</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-19-102199-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199546533</subfield><subfield code="9">0-19-954653-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191021992</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-19-102199-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199546534</subfield><subfield code="9">978-0-19-954653-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)729550854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043093049</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mancosu, Paolo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The adventure of reason</subfield><subfield code="b">interplay between philosophy of mathematics and mathematical logic, 1900-1940</subfield><subfield code="c">Paolo Mancosu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 618 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the 20th century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The development of mathematical logic from Russell to Tarski, 1900-1935 (with Richard Zach and Calixto Badesa) -- Hilbert and Bernays on metamathematics ; addendum -- Between Russell and Hilbert : Behmann on the foundations of mathematics -- The Russellian influence on Hilbert and his school -- On the constructivity of proofs : a debate among Behmann, Bernays, Gödel, and Kaufmann -- Wittgenstein's constructivization of Euler's proof of the infinity of primes (with Mathieu Marion) -- Between Vienna and Berlin : the immediate reception of Godel's incompleteness theorems -- Review of Gödel's collected works, vols. IV and V -- Hermann Weyl : predicativity and an intuitionistic excursion -- Mathematics and phenomenology : the correspondence between O. Becker and H. Weyl (with T. Ryckman) -- Geometry, physics, and phenomenology : four letters of O. Becker to H. Weyl (with T. Ryckman) -- "Das Abenteuer der Vernunft" : O. Becker and D. Mahnke on the phenomenological foundations of the exact sciences -- Harvard 1940-1941 : Tarski, Carnap, and Quine on the finitistic language of mathematics for science -- Quine and Tarski on nominalism -- Tarski, Neurath, and Kokoszyńska on the semantic conception of truth -- Tarski on models and logical consequence ; addendum -- Tarski on categoricity and completeness : an unpublished lecture from 1940 -- Appendix : "On the completeness and categoricity of deductive systems" (1940)</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">1900 - 1999</subfield><subfield code="2">fast</subfield></datafield><datafield tag="648" ind1=" " ind2="4"><subfield code="a">Geschichte 1900-2000</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte 1900-1940</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics / Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Essays</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Pre-Calculus</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Reference</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</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">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="x">History</subfield><subfield code="y">20th century</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftsentwicklung</subfield><subfield code="0">(DE-588)4079355-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Wissenschaftsentwicklung</subfield><subfield code="0">(DE-588)4079355-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Geschichte 1900-1940</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028517241</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119</subfield><subfield code="l">DE-1047</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043093049 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-24T04:41:34Z |
| institution | BVB |
| isbn | 0191021997 0199546533 9780191021992 9780199546534 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028517241 |
| oclc_num | 729550854 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xii, 618 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Oxford University Press |
| record_format | marc |
| spelling | Mancosu, Paolo Verfasser aut The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 Paolo Mancosu Oxford Oxford University Press 2010 1 Online-Ressource (xii, 618 p.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the 20th century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition The development of mathematical logic from Russell to Tarski, 1900-1935 (with Richard Zach and Calixto Badesa) -- Hilbert and Bernays on metamathematics ; addendum -- Between Russell and Hilbert : Behmann on the foundations of mathematics -- The Russellian influence on Hilbert and his school -- On the constructivity of proofs : a debate among Behmann, Bernays, Gödel, and Kaufmann -- Wittgenstein's constructivization of Euler's proof of the infinity of primes (with Mathieu Marion) -- Between Vienna and Berlin : the immediate reception of Godel's incompleteness theorems -- Review of Gödel's collected works, vols. IV and V -- Hermann Weyl : predicativity and an intuitionistic excursion -- Mathematics and phenomenology : the correspondence between O. Becker and H. Weyl (with T. Ryckman) -- Geometry, physics, and phenomenology : four letters of O. Becker to H. Weyl (with T. Ryckman) -- "Das Abenteuer der Vernunft" : O. Becker and D. Mahnke on the phenomenological foundations of the exact sciences -- Harvard 1940-1941 : Tarski, Carnap, and Quine on the finitistic language of mathematics for science -- Quine and Tarski on nominalism -- Tarski, Neurath, and Kokoszyńska on the semantic conception of truth -- Tarski on models and logical consequence ; addendum -- Tarski on categoricity and completeness : an unpublished lecture from 1940 -- Appendix : "On the completeness and categoricity of deductive systems" (1940) 1900 - 1999 fast Geschichte 1900-2000 Geschichte 1900-1940 gnd rswk-swf Mathematics / Philosophy fast MATHEMATICS / Essays bisacsh MATHEMATICS / Pre-Calculus bisacsh MATHEMATICS / Reference bisacsh Geschichte Mathematik Philosophie Mathematics Philosophy History 20th century Mathematik (DE-588)4037944-9 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Wissenschaftsentwicklung (DE-588)4079355-2 gnd rswk-swf Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s Wissenschaftsentwicklung (DE-588)4079355-2 s Geschichte 1900-1940 z 1\p DE-604 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Mancosu, Paolo The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 Mathematics / Philosophy fast MATHEMATICS / Essays bisacsh MATHEMATICS / Pre-Calculus bisacsh MATHEMATICS / Reference bisacsh Geschichte Mathematik Philosophie Mathematics Philosophy History 20th century Mathematik (DE-588)4037944-9 gnd Philosophie (DE-588)4045791-6 gnd Wissenschaftsentwicklung (DE-588)4079355-2 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4045791-6 (DE-588)4079355-2 |
| title | The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 |
| title_auth | The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 |
| title_exact_search | The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 |
| title_full | The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 Paolo Mancosu |
| title_fullStr | The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 Paolo Mancosu |
| title_full_unstemmed | The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 Paolo Mancosu |
| title_short | The adventure of reason |
| title_sort | the adventure of reason interplay between philosophy of mathematics and mathematical logic 1900 1940 |
| title_sub | interplay between philosophy of mathematics and mathematical logic, 1900-1940 |
| topic | Mathematics / Philosophy fast MATHEMATICS / Essays bisacsh MATHEMATICS / Pre-Calculus bisacsh MATHEMATICS / Reference bisacsh Geschichte Mathematik Philosophie Mathematics Philosophy History 20th century Mathematik (DE-588)4037944-9 gnd Philosophie (DE-588)4045791-6 gnd Wissenschaftsentwicklung (DE-588)4079355-2 gnd |
| topic_facet | Mathematics / Philosophy MATHEMATICS / Essays MATHEMATICS / Pre-Calculus MATHEMATICS / Reference Geschichte Mathematik Philosophie Mathematics Philosophy History 20th century Wissenschaftsentwicklung |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119 |
| work_keys_str_mv | AT mancosupaolo theadventureofreasoninterplaybetweenphilosophyofmathematicsandmathematicallogic19001940 |