- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
M
In Hassan Tahiri (ed.), The Philosophers and Mathematics: Festschrift for Roshdi Rashed. Cham: Springer Verlag. pp. 117-126 (2018)
Abstract
This paper provides a discussion to which extent the Mathematician David Hilbert could or should be considered as a Philosopher, too. In the first part, we discuss some aspects of the relation of Mathematicians and Philosophers. In the second part we give an analysis of David Hilbert as Philosopher.Author's Profile
My notes
Similar books and articles
The notion of ‘simple proof’.Inês Hipólito & Reinhard Kahle - 2019 - The Royal Society of London: Philosophical Transactions.
REVIEWS-Two papers.W. Burr, V. Hartung & Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Computing with Mathematical Arguments.Jesse Alama & Reinhard Kahle - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 9--22.
Hilbert 24th problem.Inês Hipólito & Reinhard Kahle - 2019 - Philosophical Transactions of the Royal Society A 1 (Notion of Simple Proof).
Introduction to Proof Theoretic Semantics. Special issue of.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148.
From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s. [REVIEW]Reinhard Kahle - 2001 - History of Philosophy & Logical Analysis 4.
Reinhard Kahle and Peter Schroeder-heister.Steven Weinstein, Substantive General Covariance & Eugen Fischer - 2006 - Synthese 148 (1):745-747.
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.Henry Towsner - 2016 - Bulletin of Symbolic Logic 22 (4):525-526.
Sets, Truth, and Recursion.Reinhard Kahle - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Archive for Mathematical Logic. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Reinhard Kahle and Michael Rathjen : Gentzen’s Centenary. The Quest for Consistency.David Binder - 2018 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 49 (3):475-479.
Analytics
Added to PP
2019-01-28
Downloads
3 (#1,706,418)
6 months
2 (#1,192,610)
2019-01-28
Downloads
3 (#1,706,418)
6 months
2 (#1,192,610)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-55b469568f-jnntz uwo