ODP - Open Directory Project
"The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors."
Science: Math: Logic_and_Foundations: Computability:
|
See also:
- Computers: Computer Science (2,214)
- Computers: Computer Science: Theoretical: Complexity Theory (158)
- Bibliographic Database for Computability Theory - Extensive bibliography on computability and recursion theory, maintained by Peter Cholak..
- Church-Turing Thesis - Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland..
- Computability and Complexity - An online course on complexity..
- Computability and Complexity in Analysis Network - The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis..
- Computability Logic - Wictionary - A dictionary definition of the subject..
- Computability Theory - Directory of researchers working in computability theory, and list of open problems..
- 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..
- Interactive Computation - Wikipedia article..
- Introduction to Logic and Recursion Theory - Notes from the class taught by Prof. Sacks in the Spring of 1998..
- Open Questions in Recursion Theory - Compiled by Theodore A. Slaman, Berkeley [TeX/PDF]..
- Problem Solving Environments Home Page - This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs..
 |
|
 |
 |
