I want to preclude scenarios which look like doing a bunch of philosophy
A (perhaps related) pathology: a mind that, whenever it sees the symbol “0”, it must prove a novel theorem in ZFC in order to complete the perception of the symbol. For such a mind, many (but not all!) repetitive and boring tasks will induce an infinite endeavor (because the mind contains such an endeavor).
A (perhaps related) pathology: a mind that, whenever it sees the symbol “0”, it must prove a novel theorem in ZFC in order to complete the perception of the symbol. For such a mind, many (but not all!) repetitive and boring tasks will induce an infinite endeavor (because the mind contains such an endeavor).