Computability (Logic and Foundations)

Computability further on these related pages:

Asynchronous Computability@ Quantum Computing@

Top/Computers/Computer Science Top/Computers/Computer Science/Theoretical/Complexity Theory

Computability Sites:

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