Foundations of real analysis and computability theory in non-Aristotelian finitary logic

Details Foundations of real analysis and computability theory in non-Aristotelian finitary logic Foundations of real analysis and computability theory in non-Aristotelian finitary logic

2005-06-23

arxiv.org/abs/math/0506475v3

Mathematics

Logic

An error corrected in the equation of Remark 9. Other comments of Version 2: 25 pages, nine references added, typos corrected.

Scientific paper

This paper outlines new paradigms for real analysis and computability theory in the recently proposed non-Aristotelian finitary logic (NAFL). Constructive real analysis in NAFL (NRA) is accomplished by a translation of diagrammatic concepts from Euclidean geometry into an extension (NPAR) of the NAFL version of Peano Arithmetic (NPA). Such a translation is possible because NPA proves the existence of every infinite proper class of natural numbers that is definable in the language of NPA. Infinite sets are not permitted in NPAR and quantification over proper classes is banned; hence Cantor's diagonal argument cannot be legally formulated in NRA, and there is no `cardinality' for any collection (`super-class') of real numbers. Many of the useful aspects of classical real analysis, such as, the calculus of Newton and Leibniz, are justifiable in NRA. But the paradoxes, such as, Zeno's paradoxes of motion and the Banach-Tarski paradox, are resolved because NRA admits only closed super-classes of real numbers; in particular, open/semi-open intervals of real numbers are not permitted. The NAFL version of computability theory (NCT) rejects Turing's argument for the undecidability of the halting problem and permits hypercomputation. Important potential applications of NCT are in the areas of quantum and autonomic computing.

Affiliated with

Also associated with

No associations

Rating

Foundations of real analysis and computability theory in non-Aristotelian finitary logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Foundations of real analysis and computability theory in non-Aristotelian finitary logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Foundations of real analysis and computability theory in non-Aristotelian finitary logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-624450