Can a infinite time Turing machine perform hyper-computation like checking the consistency of the set theory ZF without using infinite memory?
Does hyper-computational power of infinite time Turing machines also require infinite memory?
computability;turing machines;space complexity;hypercomputation