Epsilon calculus

Epsilon calculus

Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The "epsilon operator" and "epsilon substitution method" are typically applied to a first-order predicate calculus, followed by a showing of consistency. The epsilon-extended calculus is further extended and generalized to cover those mathematical objects, classes, and categories for which there is a desire to show consistency, building on previously-shown consistency at earlier levels. [Stanford, overview paragraphs]

Epsilon operator

For any formal language L, extend L by adding the epsilon operator to redefine quantification:

* exists x A(x) equiv A(epsilon x A)

* forall x A(x) equiv A(epsilon x ( eg A))

The intended interpretation of ε"x" "A" is "some x" that satisfies "A". Equality is required to be defined under L, and the only rules required for L extended by the epsilon operator are modus ponens and the substitution of "A"("t") to replace "A"("x") for any term "t". [Stanford, the epsilon calculus paragraphs]

Modern approaches

Hilbert's Program for mathematics was to justify those formal systems as consistent in relation to constructive or semi-constructive systems. While Gödel's results on incompleteness mooted Hilbert's Program to a great extent, modern researchers find the epsilon calculus to provide alternatives for approaching proofs of systemic consistency as described in the epsilon substitution method.

Epsilon substitution method

A theory to be checked for consistency is first embedded in an appropriate epsilon calculus. Second, a process is developed for re-writing quantified theorems to be expressed in terms of epsilon operations via the epsilon substitution method. Finally, the process must be shown to normalize the re-writing process, so that the re-written theorems satisfy the axioms of the theory. [Stanford, more recent developments paragraphs]

References

*cite book | last = Moser | first = G. | coauthors = R. Zach | title = The Epsilon Calculus (Tutorial) | location = Berlin | publisher = Spring-Verlag | oclc = 108629234

*Stanford Encyclopedia of Philosophy (online). [http://plato.stanford.edu/entries/epsilon-calculus/ "The Epsilon Calculus"]

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Calculus of variations — is a field of mathematics that deals with extremizing functionals, as opposed to ordinary calculus which deals with functions. A functional is usually a mapping from a set of functions to the real numbers. Functionals are often formed as definite …   Wikipedia

  • Epsilon — (uppercase Ε, lowercase ε; el. Έψιλον) is the fifth letter of the Greek alphabet, corresponding phonetically to a close mid front unrounded vowel /e/. In the system of Greek numerals it has a value of 5. It was derived from the Phoenician letter… …   Wikipedia

  • epsilon-delta — /ep seuh lon del teuh, leuhn / or, esp. Brit., /ep suy leuhn /, adj. Math. of or pertaining to a method or proof in calculus involving arbitrarily small numbers. * * * …   Universalium

  • epsilon-delta — /ep seuh lon del teuh, leuhn / or, esp. Brit., /ep suy leuhn /, adj. Math. of or pertaining to a method or proof in calculus involving arbitrarily small numbers …   Useful english dictionary

  • Non-standard calculus — Abraham Robinson Contents 1 Motivation …   Wikipedia

  • Pi Mu Epsilon — The Pi Mu Epsilon Key Motto Τὴν παίδευσιν καὶ τὰ μαθηματικὰ ἐπισπεύδειν To promote scholarship and mathematics Formation May 25, 1914 …   Wikipedia

  • Time-scale calculus — In mathematics, time scale calculus is a unification of the theory of difference equations with that of differential equations, unifying integral and differential calculus with the calculus of finite differences, offering a formalism for studying …   Wikipedia

  • List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …   Wikipedia

Share the article and excerpts

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