Matematiikan viimeisen aksiooman kiistakysymykset (quantamagazine.org)

• Muodollisten loogisten järjestelmien rajoitteet.
• Konflikti matemaattisen formalismin ja intuition välillä.
• Vaikutukset monimutkaisten mallien johdonmukaisuuteen.

"Katsaus perusteelliseen keskusteluun, joka liittyy matematiikan viimeiseen suureen ratkaisemattomaan aksioomaan. Debatti korostaa jännitteitä formalistisen tiukkuuden ja intuitionististen näkemysten välillä. Nämä kysymykset ovat ratkaisevia tieteellisen infrastruktuurin ja loogisen päättelyn eheyden kannalta."