Ultrafinitism

In the philosophy of mathematics, the names ultrafinitism, ultraintuitionism, strict formalism, strict finitism, actualism, predicativism, and strong finitism are used to describe various philosophies of mathematics with aspects of finitism and intuitionism. A major identifying property common among most of these philosophies is their objections to totality of number theoretic functions like exponentiation over natural numbers.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.