HealthySense.com is one of the largest health directory on the web.  

Philosophy: Philosophy of Science: Mathematics



the entire directory   only this category Advanced Search

 
Home: Philosophy: Philosophy of Science: Mathematics
CATEGORIES:
LINKS:
  • Intuitionistic Logic
    http://plato.stanford.edu/entries/logic-intuitionistic/
    Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics, beginning in [1907]. Because these principles also underly Russian recursive analysis and the constructive analysis of E. Bishop and his followers, intuitionistic logic may be considered the logical basis of constructive mathematics. From the Stanford Encyclopedia.

  • Constructive Mathematics
    http://plato.stanford.edu/entries/mathematics-constructive/
    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.

  • Paul Ernest's Page
    http://www.ex.ac.uk/~PErnest/
    Based at School of Education, University of Exeter, United Kingdom, includes the text of back issues of the Philosophy of Mathematics Education Journal, and other papers on the philosophy of mathematics and related subjects.


 


  HOME | ADD A LINK | MODIFY A LINK | LOGIN

© www.HealthySense.com
Hosted by www.PremiumHostingService.com
Website Design by MIRO - www.miroweb.com