Tools

LEADER 03543cam a2200565Ia 4500

001 ocn624411922;

003 OCoLC;

005 20141212100716.0;

008 110314s2010 enk b 001 0 eng ;

010 a| 2011286586;

015 a| GBB0622282| bnb;

016 7 a| 0155562912| Uk;

020 a| 9780199546534 (hbk.);

020 a| 0199546533 (hbk.);

029 1 a| NLGGCb| 327129514;

029 1 a| AU@b| 000046558831;

029 1 a| NZ1b| 13624100;

035 a| (Sirsi) a2809012;

035 a| (OCoLC)624411922;

035 a| 99947863866;

042 a| lccopycat;

049 a| EREE;

050 00 a| QA9b| .M295 2010;

082 04 a| 510.12| 22;

084 a| 31.022| bcl;

100 1 a| Mancosu, Paolo.=| ^A372729;

245 14 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| xii, 618 pages ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. [571]-610) 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).;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

856 41 u| http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001;

938 a| YBP Library Servicesb| YANKn| 100543972;

938 a| Blackwell Book Service UKb| BBUKn| L2859053c| 60.00;

938 a| Coutts Information Servicesb| COUTn| 12015569;

938 a| Blackwell Book Serviceb| BBUSn| 100543972;

938 a| Midwest Library Servicesb| MWSTn| 02430812010;

938 a| Brodartb| BRODn| 12230340c| $99.00;

949 a| QA9 .M295 2010h| Joyner48i| 30372013852204o| jjlm;

910 a| PromptCat;

994 a| 92b| ERE;

596 a| 1;

998 a| 2809012;

999 a| QA9 .M295 2010w| LCc| 1i| 30372013852204d| 1/31/2013e| 5/23/2012f| 7/25/2012g| 1l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 5/23/2012x| BOOKz| JSTACKSo| .STAFF. jjlm;

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.

Author/creator	Mancosu, Paolo
Format	Book
Publication Info	Oxford ; New York : Oxford University Press, 2010.
Description	xii, 618 pages ; 25 cm
Supplemental Content	http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001
Subjects	Logic, Symbolic and mathematical. Mathematics--Philosophy. --History. --20th century.

Contents	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).
Bibliography note	Includes bibliographical references (p. [571]-610) and index.
LCCN	2011286586
ISBN	9780199546534 (hbk.)
ISBN	0199546533 (hbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9 .M295 2010	✔ Available	Place Hold

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.

Click here for more information about this title

Availability