Computer Science
Complexity Theory

Computability - Twitter Search

Nice take down of a new version of the ID Garbage: CSI as Non-Computability @scienceblogs - http://bit.ly/7P14hE
jennybmurphy (Jennifer Murphy) Wed, 16 Dec 2009 17:41:53 -0000
Nice take down of a new version of the ID Garbage: CSI as Non-Computability @scienceblogs - http://bit.ly/7P14hE
Potential adoption of scholarly metrics related to availability of infrastructure, computability, but also to how intuitive definition is.
hvdsomp (Herbert) Wed, 16 Dec 2009 17:31:45 -0000
Potential adoption of scholarly metrics related to availability of infrastructure, computability, but also to how intuitive definition is.
Thinking about bridging generalized computability and physics. This is a lot of fun :)
FrenchBloggery (Etienne Jacques) Wed, 16 Dec 2009 12:46:25 -0000
Thinking about bridging generalized computability and physics. This is a lot of fun :)
来年出版される Downey-Hirschfeldt の本 "Algorithmic randomness and complexity" は、今年出版された Nies の本 "Computability and Randomness" と内容かぶりすぎだと思うのです。
tri_iro (K H R) Wed, 16 Dec 2009 08:05:54 -0000
来年出版される Downey-Hirschfeldt の本 "Algorithmic randomness and complexity" は、今年出版された Nies の本 "Computability and Randomness" と内容かぶりすぎだと思うのです。
@toastwithsalt Smullyan actually contributed some theorems to computability theory that we covered this semester. He was a happenin' dude!
harrisw (Bill Harris) Tue, 15 Dec 2009 22:24:03 -0000
@toastwithsalt Smullyan actually contributed some theorems to computability theory that we covered this semester. He was a happenin' dude!
Computers in the 80's with Steve Allen http://www.break.com/usercontent/2009/11/computability-with-steve-allen-1479421
StephGauthier (Stephanie Gauthier) Tue, 15 Dec 2009 13:39:18 -0000
Computers in the 80's with Steve Allen http://www.break.com/usercontent/2009/11/computability-with-steve-allen-1479421

 

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