Gödel's beavers, or the limits of knowledge (via dzwdz) — discussion

#math