- Theoretical Computer Science 613 613 33 silver badges1111 bronze badges
- MathOverflow 373 373 22 silver badges1010 bronze badges
- Mathematics 351 351 11 silver badge1111 bronze badges
- Computer Science 267 267 11 silver badge1212 bronze badges
- Stack Overflow 133 133 55 bronze badges
- View network profile
Top network posts
- 26 What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers?
- 8 Are space and time hierarchies even comparable?
- 8 Lower bound on pebbling numbers
- 7 Are all turing machines paths predictable?
- 5 Turing machines over a structure
- 5 How long does it take to find a short cycle in a random graph?
- 5 What research is being done in classical complexity theory?
- View more network posts →