Connecting with Computability. Proceedings of Computability in Europe.
(2021)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
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 Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Berlin: Springer. pp. 575--583.
Should Computability Be Epistemic? a Logical and Physical Point of View.Florent Franchette - 2016 - Philosophies 1 (1):15--27.
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. Computable functions, logic, and the foundations of mathematics. [REVIEW]R. Zach - 2002 - History and Philosophy of Logic 23 (1):67-69.
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
2021-07-13
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
