MathOverflow
Dávid Natingga's user avatar
Dávid Natingga's user avatar
Dávid Natingga's user avatar
Dávid Natingga
  • Member for 12 years, 2 months
  • Last seen more than 3 years ago
Profile Activity
Stats
391
reputation
3k
reached
1
answer
2
questions
Communities
About

2010 - 2014, Imperial College London, MEng Computing (Artificial Intelligence)

2014 - 2019, University of Leeds, a PhD candidate in Computability Theory

Check my free Android app Sophia Number Guesser that will guess the hidden digit in your number!

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
0
Score
2
Posts
67
Posts %
Top posts
question
20
Can ZFC prove it cannot derive an inconsistency in $n$ steps?
Jan 27, 2015
question
3
Set Cardinality Game - Can a player with numbers in R win over a player with numbers in N as each of them in one turn has to present a new number?
Feb 5, 2012
answer
3
Precise interpretability strength of $\mathcal P_{DF}(\omega)$ and $L_{\omega_1^{CK}}$
Sep 3, 2015