Computability

Bibliographic Database for Computability Theory - Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
www.nd.edu/~cholak/computability/bib/bib.html

Church-Turing Thesis - Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
plato.stanford.edu/entries/church-turing/

Computability and Complexity - An online course on complexity.
www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html

Computability and Complexity in Analysis Network - The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.
www.cca-net.de/

Computability Logic - Wictionary - A dictionary definition of the subject.
en.wiktionary.org/wiki/Computability_logic

Computability Theory - Directory of researchers working in computability theory, and list of open problems.
www.nd.edu/~cholak/computability/computability.html

Hypercomputation Research Network - The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.
www.hypercomputation.net/

Interactive Computation - Wikipedia article.
en.wikipedia.org/wiki/Interactive_computation

Introduction to Logic and Recursion Theory - Notes from the class taught by Prof. Sacks in the Spring of 1998.
www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html

Open Questions in Recursion Theory - Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
math.berkeley.edu/~slaman/qrt/

Problem Solving Environments Home Page - This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi