7

Possible Duplicate:
What would it mean to disprove Church-Turing thesis?

Are there any models of computation currently being studied with the possibility of being more powerful than Turing Machines?

Community
  • 1
Aadita Mehra
  • 283
  • 2
  • 9
  • 3
    Yes. For instance, the circuit model (non-uniform Turing machines). But I don't think this is a research-level question, as per FAQ. You may ask it on math.stackexchange.com – Sadeq Dousti Dec 03 '10 at 14:54
  • 5
    @Sadeq Dousti: Thank you, but I am interested in uniform models. I want to learn about models which are being studied by researchers, doesn't that make it a research-level question? – Aadita Mehra Dec 03 '10 at 15:00
  • 1
    Sounds like a reasonable question to me, but any answers are likely to be a subset of those for http://cstheory.stackexchange.com/questions/88/what-would-it-mean-to-disprove-church-turing-thesis even if the precise wording might be useful to keep around for searches. – András Salamon Dec 03 '10 at 15:22
  • @András: you are right. I wrote and deleted an answer, after I realized it was already an answer to the question you mentioned. – Alessandro Cosentino Dec 03 '10 at 15:30
  • 1
    @Kaveh: http://cstheory.stackexchange.com/questions/88/what-would-it-mean-to-disprove-church-turing-thesis/90#90 links to the Wikipedia article, presumably that is why Alessandro deleted the answer. – András Salamon Dec 03 '10 at 15:34

0 Answers0