Theoretical Computer Science
Gro-Tsen's user avatar
Gro-Tsen's user avatar
Gro-Tsen's user avatar
Gro-Tsen
  • Member for 10 years, 2 months
  • Last seen this week
Profile Activity
Stats
619
reputation
2k
reached
0
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
15
bronze badges
Top tags
View all tags
0
Score
5
Posts
62
Posts %
0
Score
4
Posts
50
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
question
12
Complexity relative to the graph of the Busy-Beaver function
Jun 23, 2020
question
10
Is there a text that discusses both the “lambda cube” of pure type theories and Martin-Löf's intuitionistic type theories, and compares them?
Nov 9
question
9
Is P=NP relative to the halting oracle?
Sep 8
question
8
What can we do with a generic oracle (as opposed to a random one)?
Nov 27
question
5
Has there been any development of complexity theory for other Turing degrees than 0?
Jun 22, 2020
question
4
Connection between strong normalization of the simply typed λ-calculus, and cut elimination for propositional logic
Nov 16
question
2
Technical limitations of Turing machines due to the input and output encoding of values
Nov 18
question
1
Primitive recursion with varying parameters
Oct 17
Top network posts
View all network posts
91
Note rejected from arXiv: what to do next?
68
'Obvious' theorems that are actually false
65
Situations where “naturally occurring” mathematical objects behave very differently from “typical” ones
57
Every real function has a dense set on which its restriction is continuous
55
Does every real function have this weak continuity property?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.