- 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.details
|
|
The elementary computable functions over the real numbers: applying two new techniques. [REVIEW]Manuel L. Campagnolo & Kerry Ojakian - 2008 - Archive for Mathematical Logic 46 (7-8):593-627.details
|
|
A Real Number Structure that is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.details
|
|
On a simple definition of computable function of a real variable‐with applications to functions of a complex variable.Marian Boykan Pour-El & Jerome Caldwell - 1975 - Mathematical Logic Quarterly 21 (1):1-19.details
|
|
Computability in Quantum Mechanics.Wayne C. Myrvold - 1995 - In Werner DePauli-Schimanovich, Eckehart Köhler & Friedrich Stadler (eds.), The Foundational Debate: Complexity and Constructivity in Mathematics and Physics. Dordrecht, Boston and London: Kluwer Academic Publishers. pp. 33-46.details
|
|
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.details
|
|
Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system.Matthew W. Parker - 2003 - Philosophy of Science 70 (2):359-382.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation, details
|
|
Computing the uncomputable; or, The discrete charm of second-order simulacra.Matthew W. Parker - 2009 - Synthese 169 (3):447-463.details
|
|
About and Around Computing Over the Reals.Solomon Feferman - unknowndetails
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontariodetails
|
|
The Representational Foundations of Computation.Michael Rescorla - 2015 - Philosophia Mathematica 23 (3):338-366.details
|
|
Dimension spectra of random subfractals of self-similar fractals.Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo & Philippe Moser - 2014 - Annals of Pure and Applied Logic 165 (11):1707-1726.details
|
|
A computable ordinary differential equation which possesses no computable solution.Marian Boylan Pour-el - 1979 - Annals of Mathematical Logic 17 (1):61.details
|
|
Effectiveness in RPL, with applications to continuous logic.Farzad Didehvar, Kaveh Ghasemloo & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):789-799.details
|
|
Approaches to Effective Semi‐Continuity of Real Functions.Xizhong Zheng, Vasco Brattka & Klaus Weihrauch - 1999 - Mathematical Logic Quarterly 45 (4):481-496.details
|
|
Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing.Philippos Papayannopoulos - 2020 - Synthese 199 (1-2):249-283.details
|
|
Lp -Computability.Ning Zhong & Bing-Yu Zhang - 1999 - Mathematical Logic Quarterly 45 (4):449-456.details
|
|
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I.Iraj Kalantari & Lawrence Welch - 1998 - Annals of Pure and Applied Logic 93 (1-3):125-151.details
|
|
Effective content of the calculus of variations I: Semi-continuity and the chattering lemma.Xiaolin Ge & Anil Nerode - 1996 - Annals of Pure and Applied Logic 78 (1-3):127-146.details
|
|