Sebastian Reichelt

143

Reputation

153 views

Registered User

Name	Sebastian Reichelt
Member for	2 years
Seen	Jun 9 at 23:32
Website
Location
Age

stats recent reputation favorites

1

Questions

3

6

votes

3

answers

1k

views

Most general formulation of Gödel’s incompleteness theorems

lo.logic proof-theory

jul 19 10 at 9:11 robin-adams 156●2

5

Answers

votes newest views recent

The isomorphism inference rule

When is something too big to be a set?

Has anyone thought about creating a formal proof wiki with verifier?

Demonstrating that rigour is important

Derivation rules and Godel theorem

20

Votes

20

8

Tags

lo.logic× 3
set-theory× 2
bourbaki× 2
proof-theory
metamathematics
gm.general-mathematics
formal-languages
big-list

7

Badges

● Popular Question
● Commentator

● Scholar
● Student

● Supporter
● Editor