Discusses the thesis by Church and Turing, concerning the notion of an effective or mechanical method in logic and mathematics.
Provides information for researchers. Includes list of members, mailing list, bibliography, and links to related conferences, workshops and publications.
Explanatory materials including the AlanTuring.Net Hypercomputation Page and the confusion of Thesis M with the Church-Turing thesis.
Includes information on PSEs, reading list, conferences, projects and applications tools, Purdue publications, and other related information.
Includes bibliography, lectures available in pdf, courses and related links.
This website uses cookies to ensure you have the best experience. By continuing to use this site, you consent to our Privacy policy. You can disable cookies at any time, by changing your browser settings.