/lit/ - Literature

>>22630005

The page you linked also includes Conjectures, which are still require more proof, and remajn open to disproval. If Conjectures are a subset of theorems, as here, then theorems are not absolutely true, just AFAWK true.

Case study.

Euclid's fifth Principle was debated for 2000 years before Ican'trememberwho (at least two fellers, independently) arrived on the solution of curved planes. Euclid is foundational for architecture, without being absolutely proven for 2000 years. The most that could be said of it was that it seemed to work very very well. Thus, math can still be very functional as an observationally derived algorithm without being fully understood. In other words, you can know how to math and yet not /know/ math.

Again, AFAWK basis.