search

boisgera / Chuck-Norris-counted-to-infinity.-Twice.

Chuck Norris counted to infinity. Twice.
Other
0 stars 0 forks source link

Not enough time #2

Open boisgera opened 3 years ago

boisgera commented 3 years ago

There is an interesting discussion in Rieger, A. Paradox, ZF, and the axiom of foundation about the constructivist view of the definition of the universe:

if the agent is conceived of as working in ordinary time, there is just not enough of it to generate the whole hierarchy (at least if time consists of continuum-many instants)

The building of the cumulative hierarchy being similat to the enumeration of the ordinals, what does it mean for the largest ordinal than chuck norris can build in finite time ?

boisgera commented 3 years ago

Follow-up: use surreal numbers for a model of time instead? (See https://en.wikipedia.org/wiki/Surreal_number)