Constructive Mathematics

Edit Page

Report

Scan day: 07 February 2014 UTC

-330

Virus safety - good

http://plato.stanford.edu/entries/mathematics-constructive/

Description: By Douglas Bridges from Waikato University.

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

Constructive Mathematics (Stanford Encyclopedia of Philosophy) First published Tue Nov 18, 1997; substantive revision Thu Oct 24, 2013 Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase â€œthere existsâ€ as â€œwe can constructâ€. In order to work constructively, we need to re-interpret not only the existential quantifier but all the logical connectives and quantifiers as instructions on how to construct a proof of the statement involving these logical expressions.

Size: 561 chars

Contact Information

Email:Send Message

Phone&Fax: 00153-012-0279

Address: —

Extended: —

WEBSITE Info

Page title:	Constructive Mathematics (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