Paolo Mancosu
The Adventure of Reason
Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Paolo Mancosu
The Adventure of Reason
Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
Andere Kunden interessierten sich auch für
- Paolo MancosuThe Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940176,99 €
- Immanuel KantCritique of Pure Reason42,99 €
- Thomas De QuinceyOn Murder Considered as one of the Fine Arts14,99 €
- Immanuel KantCritique of Pure Reason50,99 €
- Immanuel KantCritique of Pure Reason28,99 €
- The Age of Adventure36,99 €
- Keith Ansell-PearsonPhilosophy and the Adventure of the Virtual198,99 €
-
-
-
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.
Produktdetails
- Produktdetails
- Verlag: Oxford University Press(UK)
- Seitenzahl: 632
- Erscheinungstermin: 9. Januar 2014
- Englisch
- Abmessung: 244mm x 170mm x 34mm
- Gewicht: 1074g
- ISBN-13: 9780198701514
- ISBN-10: 0198701519
- Artikelnr.: 40029557
- Verlag: Oxford University Press(UK)
- Seitenzahl: 632
- Erscheinungstermin: 9. Januar 2014
- Englisch
- Abmessung: 244mm x 170mm x 34mm
- Gewicht: 1074g
- ISBN-13: 9780198701514
- ISBN-10: 0198701519
- Artikelnr.: 40029557
Paolo Mancosu is Professor of Philosophy at University of California Berkeley. His main interests are in logic, history and philosophy of mathematics, and history and philosophy of logic.
* Preface
* Part 1: History of Logic
* 1: The Development of Mathematical Logic from Russell to Tarski,
1900-1935
* Oart 2: Foundations of Mathematics
* 2: Hilbert and Bernays on Metamathematics
* 3: Between Russell and Hilbert: Behmann on the foundations of
mathematics
* 4: The Russellian influence on Hilbert and his school
* 5: On the constructivity of proofs
* 6: Wittgenstein's constructivization of Euler's proof of the
infinitude of primes
* 7: Between Vienna and Berlin: The immediate reception of Gödel's
incompleteness theorems
* 8: Essay Review of Gödel's Collected Works (volumes IV and V)
* Part 3: Phenomenology and Mathematics
* 9: Hermann Weyl: Predicativity and an intuitionistic excursion
* 10: Mathematics and Phenomenology: the correspondence between O.
Becker and H. Weyl
* 11: Geometry, Physics and Phenomenology: Four letters of O. Becker to
H. Weyl
* 12: Das Abenteuer der Vernunft: O. Becker and D. Mahnke on the
phenomenological foundation of the exact sciences
* Part 4: Nominalism
* 13: Harvard 1940-1941: Tarski, Carnap and Quine on a finitist
language of mathematics for science
* 14: Quine and Tarski on nominalism
* Part 5: The emergence of semantics: truth and logical consequence
* 15: Neurath and Kokoszynska on the semantic conception of truth
* 16: Tarski on models and logical consequence
* 17: Tarski on Categoricity and Completeness: an unpublished lecture
from 1940
* 18: Archival Appendix. "On the completeness and categoricity of
deductive theories" (1940), By Alfred Tarski.
* Bibliography
* Part 1: History of Logic
* 1: The Development of Mathematical Logic from Russell to Tarski,
1900-1935
* Oart 2: Foundations of Mathematics
* 2: Hilbert and Bernays on Metamathematics
* 3: Between Russell and Hilbert: Behmann on the foundations of
mathematics
* 4: The Russellian influence on Hilbert and his school
* 5: On the constructivity of proofs
* 6: Wittgenstein's constructivization of Euler's proof of the
infinitude of primes
* 7: Between Vienna and Berlin: The immediate reception of Gödel's
incompleteness theorems
* 8: Essay Review of Gödel's Collected Works (volumes IV and V)
* Part 3: Phenomenology and Mathematics
* 9: Hermann Weyl: Predicativity and an intuitionistic excursion
* 10: Mathematics and Phenomenology: the correspondence between O.
Becker and H. Weyl
* 11: Geometry, Physics and Phenomenology: Four letters of O. Becker to
H. Weyl
* 12: Das Abenteuer der Vernunft: O. Becker and D. Mahnke on the
phenomenological foundation of the exact sciences
* Part 4: Nominalism
* 13: Harvard 1940-1941: Tarski, Carnap and Quine on a finitist
language of mathematics for science
* 14: Quine and Tarski on nominalism
* Part 5: The emergence of semantics: truth and logical consequence
* 15: Neurath and Kokoszynska on the semantic conception of truth
* 16: Tarski on models and logical consequence
* 17: Tarski on Categoricity and Completeness: an unpublished lecture
from 1940
* 18: Archival Appendix. "On the completeness and categoricity of
deductive theories" (1940), By Alfred Tarski.
* Bibliography
* Preface
* Part 1: History of Logic
* 1: The Development of Mathematical Logic from Russell to Tarski,
1900-1935
* Oart 2: Foundations of Mathematics
* 2: Hilbert and Bernays on Metamathematics
* 3: Between Russell and Hilbert: Behmann on the foundations of
mathematics
* 4: The Russellian influence on Hilbert and his school
* 5: On the constructivity of proofs
* 6: Wittgenstein's constructivization of Euler's proof of the
infinitude of primes
* 7: Between Vienna and Berlin: The immediate reception of Gödel's
incompleteness theorems
* 8: Essay Review of Gödel's Collected Works (volumes IV and V)
* Part 3: Phenomenology and Mathematics
* 9: Hermann Weyl: Predicativity and an intuitionistic excursion
* 10: Mathematics and Phenomenology: the correspondence between O.
Becker and H. Weyl
* 11: Geometry, Physics and Phenomenology: Four letters of O. Becker to
H. Weyl
* 12: Das Abenteuer der Vernunft: O. Becker and D. Mahnke on the
phenomenological foundation of the exact sciences
* Part 4: Nominalism
* 13: Harvard 1940-1941: Tarski, Carnap and Quine on a finitist
language of mathematics for science
* 14: Quine and Tarski on nominalism
* Part 5: The emergence of semantics: truth and logical consequence
* 15: Neurath and Kokoszynska on the semantic conception of truth
* 16: Tarski on models and logical consequence
* 17: Tarski on Categoricity and Completeness: an unpublished lecture
from 1940
* 18: Archival Appendix. "On the completeness and categoricity of
deductive theories" (1940), By Alfred Tarski.
* Bibliography
* Part 1: History of Logic
* 1: The Development of Mathematical Logic from Russell to Tarski,
1900-1935
* Oart 2: Foundations of Mathematics
* 2: Hilbert and Bernays on Metamathematics
* 3: Between Russell and Hilbert: Behmann on the foundations of
mathematics
* 4: The Russellian influence on Hilbert and his school
* 5: On the constructivity of proofs
* 6: Wittgenstein's constructivization of Euler's proof of the
infinitude of primes
* 7: Between Vienna and Berlin: The immediate reception of Gödel's
incompleteness theorems
* 8: Essay Review of Gödel's Collected Works (volumes IV and V)
* Part 3: Phenomenology and Mathematics
* 9: Hermann Weyl: Predicativity and an intuitionistic excursion
* 10: Mathematics and Phenomenology: the correspondence between O.
Becker and H. Weyl
* 11: Geometry, Physics and Phenomenology: Four letters of O. Becker to
H. Weyl
* 12: Das Abenteuer der Vernunft: O. Becker and D. Mahnke on the
phenomenological foundation of the exact sciences
* Part 4: Nominalism
* 13: Harvard 1940-1941: Tarski, Carnap and Quine on a finitist
language of mathematics for science
* 14: Quine and Tarski on nominalism
* Part 5: The emergence of semantics: truth and logical consequence
* 15: Neurath and Kokoszynska on the semantic conception of truth
* 16: Tarski on models and logical consequence
* 17: Tarski on Categoricity and Completeness: an unpublished lecture
from 1940
* 18: Archival Appendix. "On the completeness and categoricity of
deductive theories" (1940), By Alfred Tarski.
* Bibliography