Godel says axiom systems are limitted in the theorems they can prove - does this mean people are going around cataloguing reasonable axioms to maximize hoy many theorems we can prove?Turns out the…

Posters: exgenesis. exgenesis

7 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/exgenesis/status/1775882141592617223