> On 24 May 2020, at 13:33, Philip Thrift <[email protected]> wrote: > > > > On Sunday, May 24, 2020 at 5:59:42 AM UTC-5, Bruno Marchal wrote: > >> On 23 May 2020, at 21:05, 'Brent Meeker' via Everything List >> <[email protected] <javascript:>> wrote: >> >> >> Recently you have said that your theory is consistent with finitism, > > > It has always been a finitism. Judson Webb wrote a book explaining exactly > this. > > > > Worth checking out: > > http://www.bu.edu/philo/profile/judson-c-webb/ : > > Mechanism, Mentalism, and Metamathematics: An Essay on Finitism (by Judson > Webb, Reidel 1980), a full length study of the bearing of incompleteness and > undecidability theorems of Gödel and Church on the Turing thesis and > artificial intelligence, as well as on Hilbert’s Program.
It is the best introduction to my work, especially to the mathematical part, with perhaps the book edited by Hoftstadter and Dennett “Mind’s I” for some training in the relevant thought experiments to make the link with the Mechanist philosophy of mind.. Judson Webb shows that incompleteness acts as a sort of guardian angel of the Church thesis, by showing that without Gödel’s incompleteness, the Church-Turing thesis (usually called “Church’s thesis, and it is due to Kleene) would be wrong. That is why I called G* the guardian angel of the machine, sometimes ago on this forum. Kleene himself wrote an excellent paper on this, praising the book of Webb: “Reflections on Church’s Thesis”, Notre Dame Journal of Formal Logic, Vol 28, N° 4, 1987. Bruno > > > sample @ > https://play.google.com/store/books/details/J_Webb_Mechanism_Mentalism_and_Metamathematics?id=eWl-BgAAQBAJ > > > @philipthrift > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/403278fd-e36f-4784-a2ea-e9510219ba52%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/403278fd-e36f-4784-a2ea-e9510219ba52%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/A3C1F20E-91BA-42A9-A540-8576C59670FF%40ulb.ac.be.
