andrey bovykin

286
Reputation
379 views
Is this your account?

Registered User 

Name andrey bovykin
Member for 2 years
Seen Jun 28 at 23:41
Website
Location travelling
Age 37
I am a travelling metamathematician.
0

Questions

 

2

Answers
23
Proofs of Gödel’s theorem (3)
4
undecidable sentences of first-order arithmetic whose truth values are unknown

 

4

Votes
4

 

2

Tags


 

6

Badges
● Yearling
● Nice Answer
 ● Supporter
● Teacher
 ● Editor
● Autobiographer