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 questions only
not deleted
user 20781
3
votes
1
answer
455
views
Does cut elimination fail here?
Proving $\lnot\lnot(A\lor\lnot A)$ in intuitionistic sequent calculus with cut seems to be easy:
We use cut to prove $\lnot(A\lor\lnot A)\vdash \bot$ from $\lnot(A\lor\lnot A)\vdash \lnot A \land\lnot …
- 47.3k
8
votes
2
answers
894
views
Did Bishop, Heyting or Brouwer take partial functions seriously?
So did Bishop, Heyting or Brouwer (or any other prominent "early" proponent of intuitionism) explicitly discussed this relationship, and clearly indicated to role (and treatment) of such partial functions …
CommunityBot
- 1