Comment by pegasus

> [...] claiming that math is producing objective facts ignores at least a few hundred years of philosophy of mathematics (if not more). Even practicing mathematicians like Chaitin have described math as being more about inventing than discovering.

Chaitin's work (including in his own opinion) moved the philosophical needle on maths towards "discovery" and away from "invention".