Current location: Math > Logic and Foundations > Computability
2. 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/ - 13-01-2002
-
[detailed information]
Rating: [6.00] Votes: [1895]
|
3. Computability Theory
Directory of researchers working in computability theory, and list of open problems.
http://www.nd.edu/~cholak/computability/computability.html - 16-03-2003
-
[detailed information]
Rating: [6.00] Votes: [876]
|
6. 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
http://www.hypercomputation.net/ - 23-12-2003
-
[detailed information]
Rating: [5.00] Votes: [61]
|
8. 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 - 09-09-2002
-
[detailed information]
Rating: [0.00] Votes: [2444]
|
|
