Intuitionistic Logic
Edit Page
Report
Scan day: 07 February 2014 UTC
-138
Virus safety - good
Description: The principles L. E. J. Brouwer used in developing his intuitionistic mathematics. By Joan R. Moschovakis, UCLA.
Intuitionistic Logic (Stanford Encyclopedia of Philosophy) First published Wed Sep 1, 1999; substantive revision Wed Apr 28, 2010 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
Size: 488 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Intuitionistic Logic (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 |