(Q5383976)

English

epsilon calculus

logical calculus with a primitive symbol that denotes an arbitrary value satisfying a given predicate or, if no such value exists, another arbitrary value

Hilbert operator
epsilon operator
Hilbert epsilon
Hilbert epsilon calculus

In more languages

edit

Statements

instance of

logical system

0 references

program operator

reason for deprecated rank

conflation

0 references

part of

mathematical logic

0 references

discoverer or inventor

David Hilbert

0 references

time of discovery or invention

1921

1 reference

reference URL

https://plato.stanford.edu/entries/epsilon-calculus/

defining formula

{\begin{aligned}(\exists x)A(x)&\equiv A(\epsilon x\ A)\\(\forall x)A(x)&\equiv A(\epsilon x\ (\neg A))\end{aligned}}

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

Freebase ID

/m/02qykl7

0 references

Google Knowledge Graph ID

/g/11gjw_00bg

0 references

Internet Encyclopedia of Philosophy ID

ep-calc

0 references

JSTOR topic ID

epsilon-calculus

0 references

Microsoft Academic ID

192340354

0 references

Stanford Encyclopedia of Philosophy ID

epsilon-calculus

0 references

(Q5383976)

epsilon calculus

Statements

Identifiers

Sitelinks

Wikipedia(3 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)