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. 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/403278fd-e36f-4784-a2ea-e9510219ba52%40googlegroups.com.
