Category:Philosophy of mathematics
![]() | Philosophy portal |
Here is a list of articles in the Philosophy of mathematics category of the Philosophy portal.
Subcategories
This category has the following 8 subcategories, out of 8 total.
F
I
L
P
S
V
Pages in category "Philosophy of mathematics"
The following 63 pages are in this category, out of 63 total.
- Philosophy of mathematics (philosophy)
A
- Absolute Infinite (computing)
- Abstract and concrete (philosophy)
- Actual infinity (philosophy)
- Analysis (philosophy)
- Arithmetization of analysis (computing)
- Ars inveniendi (philosophy)
B
- Bayesian probability (computing)
- Bayesian program synthesis (computing)
- Bayesian Program Synthesis (computing)
- Benacerraf's identification problem (computing)
- Bloch's principle (computing)
C
- Centipede mathematics (philosophy)
- Computer-assisted proof (computing)
- Controversy over Cantor's theory (computing)
D
- Definitions of mathematics (philosophy)
E
- Philosophy of mathematics education (computing)
- The Emergence of Probability (philosophy)
- Ethics in mathematics (philosophy)
F
- Formalism (philosophy of mathematics) (philosophy)
- The Foundations of Arithmetic (philosophy)
- Foundations of mathematics (philosophy)
- Foundations of Science (philosophy)
- Functional decomposition (computing)
H
- Hume's principle (computing)
I
- Impredicativity (computing)
- Infinity (computing)
- Informal mathematics (philosophy)
- Intuitionism (computing)
L
- Language of mathematics (philosophy)
- Limitation of size (computing)
- Logical harmony (philosophy)
- Logical Investigations (Husserl) (philosophy)
- Logical reasoning (philosophy)
- Logicomix (philosophy)
M
- Mathematical beauty (computing)
- Mathematical folklore (philosophy)
- Mathematical monism (philosophy)
- Mathematical object (philosophy)
- Mathematical practice (philosophy)
- Mathematicism (philosophy)
- Multiverse (set theory) (computing)
- Mutual exclusivity (computing)
N
- No free lunch theorem (computing)
O
- Object of the mind (philosophy)
P
- Paraconsistent mathematics (philosophy)
- Philosophy of Arithmetic (philosophy)
- Philosophy of logic (philosophy)
- Platonic idealism (philosophy)
- Pseudomathematics (philosophy)
- Psychologism (computing)
- Pythagoras (biography)
Q
- Quasi-empirical method (computing)
- Quasi-empiricism in mathematics (computing)
R
- Reality (philosophy)
- Relationship between mathematics and physics (physics)
- Remarks on the Foundations of Mathematics (philosophy)
S
- Some Remarks on Logical Form (philosophy)
- Structuralism (philosophy of mathematics) (philosophy)
T
- The Taming of Chance (philosophy)
U
- Ultrafinitism (computing)
W
- Weyl's tile argument (philosophy)
- Ludwig Wittgenstein's philosophy of mathematics (philosophy)