logoalt Hacker News

RossBencinalast Friday at 11:06 PM0 repliesview on HN

> mathematics isn't just a giant machine of deductive statements

I think the subject at question here is mathematical truth, not "mathematics" whatever that means.