Math Logic and Foundations Computability

• Bibliographic Database for Computability Theory  - Available in BibTeX file or formatted pdf file. Maintained by Peter Cholak.
• Church-Turing Thesis  - Discusses the thesis by Church and Turing, concerning the notion of an effective or mechanical method in logic and mathematics.
• Computability and Complexity in Analysis Network  - Provides information for researchers. Includes list of members, mailing list, bibliography, and links to related conferences, workshops and publications.
• Computability Logic Homepage  - Includes definition of Computability Logic, potential applications, papers, abstracts and related links.
• Computability Theory  - Includes bibliographic database, open questions in recursion theory (available in LaTeX or pdf), open problems in mathematical logic, list of people who work in the field of study, mailing list, recursive function theory newsletter, meeting announcements and related links.
• Hypercomputation Research Network  - Explanatory materials including the AlanTuring.Net Hypercomputation Page and the confusion of Thesis M with the Church-Turing thesis.
• Problem Solving Environments  - Includes information on PSEs, reading list, conferences, projects and applications tools, Purdue publications, and other related information.
• Theodore Slaman Homepage  - Includes bibliography, lectures available in pdf, courses and related links.