Computability Logic - Wictionary (Popularity: )

A dictionary definition of the subject.

ECCC - Electronic Colloquium on Computational Complexity (Popularity: )

The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread ...

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.

Church-Turing Thesis (Popularity: )

Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack ...

Hypercomputation Research Network (Popularity: )

The study of computation beyond that defined by the Turing machine, also known as super-Turing, ...

Problem Solving Environments Home Page (Popularity: )

This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics ...

Computability and Complexity (Popularity: )

An online course on complexity.

Bibliographic Database for Computability Theory (Popularity: )

Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.

Computability Theory (Popularity: )

Directory of researchers working in computability theory, and list of open problems.

Computability Logic (Popularity: )

Encyclopedia article.

Open Questions in Recursion Theory (Popularity: )

Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].