Top : Science : Math : Logic and Foundations :
Computability
Categories
| Asynchronous Computability @ Quantum Computing @ |
Websites
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
site exerpt
A Bibliographic Database for Computably Theory The bibliographic database for Computability Theory can be found in several different formats: The BibTeX file To view the nicely formated pdf file. I will try to continuously update the database. Last updated on 05/14/02. As of 10/25/95 we are...This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
site exerpt
Problem Solving Environments Home Page This site contains information about Problem Solving Environments (PSEs research, publications, and related topics. What are PSEs A PSE is a computer system that provides all the computational facilities needed to solve a target class of problems. These features include...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.
site exerpt
Home Page Hypercomputation Research Network (http hypercomputation.net) Hypercomputation concerns the study of computation beyond that defined by the Turing machine, and is also known as super-Turing, non-standard or non-recursive computation. It is a multi-disciplinary research area with relevance across a wide variety of fields, including computer science,...Notes from the class taught by Prof. Sacks in the Spring of 1998.
site exerpt
Logic, 8 This is a transcription of relevant notes from the class 18.511 taught by Prof. Sacks in the Spring of 1998, organized and reinterpreted. Homework problems starting with problem 9 are solved in vitro. Notation is indecipherable 9 Edward Boyden Propositional...Encyclopedia article.
site exerpt
Computability logic Technology science topics medical topics Health Center General Health News Topics Features Webcasts Consumer Topics A B ADD ADHD Allergy Alternative Medicine Alzheimer's Disease Arthritis Asthma Body Aches Pains Breast Cancer C D Cancer Awareness Cardio Health Caregiving Children's Health...A dictionary definition of the subject.
site exerpt
computability logic Wiktionary Wikipedia has an article on: computability logic computability logic (computing mathematics) a formal theory of computability Retrieved from http en.wiktionary.org/wiki/computability_logic Categories: Computing Mathematics Views ArticleDiscussionEditHistory Personal tools Create an account or log in Navigation Main PageCommunity portalRequested entriesRecent changesRandom pageHelpDonations...Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
site exerpt
Theodore Slaman: Homepage Theodore A. Slaman: Home Bibliography Lectures Courses Links Theodore A. Slaman Department of Mathematics The University of California 719 Evans Hall #3840 Berkeley, CA 94720-3840 USA Phone 510) 643-5695 Email: To reduce unsolicited e-mail this address is javascript encoded....The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.
site exerpt
Computability and Complexity in Analysis Network Scripts on your browser in order to display this page correctly! 1997 until now Vasco Brattka...Directory of researchers working in computability theory, and list of open problems.
site exerpt
Computability Theory People whose work had great impact on the field: Charles Babbage Alonzo Church Robin Gandy Kurt Gdel Reuben Goodstein Stephen Kleene Emil Post Alan Turing Computability Theory E-mailing List Research Announcements Recursive Function Theory Newsletter Meetings (see the Association for...