All Questions
1 question
1
vote
1
answer
359
views
Does hyper-computational power of infinite time Turing machines also require infinite memory?
Can a infinite time Turing machine perform hyper-computation like checking the consistency of the set theory ZF without using infinite memory?