Advertisement

A Note on Feasibility

  • W. Peremans
Part of the Texts and Monographs in Computer Science book series (MCS)

Abstract

The concept of feasibility has a long history, although it has long remained implicit, and was not analysed or discussed as such. It is an obvious supposition that the act of counting may be continued indefinitely, one that need not be stated explicitly. Of course everyone was aware that in reality it is not possible to count to infinity and that, therefore, the indefinite continuability of the number sequence is an idealization of reality. This is why the term “potentially infinite” is sometimes used.

Keywords

Travel Salesman Problem Mathematical Induction Natural Deduction Derivation Rule Feasible Number 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    S. Shapiro, editor. Intensional Mathematics. North-Holland, Amsterdam, 1985. Studies in Logic and the Foundations of Mathematics, Vol. 113.Google Scholar
  2. [2]
    A. S. Yessenin-Volpin. About infinity, finiteness and finitization (in connection with foundations of mathematics). In Constructive Mathematics, Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980, pages 274–313, Springer-Verlag, Berlin, 1981. Lecture Notes in Mathematics, Vol. 873.Google Scholar
  3. [3]
    A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the anti- traditional program for the foundation of mathematics. In Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y., 1968, pages 3–45, North-Holland Publishing Company, Amsterdam, 1970. Studies in Logic and the foundations of Mathematics.Google Scholar

Copyright information

© Springer-Verlag New York, Inc. 1990

Authors and Affiliations

  • W. Peremans
    • 1
  1. 1.EindhovenThe Netherlands

Personalised recommendations