AtomSeek the directory or science  

Philosophy of Science: Mathematics: Constructive Mathematics


  Home: Philosophy of Science: Mathematics:
Submitted: Sat Sep 06 2003
Title:

Philosophy of Science: Mathematics: Constructive Mathematics


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

 

Description: 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. From the Stanford Encyclopedia.


Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
  Previous      Next

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


atomseek.com
Webmaster - miroweb.com