Introduction to Logic and Recursion Theory - Notes from the class taught by Prof.

		Saturday, 21 November, 2009
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Aeronautics and Aerospace

Agriculture

Anomalies and Alternative Science

Educational Resources

Instruments and Supplies

Math

Medical Science

Methods and Techniques

Category: Science » Math » Logic and Foundations » Computability

UPDATE URL | REPORT BROKEN LINK

Introduction to Logic and Recursion Theory

Popularity:

Hit: 647 | Visit: 25

Details

	Notes from the class taught by Prof. Sacks in the Spring of 1998. 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 ...
Computability Logic (Popularity:

): Encyclopedia article.
Interactive Computation (Popularity:

): Wikipedia article.
Computability Logic - Wictionary (Popularity:

): A dictionary definition of the subject.

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