Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
This volume tackles G©œdel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of t...
Saved in:
Main Author: | Atten, Markus Sebastiaan Paul Rogier van, 1973- |
---|---|
Other Authors: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer,
[2015]
|
Physical Description: |
1 online resource. |
Series: |
Logic, epistemology and the unity of science ;
v. 35. |
Subjects: |
In Prospector
Similar Items
-
Brouwer meets Husserl : on the phenomenology of choice sequences
by: Atten, Markus Sebastiaan Paul Rogier van, 1973-
Published: (2007) -
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Published: (1952) -
Kurt Gödel : results on foundations
Published: (2023) -
Gödel's theorem : a very short introduction
by: Moore, A. W., 1956-
Published: (2022) -
Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics
by: Halbeisen, Lorenz,
Published: (2020)