MathOverflow
Dan Turetsky's user avatar
Dan Turetsky's user avatar
Dan Turetsky's user avatar
Dan Turetsky
  • Member for 10 years, 10 months
  • Last seen this week
Profile Activity
Stats
2,648
reputation
18k
reached
40
answers
8
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
23
bronze badges
Top tags
View all tags
176
Score
47
Posts
98
Posts %
134
Score
27
Posts
56
Posts %
25
Score
5
Posts
10
Posts %
22
Score
5
Posts
10
Posts %
15
Score
2
Posts
4
Posts %
10
Score
5
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
16
For a computable binary tree, is having no computable branches the same as having no probabilistic algorithm for producing branches?
Dec 30, 2017
question
13
Is the Cayley graph of Thompson's group isolated in the space of vertex-transitive graphs?
Feb 3, 2015
answer
11
Can noncomputable sets be distinguishable in $RCA_0$?
Jun 8, 2016
answer
10
Does permission always work?
May 9, 2022
answer
10
Does every cofinal branch through Kleene's O compute true arithmetic?
May 10, 2020
answer
9
Busy beaver function vs low Turing degrees
Nov 26, 2014
answer
8
What are some interesting applications/corollaries of Kleene's Recursion theorem?
Jan 5
answer
8
Undecidable infinite analogs of NP-complete problems?
Oct 2, 2021
answer
7
Complexity of |a| < |b| for ordinal notations?
Jun 4
question
7
Independence of $\Pi^1_1$-induction from ATR$_0$
Mar 18, 2021

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.