Making agents with assumptions about anything which we are not confident of the truth of seems like a dubious strategy.
We are fairly confident of the Church-Turing thesis, though: “Today the thesis has near-universal acceptance” - http://en.wikipedia.org/wiki/Church–Turing_thesis
Making agents with assumptions about anything which we are not confident of the truth of seems like a dubious strategy.
We are fairly confident of the Church-Turing thesis, though: “Today the thesis has near-universal acceptance” - http://en.wikipedia.org/wiki/Church–Turing_thesis