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

Format:

Book

Author/Creator:

Mancosu, Paolo, author.

Series:

Oxford scholarship online. Philosophy module.

Oxford scholarship online

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Mathematics--Philosophy--History--20th century.

Mathematics.

Physical Description:

1 online resource (xii, 618 pages) : illustrations

Edition:

1st ed.

Other Title:

Interplay between philosophy of mathematics and mathematical logic, 1900-1940

Place of Publication:

Oxford : Oxford University Press, 2010.

Summary:

Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth 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.

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).

Notes:

Includes bibliographical references and index.

Description based on print version record.

Description based on publisher supplied metadata and other sources.

ISBN:

9780191021992

0191021997

9780191594939

0191594938

9780199546534

0199546533

OCLC:

922972953