leastfixedpoint

Archived tweet #8339 from the @leastfixedpoint Twitter Archive
"How real are real numbers?", Gregory Chaitin, 2004(?): cs.auckland.ac.nz/~chaitin/olymp…