from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun Plural form of
Sorry, no etymologies found.
Scientists must model Nature as a formal system (or abstract machine), but they must inevitably reason about Nature using categories that are more powerful than that model, and there is _no way_ (this follows from physical limits on inference systems, see D.H. Wolpert) to empirically decide whether this reflects an actual transcendence (as Penrose, e.g., claims) or whether it merely reflects a limitation on self-reflection that projects itself as a myth (as finitists assume).
Strict finitists, who are chary of the notion of infinity in general, will agree ” see Dummett 1978 and Wright