International Journal of Theoretical Physics

, Volume 42, Issue 2, pp 301–307

Explicit Finitism

Authors

  • András Kornai
    • Metacarta Inc.
Article

DOI: 10.1023/A:1024451401255

Cite this article as:
Kornai, A. International Journal of Theoretical Physics (2003) 42: 301. doi:10.1023/A:1024451401255

Abstract

This paper takes the first steps in developing a theory of “explicit finitism” which puts explicit limits on the size of finite objects. We provide motivation in the “physics of computation” sense, survey some of the difficulties and describe the appropriate computing machinery. We introduce the subset J of the real numbers that is the central mathematical object emerging from considerations of explicit finitism, and take the first steps in studying its properties.

explicit finitismphysics of computation

Copyright information

© Plenum Publishing Corporation 2003