User:Hokit

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

Plan to translate following entry to Chinese
1) Kirchhoff's circuit laws

2) Proof sketch for Gödel's first incompleteness theorem

zh:User:Hokit