|
Sponsored Links:
ECCC - Electronic Colloquium on Computational Complexity (Popularity:  )
http://www.eccc.uni-trier.de/eccc/
The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity ...
|
|
|
Computability Logic - Wictionary (Popularity: )
http://en.wiktionary.org/wiki/Computability_logic
A dictionary definition of the subject.
|
|
Introduction to Logic and Recursion Theory (Popularity: )
http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html
Notes from the class taught by Prof. Sacks in the Spring of 1998.
|
|
Church-Turing Thesis (Popularity: )
http://plato.stanford.edu/entries/church-turing/
Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
|
|
Hypercomputation Research Network (Popularity: )
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 (Popularity: )
http://www.nd.edu/~cholak/computability/bib/bib.html
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
|
|
Interactive Computation (Popularity: )
http://en.wikipedia.org/wiki/Interactive_computation
Wikipedia article.
|
|
Problem Solving Environments Home Page (Popularity: )
http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi
This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
|
|
Computability and Complexity (Popularity: )
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
An online course on complexity.
|
|
Computability Theory (Popularity: )
http://www.nd.edu/~cholak/computability/computability.html
Directory of researchers working in computability theory, and list of open problems.
|
|
Open Questions in Recursion Theory (Popularity: )
http://math.berkeley.edu/~slaman/qrt/
Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
|
