Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Intuitionistic mathematics. --- Logic. --- Mathématiques intuititionnistes --- Logique --- Intuitionistic mathematics --- Logic --- Mathématiques intuititionnistes

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Intuition --- Intuitionistic mathematics --- Science --- Mathématiques intuititionnistes --- Sciences --- Philosophy --- Philosophie --- Brouwer, L. E. J. --- Intuitionisme --- --Philosophie --- --Intuitionisme --- --Intuition --- Mathématiques intuititionnistes

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Intuitionistic mathematics --- Mathématiques intuititionnistes --- EPUB-LIV-FT ELSEVIER-B --- Intuitionistic mathematics. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Don de Anne Fagot-Largeault

Metaphysics --- Mathematics --- France --- Geometry --- Intuitionistic mathematics --- Mathématiques --- Géometrie --- Mathématiques intuititionnistes --- Philosophy --- Foundations --- Philosophie --- Fondements --- 159.956 --- 161.1 --- 167.2 --- Intuitionistic mathematics. --- Philosophy. --- Mathématiques --- Géometrie --- Mathématiques intuititionnistes --- Mathématiques intuitionnistes.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege.

Mathématiques intuititionnistes --- Constructive mathematics. --- Intuitionistic mathematics. --- Logic, Symbolic and mathematical. --- Mathematics --- Phenomenology. --- Philosophy. --- Phenomenology --- Logic, Symbolic and mathematical --- Intuitionistic mathematics --- Mathématiques --- Phénoménologie --- Logique symbolique et mathématique --- Philosophy --- Philosophie --- Constructive mathematics --- Philosophy, Modern --- Logic of mathematics --- Mathematics, Logic of --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematics, Constructive --- Logique mathématique --- Phénoménologie --- Arts and Humanities --- Logique mathématique --- Logique --- Mathématiques --- Gödel, Kurt (1906-1978) --- Gödel, Kurt (1906-1978)