Computer Science
Complexity Theory

Computability - Twitter Search

Computability with Steve Allen http://bit.ly/puTXt
mjduff (mike johnduff) Fri, 06 Nov 2009 02:40:13 -0000
Computability with Steve Allen http://bit.ly/puTXt
@bullie666 yes complains bout no rounded corners & backwards computability for ie5 on styled form elements 2look the same on all browsers
Lil_Miss_Mayhem (Carlie Mayhem) Thu, 05 Nov 2009 23:51:33 -0000
@bullie666 yes complains bout no rounded corners & backwards computability for ie5 on styled form elements 2look the same on all browsers
Pondering the computability of problems over infinite knowledge domains. EG You can't know every multiplication answer, but can solve them.
kittyuncle (nanny Abu) Thu, 05 Nov 2009 17:10:37 -0000
Pondering the computability of problems over infinite knowledge domains. EG You can't know every multiplication answer, but can solve them.
@technoguyx Why? Windows 7 is better than XP ever was, especially for computability with the new XP Mode.
Tokkemon (Justin Tokke) Wed, 04 Nov 2009 01:25:37 -0000
@technoguyx Why? Windows 7 is better than XP ever was, especially for computability with the new XP Mode.
Theory of Recursive Functions and Effective Computability by Rogers 1987 'http://www.amazon.com/dp/0262680521/'
theqiezi (Russell .) Mon, 02 Nov 2009 21:42:35 -0000
Theory of Recursive Functions and Effective Computability by Rogers 1987 'http://www.amazon.com/dp/0262680521/'
iWork's backward computability is terrible (i've experienced that in both Pages and Keynote)
sophiehwang (Sophie Hwang) Mon, 02 Nov 2009 21:11:41 -0000
iWork's backward computability is terrible (i've experienced that in both Pages and Keynote)

 

Subscribe to Computability RSS feed

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 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.

404 Computability Logic - Encyclopedia article.
Meta Description: [ ScienceDaily Help Page ]

Computability Logic - Wictionary - A dictionary definition of the subject.

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

ECCC - Electronic Colloquium on Computational Complexity - The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity (ECCC) welcomes papers, short notes and surveys with relevance to the theory of computation
Meta Description: [ Homepage of the Electronic Colloquium on Computational Complexity located at the University of Trier, Germany ]

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.
Meta Description: [ The Hypercomputation Research Network, an international group of researchers with a shared interest in the nature and feasibility of super-Turing computation ]

Interactive Computation - Wikipedia article.

Introduction to Logic and Recursion Theory - Notes from the class taught by Prof. Sacks in the Spring of 1998.

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.
Meta Description: [ A PSE is a computer system that provides all the computational facilities needed to solve a target class of problems. The PSEs research group in the Computer Sciences Department at Purdue University provides a home page with information about PSE software. ]