I’ve finally defined how the Church-Turing Thesis will work in the sequence, and I’ve mostly tried to stay true to Church and Turing, but I did add some changes to better define what certain things about effective methods meant, and I especially clarified how the rigorousness of a method was defined, as opposed to ingenuity, by instead replacing it with a substantially similar notion from Rafael Harth.
This will be an important update because there was a lot of confusion and disagreement on how it should work or be defined.
I’ve finally defined how the Church-Turing Thesis will work in the sequence, and I’ve mostly tried to stay true to Church and Turing, but I did add some changes to better define what certain things about effective methods meant, and I especially clarified how the rigorousness of a method was defined, as opposed to ingenuity, by instead replacing it with a substantially similar notion from Rafael Harth.
This will be an important update because there was a lot of confusion and disagreement on how it should work or be defined.