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.

Includes definition of Computability Logic, potential applications, papers, abstracts and related links.

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.