Connecting with Computability. Proceedings of Computability in Europe.

, , & (eds.)
(2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Péter on Church's Thesis, Constructivity and Computers.Mate Szabo

Similar books and articles

Connecting with Computability. CiE 2021. Lecture Notes in Computer Science, vol 12813.L. De Mol, A. Weiermann, F. Manea & D. Fernández-Duque (eds.) - 2021
Péter on Church's Thesis, Constructivity and Computers.Mate Szabo - 2021 - In Liesbeth De Mol, Andreas Weiermann, Florin Manea & David Fernández-Duque (eds.), Connecting with Computability. Proceedings of Computability in Europe. pp. 434-445.
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.
Computability and Randomness.André Nies - 2008 - Oxford, England: Oxford University Press UK.
Should Computability Be Epistemic? a Logical and Physical Point of View.Florent Franchette - 2016 - Philosophies 1 (1):15--27.
Lp -Computability.Ning Zhong & Bing-Yu Zhang - 1999 - Mathematical Logic Quarterly 45 (4):449-456.
Lattice representations for computability theory.Peter A. Fejer - 1998 - Annals of Pure and Applied Logic 94 (1-3):53-74.
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.
Conditional computability of real functions with respect to a class of operators.Ivan Georgiev & Dimiter Skordev - 2013 - Annals of Pure and Applied Logic 164 (5):550-565.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Computability. Computable functions, logic, and the foundations of mathematics. [REVIEW]R. Zach - 2002 - History and Philosophy of Logic 23 (1):67-69.
Computability Theory.S. Barry Cooper - 2003 - Chapman & Hall.
Introduction to Computability Theory.D. Normann - 2010
Review of Computability: Turing, Gödel, Church, and Beyond. [REVIEW]Andrew Arana - 2015 - Notre Dame Philosophical Reviews 3 (20).
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.

Analytics

Added to PP
2021-07-13

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references