Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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?
Inducto's user avatar
  • 27