3 ms·We are still waiting on a proof of the Church-Turing Thesis, so maybe that is next on the agenda.by zingermc 10y agoWe are still waiting on a proof of the Church-Turing Thesis, so maybe that is next on the agenda.