Science Central - All about Science

Thursday, 8 January, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Computability UPDATE URL | REPORT BROKEN LINK

Computability Logic

 Popularity:    Hit: 299 | Visit: 9
Details
Encyclopedia article.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
ECCC - Electronic Colloquium on Computational Complexity (Popularity: ): The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread ...
Computability Theory (Popularity: ): Directory of researchers working in computability theory, and list of open problems.
Bibliographic Database for Computability Theory (Popularity: ): Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
Computability and Complexity (Popularity: ): An online course on complexity.
Problem Solving Environments Home Page (Popularity: ): This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics ...
Hypercomputation Research Network (Popularity: ): The study of computation beyond that defined by the Turing machine, also known as super-Turing, ...
Church-Turing Thesis (Popularity: ): Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack ...
Introduction to Logic and Recursion Theory (Popularity: ): Notes from the class taught by Prof. Sacks in the Spring of 1998.
Interactive Computation (Popularity: ): Wikipedia article.
Computability Logic - Wictionary (Popularity: ): A dictionary definition of the subject.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact