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 decidability
Search options not deleted
user 2757
30
votes
Integer matrices with no integer eigenvalues
The general problem of this type is undecidable. More precisely, there is no algorithm that takes as input two $n \times n$ integer matrices and decides whether the semigroup they generate contains a …
- 23.8k
23
votes
Is the theory of categories decidable?
This answer builds on those of F. G. Dorais and Joel David Hamkins to answer your "specific question", the question left open by them, namely whether the theory of abelian categories is decidable.
Th …
- 23.8k