Ultrafinitism

Ultrafinitism

In the philosophy of mathematics, ultrafinitism, or ultraintuitionism, is a form of finitism.

Ultrafinitists deny the existence of the infinite set N of natural numbers, on the grounds that it can never be completed.In addition, ultrafinitists are concerned with our own physical restrictions in constructing mathematical objects.Thus some ultrafinitists will deny the existence of, for example, the floor of the first Skewes' number, which is a huge number defined using the exponential function as exp(exp(exp(79))), or: e^{e^{e^{79}mbox{.} ! The reason is that nobody has yet calculated what natural number is the floor of this real number, and it may not even be physically possible to do so.

Ultrafinitism is a form of constructivism, but even constructivists generally view the philosophy as unworkably extreme.The logical foundation of ultrafinitism is unclear; in his comprehensive survey "Constructivism in Mathematics" (1988), the constructive logician A. S. Troelstra dismissed it as "no satisfactory development exists at present".This was not so much a philosophical objection as it was an admission that, in a rigorous work of mathematical logic, there was simply nothing precise enough to include.

Serious work on ultrafinitism has been led, since 1959, by Alexander Esenin-Volpin.

Other considerations of the possibility of avoiding unwieldily large numbers can be based on complexity theory, including the notion of feasible number.

An objection has been raised that ultrafinitism is a nonsensical stance, being described by the absolute (without reference to a place) non-existence of a certain entity. According to this view it is as nonsensical to talk of existence without a place as it is to talk of a proof without assumptions. Actually, this objection, which originated with Carnap, could be applied to Ontology on the whole (and hence to Platonism, intuitionism, and finitism).

Ultrafinitism can be seen as an alternative term to strict finitism.

External links

* [http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf "Real" Analysis Is A Degenerate Case Of Discrete Analysis] by Doron Zeilberger


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • ultrafinitism — noun A form of finitism that is even more extreme in that it denies those constructs whose construction cannot be physically performed (such as a number that no human could have time to calculate). Syn: ultraintuitionism …   Wiktionary

  • Rohit Jivanlal Parikh — Infobox Scientist name = Rohit Jivanlal Parikh birth date = birth date and age|1936|11|20 birth place = Palanpur, Gujarat, India. residence = USA nationality = flagicon|India India, United States field = Mathematics, logic, philosophy, computer… …   Wikipedia

  • Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… …   Wikipedia

  • Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …   Wikipedia

  • Finitism — In the philosophy of mathematics, finitism is an extreme form of constructivism, according to which a mathematical object does not exist unless it can be constructed from natural numbers in a finite number of steps. In her book Philosophy of Set… …   Wikipedia

  • Classical mathematics — In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory.[1] It stands in contrast to other types of mathematics such as constructive …   Wikipedia

  • List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… …   Wikipedia

  • Alexander Esenin-Volpin — Alexander Sergeyevich Esenin Volpin ( ru. Александр Сергеевич Есенин Вольпин)is a prominent Russian American poet and mathematician. Born on May 12 1924 in the former Soviet Union, he was a notable dissident, political prisoner, poet, and… …   Wikipedia

  • mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …   Universalium

  • ultrafinitist — noun A proponent of ultrafinitism …   Wiktionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”