3 ms·
He's actually exploring the difficulties of defining numbers numbers in a naive way to be their decimal expansions.
by OscarCunningham 9y ago
He's actually exploring the difficulties of defining numbers numbers in a naive way to be their decimal expansions.