  |
Hypercomputation Research Network - http://www.hypercomputation.net/
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. |
  |
Bibliographic Database for Computability Theory - http://www.nd.edu/~cholak/computability/bib/bib.html
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak. |
  |
Computability and Complexity - http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
An online course on complexity. |
 |
Church-Turing Thesis - http://plato.stanford.edu/entries/church-turing/
Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland. |
 |
Introduction to Logic and Recursion Theory - http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html
Notes from the class taught by Prof. Sacks in the Spring of 1998. |