Trial and error mathematics I: Dialectical and quasidialectical systems

, , , &
Review of Symbolic Logic 9 (2):299-324 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020315000404

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 , pp. 225–261. [REVIEW]J. B. Paris - 2000 - Bulletin of Symbolic Logic 6 (2):223-225.
Trial and error mathematics II: Dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets.Jacopo Amidei, Duccio Pianigiani, Luca San Mauro & Andrea Sorbi - 2016 - Review of Symbolic Logic 9 (4):810-835.
Trial and error mathematics: Dialectical systems and completions of theories.Luca San Mauro, Jacopo Amidei, Uri Andrews, Duccio Pianigiani & Andrea Sorbi - 2019 - Journal of Logic and Computation 1 (29):157-184.
Complexity, logic, and recursion theory, edited by Sorbi Andrea, Lecture notes in pure and applied mathematics, vol. 187, Marcel Dekker, Inc., New York, Basel, and Hong Kong, 1997, viii + 363 pp. [REVIEW]Steven Homer - 1999 - Journal of Symbolic Logic 64 (1):399-401.
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics ; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Trial and error predicates and the solution to a problem of Mostowski.Hilary Putnam - 1965 - Journal of Symbolic Logic 30 (1):49-57.
Cantini Andrea. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp. [REVIEW]Thomas Strahm - 1998 - Journal of Symbolic Logic 63 (1):328-329.
E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 , pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 , pp. 49–57. [REVIEW]Norman Shapiro - 1971 - Journal of Symbolic Logic 36 (2):342-342.
Formal systems of constructive mathematics.M. H. Löb - 1956 - Journal of Symbolic Logic 21 (1):63 - 75.

Analytics

Added to PP
2016-02-04

Downloads
93 (#237,842)

6 months
2 (#1,355,905)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luca San Mauro
Università degli Studi di Roma La Sapienza

Citations of this work

Add more citations

References found in this work

The Logic of Reliable Inquiry.Kevin Kelly - 1998 - British Journal for the Philosophy of Science 49 (2):351-354.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Limiting recursion.E. Mark Gold - 1965 - Journal of Symbolic Logic 30 (1):28-48.
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.

View all 11 references / Add more references