User:Hokit
Jump to navigation
Jump to search
Editor of
1) Chinese version of Hypnerotomachia Poliphili
2) Chinese version of Pēteris Vasks
Currently interested in
1) Gödel's first incompleteness theorem
1.1) Proof sketch for Gödel's first incompleteness theorem