Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Crudely overviewing:

Mathematics is seen a formally grown, logical system, that has features that are "discovered" rather than invented .. "Given some {X}, {Y} follows without question".

However it rests(?) on Axiomatic foundations ..

Most famously: https://www.sfu.ca/~swartz/euclid.htm

It is understood that one can tweak an axiom, the fifth posulate for example, and get a different logical ediface - a non Euclidean hyperbolic geometry in that case.

The ZFC "Axiom of Choice" has bearing on infinities and other things, including many proofs that depend on reduction by absurdity.

https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_t...



Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: