_
__ Search
__
Advanced

Top :: Science > Math > Logic and Foundations > Computability


1. 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
Rating: [0.00] Votes: [0] Hits: [1] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


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/
Rating: [0.00] Votes: [0] Hits: [2] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


3. 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.
http://www.cca-net.de/
Rating: [0.00] Votes: [0] Hits: [2] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


4. Computability Logic - Wictionary
A dictionary definition of the subject.
http://en.wiktionary.org/wiki/Computability_logic
Rating: [0.00] Votes: [0] Hits: [2] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


5. Computability Theory
Directory of researchers working in computability theory, and list of open problems.
http://www.nd.edu/~cholak/computability/computability.html
Rating: [0.00] Votes: [0] Hits: [2] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


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 and discussions.
http://www.hypercomputation.net/
Rating: [0.00] Votes: [0] Hits: [1] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


7. 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
Rating: [0.00] Votes: [0] Hits: [1] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


8. Open Questions in Recursion Theory
Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
http://math.berkeley.edu/~slaman/qrt/
Rating: [0.00] Votes: [0] Hits: [1] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_


9. 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
Rating: [0.00] Votes: [0] Hits: [2] | Jun 10, 2008
Rate It | Comments | Report Link | More Info
_