Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Logic_and_Foundations/Computability
Description
Top
:
Science
:
Math
:
Logic and Foundations
:
Computability
(9)
Asynchronous Computability
@
(5)
Quantum Computing
@
(47)
See also:
Computers: Computer Science
(1,793)
Computers: Computer Science: Theoretical: Complexity Theory
(127)
Bibliographic Database for Computability Theory
 Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
ChurchTuring 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 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 superTuring, nonstandard or nonrecursive computation. Links to people, resources and discussions.
Interactive Computation
 Wikipedia article.
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.
"
Computability
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: January 2, 2007 at 17:54:53 UTC 
edit