Remix.run Logo
RossBencina 2 days ago

> 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.