| 1. | Computability Theory | | | Directory of researchers working in computability theory, and list of open problems.
www.nd.edu |
| 4. | Problem Solving Environments Home Page | | | This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
www-cgi.cs.purdue.edu |
| 5. | 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.
www.hypercomputation.net |
| 6. | Church-Turing Thesis | | | Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
plato.stanford.edu |
| | |