Something like “sets that aren’t even hypercomputable aren’t real”. Inventing proper classes, which are like sets but randomly can’t go in other things, is a pretty lame solution, anyway. Although, it can probably emulate the former approach, and it’s easy to describe.
Something like “sets that aren’t even hypercomputable aren’t real”. Inventing proper classes, which are like sets but randomly can’t go in other things, is a pretty lame solution, anyway. Although, it can probably emulate the former approach, and it’s easy to describe.
Source: I have some flab some places.