- 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.
- Introduction to Logic and Recursion Theory
- Transcription of notes from the class 18.511 taught by Prof. Sacks in the Spring of 1998, organized and reinterpreted.
- 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.
|