- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the Definition of Computable Function of a Real Variable
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):391-402 (1976)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Mathematical Logic Quarterly 22 (1):391-402.
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.
Non Standard Models of the Theory of Elementary Functions of a Real Variable.Daniel Richardson - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):355-372.
Variable truth.M. E. Szabo - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):401-414.
Myhill J. and Shepherdson J. C.. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 , pp. 310–317. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
Analytics
Added to PP
2016-02-04
Downloads
35 (#646,877)
6 months
6 (#861,180)
2016-02-04
Downloads
35 (#646,877)
6 months
6 (#861,180)
Historical graph of downloads
Citations of this work
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.
A computable ordinary differential equation which possesses no computable solution.Marian Boylan Pour-el - 1979 - Annals of Mathematical Logic 17 (1):61.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-wmc4m dc2