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)
Open Directory - Science: Math: Logic and Foundations: Computability
Asynchronous Computability
@
(5)
Quantum Computing
@
(54)
See also:
Computers: Computer Science
(1,928)
Computers: Computer Science: Theoretical: Complexity Theory
(140)
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 Theory
- Directory of researchers working in computability theory, and list of open problems.
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.
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.
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
-
Gigablast
-
Google
-
Lycos
-
Yahoo
-
Yippy
Volunteer
to edit this category.
Copyright © 2012 Netscape
Terms of Use
Visit our sister sites
mozilla.org
|
MusicMoz
|
Wikipedia
Last update: Wednesday, January 20, 2010 8:05:15 AM EST -
edit