This a google-doc collection of the Chinese version for AN by Rohin Shah, Richard Ngo, Dan Hendrycks, and Cody Wild.
Wir müssen wissen, wir werden wissen.
Looking askance at reality
"Wir müssen wissen — wir werden wissen" -- David Hilbert
Wir müssen wissen, wir werden wissen
Some things in mathematical logic that I find interesting
Wir müssen wissen, wir werden wissen.
