Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with intuitionism
Search options answers only
not deleted
user 5442
10
votes
Accepted
Did Bishop, Heyting or Brouwer take partial functions seriously?
I don't believe that Bishop explicitly assumed all functions are continuous. I think that "no discontinuous function can be proved to be total in Bishop's constructive mathematics" is actually a very …
- 9,683
12
votes
Forcing is intuitionistic
It seems to me that the "more philosophical" reason why forcing is intuitionistic is that forcing and intuitionistic logic have similar interpretations of the logical connectives and quantifiers. This …
- 9,683