Directory > Science > Math > Logic and Foundations > Computability Introduction to Logic and Recursion Theory Notes from the class taught by Prof. Sacks in the Spring of 1998. http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html Reviews Rating: Not yet Rated
Whois Check
Church-Turing Thesis Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland. http://plato.stanford.edu/entries/church-turing/ Reviews Rating: Not yet Rated
Whois Check
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. http://www.hypercomputation.net/ Reviews Rating: Not yet Rated
Whois Check
Problem Solving Environments Home Page 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 Reviews Rating: Not yet Rated
Whois Check
Computability and Complexity An online course on complexity. http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html Reviews Rating: Not yet Rated
Whois Check
Bibliographic Database for Computability Theory Extensive bibliography on computability and recursion theory, maintained by Peter Cholak. http://www.nd.edu/~cholak/computability/bib/bib.html Reviews Rating: Not yet Rated
Whois Check
Computability Theory Directory of researchers working in computability theory, and list of open problems. http://www.nd.edu/~cholak/computability/computability.html Reviews Rating: Not yet Rated
Whois Check
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, short notes and surveys with relevance to the theory of computation http://www.eccc.uni-trier.de/eccc/ Reviews Rating: Not yet Rated
Whois Check
|