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 22131
the mathematical discipline that applies mathematical methods to the study of mathematical theories themselves.
10
votes
Accepted
Is there an equivalent of the incompleteness theorems/halting problem in category theory?
There is a category theoretic version of the incompleteness theorem originally due to André Joyal that has been unavailable for a long time, but has been written up not so long ago by Joost van Dijk a …
- 42.4k
9
votes
Equivalences of $n$-categories
That is indeed a problem, and one could argue that this is part of the reason why these questions are difficult. But I feel that in practice that has never been a strong obstruction. I guess, one way …
- 42.4k