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 constructive-mathematics
Search options not deleted
user 2937
Constructive mathematics in the style of Bishop, including its semantics using realizabilty or topological methods.
9
votes
2
answers
888
views
What did the Intuitionists want to do with applied mathematics?
Oversimplification: Newton & Leibnitz &c build the calculus and other methods that solve a vast number of practical problems. Weierstrass, Dedekind, Cantor &c build a foundation under it dependent on …
- 309
3
votes
2
answers
568
views
Bishop's paradox of the countability of sequences
In 'Foundations of Constructive Analysis', in the notes at the end of the first chapter, Bishop poses an apparent paradox as an exercise for the reader:
Since every sequence of rational numbers ca …
- 309