User:Hokit

From Wikipedia, the free encyclopedia

[edit] Editor of

1) Chinese version of Hypnerotomachia Poliphili

2) Chinese version of Pēteris Vasks

[edit] Currently interested in

1) Gödel's first incompleteness theorem

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

[edit] Plan to translate following entry to Chinese

1) Kirchhoff's circuit laws

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