Correctness of inconsistent theories with notions of feasibility

  • A. G. Dragalin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 208)


Special Rule Inductive Supposition Main Formula Logical Axiom Argument Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    H. Poincare, The foundations of science, Science Press, 1913.Google Scholar
  2. [2]
    P. Bernays, On Platonism in Mathematics, Philosophy of mathematics, Prentice-Hall, New Jersey, 1964, pp.274–288.Google Scholar
  3. [3]
    D. van Dantzig, Is 101010 a finite number?, Dialectica, v. 9, 3/4 (35/36), 1955, pp. 273–277.Google Scholar
  4. [4]
    A.S. Yessenin-Volpin, Analysis of potencial feasibility (in Russian), in: Logicheskie issledovanija, Moscow, 1959, pp. 218–262.Google Scholar
  5. [5]
    A.S. Yessenin-Volpin, About infinity, finiteness and finitization, in: Constructive mathematics, Lect. Notes in Math. 873, Springer, 1981, pp. 274–313.Google Scholar
  6. [6]
    R. Parikh, Existence and feasibility in arithmetic, Lourn. of Symbolic Logic, v. 36, 3, 1971, pp. 494–508.Google Scholar
  7. [7]
    V.P. Orevkov, Upper bounds for lengthening of proofs after cut-elimination, in: Theory complexity of computations (in Russian), ser. Notes of scientific seminars of Leningrad dept. of Math. Inst. of Acad. sci., v. 137, Leningrad, 1984, pp. 87–98.Google Scholar
  8. [8]
    S.C. Kleene, Introduction to metamathematics, Van Nostrand C, N.Y., Toronto, 1952.Google Scholar
  9. [9]
    A.N. Kolmogoroff, A.G. Dragalin, Introduction to Mathematical Logic (in Russian), Moscow Univ. Press, Moscow, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • A. G. Dragalin
    • 1
  1. 1.Debrecen UniversityDebrecenHungary

Personalised recommendations