Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Model Theory' and 'Concepts:where cogn.science went wrong'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity

10480	First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
	Full Idea: First-order logic is hopeless for discriminating between one infinite cardinal and another.
	From: Wilfrid Hodges (Model Theory [2005], 4)
	A reaction: This seems rather significant, since mathematics largely relies on first-order logic for its metatheory. Personally I'm tempted to Ockham's Razor out all these super-infinities, but mathematicians seem to make use of them.