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 metamathematics
Search options answers only
not deleted
user 1233
the mathematical discipline that applies mathematical methods to the study of mathematical theories themselves.
15
votes
Can infinity shorten proofs a lot?
Nachum Dershowitz has lots of work on termination proofs and many of these make use of ordinal arithmetic. In particular, if you have a computer program that moves from one state to another, and you c …
- 8,271
5
votes
Accepted
Intuitive and/or philosophical explanation for set theory paradoxes
George Boolos has a number of very readable (to the non-expert like me) essays on this subject. Try "The Iterative Conception of Set" in Logic, Logic and Logic. He tries to find a way to look at the a …
- 8,271