Computability (12)

Categories:

See Also:
Regular Links:

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

Last Updated: 2007-04-01 16:48:01