From foundations to philosophy of mathematics. An historical account of their development in the XX century and beyond. (Q5301031)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: From foundations to philosophy of mathematics. An historical account of their development in the XX century and beyond. |
scientific article; zbMATH DE number 6182823
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From foundations to philosophy of mathematics. An historical account of their development in the XX century and beyond. |
scientific article; zbMATH DE number 6182823 |
Statements
1 July 2013
0 references
schools of philosophy of mathematics
0 references
logicism
0 references
intuitionism
0 references
formalism
0 references
predicativism
0 references
finitism
0 references
nature of mathematics
0 references
type theory
0 references
set theory
0 references
Gödel's incompleteness theorems
0 references
neologicism
0 references
constructivism
0 references
finitist reductionism
0 references
predicativist reductionism
0 references
reverse mathematics
0 references
0.8427755236625671
0 references
0.7918437719345093
0 references
0.7888956069946289
0 references
