User:Hokit
Appearance
Editor of
[edit]1) Chinese version of Hypnerotomachia Poliphili
2) Chinese version of Pēteris Vasks
Currently interested in
[edit]1) Gödel's first incompleteness theorem
1.1) Proof sketch for Gödel's first incompleteness theorem