The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
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 na...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Oxford ; New York :
Oxford University Press,
2010.
|
| Series: | Oxford scholarship online.
Oxford scholarship online. Philosophy module. |
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | in00000176466 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 110510s2010 enka fob 001 0 eng d | ||
| 005 | 20240702204139.6 | ||
| 019 | |a 733241035 |a 774511257 |a 870646946 |a 874162782 |a 922972953 |a 961621177 |a 1077896313 |a 1341424470 |a 1423298478 | ||
| 020 | |a 9780191021992 |q (electronic bk.) | ||
| 020 | |a 0191021997 |q (electronic bk.) | ||
| 020 | |a 9780191594939 | ||
| 020 | |a 0191594938 | ||
| 020 | |a 9780198701514 | ||
| 020 | |a 0198701519 | ||
| 020 | |z 9780199546534 |q (hbk.) | ||
| 020 | |z 0199546533 |q (hbk.) | ||
| 035 | |a (OCoLC)729550854 |z (OCoLC)733241035 |z (OCoLC)774511257 |z (OCoLC)870646946 |z (OCoLC)874162782 |z (OCoLC)922972953 |z (OCoLC)961621177 |z (OCoLC)1077896313 |z (OCoLC)1341424470 |z (OCoLC)1423298478 | ||
| 040 | |a StDuBDS |b eng |e pn |c UAB |d VLB |d OCLCQ |d OCLCF |d N$T |d IDEBK |d YDXCP |d OCLCQ |d FTU |d QCL |d E7B |d EBLCP |d OCLCQ |d OCL |d STBDS |d AGLDB |d MOR |d PIFAG |d FIE |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d COO |d STF |d NRC |d VTS |d COCUF |d ICG |d OCLCQ |d INT |d VT2 |d OCLCQ |d WYU |d YOU |d UKUOY |d TKN |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCLCQ |d AJS |d UKAHL |d OCLCO |d OCLCQ |d SFB |d OCLCQ |d OCLCO |d OCLCQ |d OCLCL |d AUD | ||
| 050 | 4 | |a QA9 |b .M295 2010 | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 082 | 0 | 4 | |a 510.1 |2 22 |
| 084 | |a 31.02 |2 bcl | ||
| 100 | 1 | |a Mancosu, Paolo. | |
| 245 | 1 | 4 | |a The adventure of reason : |b interplay between philosophy of mathematics and mathematical logic, 1900-1940 / |c Paolo Mancosu. |
| 260 | |a Oxford ; |a New York : |b Oxford University Press, |c 2010. | ||
| 300 | |a 1 online resource (xii, 618 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Oxford scholarship online | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |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). | |
| 506 | |a University staff and students only. Requires University Computer Account login off-campus. | ||
| 520 | 8 | |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. | |
| 583 | 1 | |a Legacy |c 2018 |5 UoY | |
| 583 | 1 | |a NBK-R |c 9999 |5 UKUoY | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Mathematics |x Philosophy |x History |y 20th century. | |
| 655 | 0 | |a Electronic books. | |
| 758 | |i has work: |a The adventure of reason (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGgkrH9MbxCJBdxmTT9KwK |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Mancosu, Paolo. |t Adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940. |d Oxford ; New York : Oxford University Press, 2010 |z 9780199546534 |w (OCoLC)624411922 |
| 830 | 0 | |a Oxford scholarship online. | |
| 830 | 0 | |a Oxford scholarship online. |p Philosophy module. | |
| 852 | |b Online |h ProQuest | ||
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/emmanuel/detail.action?docID=3056054 |z Full text (Emmanuel users only) |t 0 |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25858195 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL3056054 | ||
| 938 | |a ebrary |b EBRY |n ebr10837083 | ||
| 938 | |a EBSCOhost |b EBSC |n 698119 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis28026588 | ||
| 938 | |a Oxford University Press USA |b OUPR |n EDZ0000076445 | ||
| 938 | |a YBP Library Services |b YANK |n 5690617 | ||
| 938 | |a YBP Library Services |b YANK |n 11648998 | ||
| 947 | |a FLO |x pq-ebc-base | ||
| 999 | f | f | |s d33f97d8-76e8-4b6b-a266-f6e9d9179024 |i bc93bce2-a706-4cae-97b1-a3390b99268f |t 0 |
| 952 | f | f | |a Emmanuel College |b Main Campus |c Emmanuel College Library |d Online |t 0 |e ProQuest |h Other scheme |
| 856 | 4 | 0 | |t 0 |u https://ebookcentral.proquest.com/lib/emmanuel/detail.action?docID=3056054 |y Full text (Emmanuel users only) |