Skip to main content
MathOverflow
Sebastian Reichelt's user avatar
Sebastian Reichelt's user avatar
Sebastian Reichelt's user avatar
Sebastian Reichelt
  • Member for 14 years, 6 months
  • Last seen more than 2 years ago
Profile Activity
Stats
313
reputation
51k
reached
5
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
View all tags
7
Score
2
Posts
33
Posts %
4
Score
4
Posts
67
Posts %
4
Score
1
Posts
17
Posts %
4
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
2
Posts
33
Posts %
Top posts
question
13
Most general formulation of Gödel's incompleteness theorems
Jul 17, 2010
answer
5
Demonstrating that rigour is important
Sep 4, 2010
answer
5
Has anyone thought about creating a formal proof wiki with verifier?
Oct 6, 2010
answer
4
The isomorphism inference rule
Jun 18, 2010
answer
3
When is something too big to be a set?
Jul 20, 2010
answer
1
Derivation rules and Godel theorem
Jun 30, 2010
Top network posts
View all network posts
17
Tiling a Hexagon with Diamonds
12
How were windows originally conceived?
10
How unsafe is this belay technique really?
10
How to calculate the number of decimal digits for a binary number?
9
Tiling a Hexagon with Diamonds