News for hackers. Stuff that matters.

A comment on How has mathematics gotten so abstract?. Parent comment

Re:How has mathematics gotten so abstract? by goatlover on Tuesday September 30, 2025 @03:58PM (#45430481)
Difference is mathematical arguments can be shown to be provably true when exhaustively checked (which is straight forward with simpler proofs). Something you don't get with the empirical sciences.

Also the empirical part means natural phenomena needs to be involved. Math can be purely abstract.

[ Parent | on HN ]
Re:How has mathematics gotten so abstract? by nitwit005 on Tuesday September 30, 2025 @04:36PM (#45430904)
You're making a strong argument if you believe you checked every possibility, but it's still just an argument.

If you want to escape human fallibility, I'm afraid you're going to need divine intervention. Works checked as carefully as possible still seem to frequently feature corrections.

[ Parent | on HN ]