The Epsilon Calculus

Edit Page

Report

Scan day: 07 February 2014 UTC

-164

Virus safety - good

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

Description: Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods; by Jeremy Avigad and Richard Zach.

Subcat: https://morefunz.com/society/philosophy/reference/?page=14

The Epsilon Calculus (Stanford Encyclopedia of Philosophy) First published Fri May 3, 2002; substantive revision Wed Nov 27, 2013 The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term Îµ

Size: 410 chars

Contact Information

Email:Send Message

Phone&Fax: —

Address: —

Extended: —

WEBSITE Info

Page title:	The Epsilon Calculus (Stanford Encyclopedia of Philosophy)
Keywords:
Description:
IP-address:	171.67.193.20

WHOIS Info

NS	Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758
WHOIS
Date	activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014