MathOverflow
Panu Raatikainen's user avatar
Panu Raatikainen's user avatar
Panu Raatikainen's user avatar
Panu Raatikainen
  • Member for 7 years, 4 months
  • Last seen more than 3 years ago
Profile Activity
Stats
59
reputation
3k
reached
6
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
View all tags
5
Score
5
Posts
83
Posts %
3
Score
2
Posts
33
Posts %
3
Score
1
Posts
17
Posts %
2
Score
1
Posts
17
Posts %
2
Score
1
Posts
17
Posts %
2
Score
1
Posts
17
Posts %
Top posts
answer
3
Are there logical systems where formal proofs are not computer verifiable?
Oct 11, 2018
answer
2
What is some current research going on in foundations about?
Dec 14, 2016
answer
2
Regarding Gentzen's note regarding 'Godel-points' (i.e., "Where is the Godel-point hiding?")
Oct 7, 2019
answer
1
Necessary use of large cardinals in mathematics
Jan 16, 2020
answer
0
Platonic Truth and 1st Order Logic - Take 2
Dec 28, 2016
answer
0
Tarski's truth theorem — semantic or syntactic?
May 2, 2020
Top network posts
View all network posts
6
Does Gödel's argument that minds are more powerful than computers have the inconsistency loophole?