Category:Philosophy of mathematics

F

• ► Formalism (deductive)‎ (2 C, 9 P)

I

• ► Infinity‎ (8 C, 55 P)

L

• ► Mathematical logic‎ (24 C, 166 P)

P

• ► Mathematical paradoxes‎ (4 C, 28 P)
• ► Mathematics paradoxes‎ (empty)
• ► Philosophers of mathematics‎ (104 P)

S

• ► Philosophy of statistics‎ (1 C, 14 P)

V

• ► Validity (statistics)‎ (27 P)

• 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)