15 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
3291 | Emergent properties appear at high levels of complexity, but aren't explainable by the lower levels [Nagel] |
16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
4310 | We have inner awareness of our freedom [Descartes] |
6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |
3290 | Given the nature of heat and of water, it is literally impossible for water not to boil at the right heat [Nagel] |