Experimental logics and Δinf2sup0- theories

  title={Experimental logics and Δinf2sup0- theories},
  author={Robert G. Jeroslow},
  journal={J. Philosophical Logic},
In this paper, we explore the concept of a logic which proceeds by trial-anderror, and deduce consequences which follow from relatively weak assumptions about these experimental logics. One of the consequences (Theorem 2) is analogous to, and in a rigorous sense it extends, Godel’s First Incompleteness Theorem. A second result (Theorem 5) stands in contrast to the corresponding result for ordinary formal systems, since it is not in general possible to mechanically find true but unprovable… CONTINUE READING

From This Paper

Topics from this paper.
6 Citations
8 References
Similar Papers


Publications referenced by this paper.
Showing 1-8 of 8 references

certe teorie non enumerabili (Sulle Limitazioni dei sistemi formali, I)‘,Ann

  • R. Magari, Su
  • Mat. Puru AppL (IV) XCVIII
  • 1974

Significato e verita nell aritmetica plan&ma (Sulle limitazioni dei sistemi formali, II)‘, to appear in Ann

  • R. Magari
  • Mat. Pura Appl.; abstract has appeared in…
  • 1973


  • February
  • 11
  • 1973
1 Excerpt

On Godel’s Consistency Theorem’, manuscript from the School of Mathematics, University of Minnesota, dated July

  • R. G. Jeroslow
  • 1971

Limiting Recursion

  • E. M. Gold
  • The Journal of Symbolic Logic
  • 1965
2 Excerpts

Die Widerspruchsfreiheit der reinen Zahlentheorie

  • G. Gentzen
  • Mathemafische Annalen
  • 1936

Similar Papers

Loading similar papers…