Gödel and computations: a 100th anniversary retrospective
Abstract
References
- Gödel and computations: a 100th anniversary retrospective
Recommendations
Gödel's Natural Deduction
This is a companion to a paper by the authors entitled "Gödel on deduction", which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a ...
Kurt gödel and computability theory
CiE'06: Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational BarriersAlthough Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel's 1931 ...
Gödel and the origins of computer science
CiE'06: Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational BarriersThe centenary of Kurt Gödel (1906–78) is an appropriate occasion on which to assess his profound, yet indirect, influence on the development of computer science. His contributions to and attitudes toward that field are discussed, and are compared with ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 258Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)2
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in