Matemaatika viimase aksioomi vastuolud (quantamagazine.org)

• Formaalsete loogikasüsteemide piirangud.
• Konflikt matemaatilise formalismi ja intuitsiooni vahel.
• Mõju teaduslike mudelite terviklikkusele.

"Analüüs matemaatika viimase suure lahendamata aksioomi ümber käivast fundamentaalsest debatist. Arutelu toob esile pinged formalismi ja intuitsionismi vahel, seades kahtluse alla loogiliste tõdede olemuse. Need küsimused on kriitilise tähtsusega teaduse alustalade ja keerukate modelleerimissüsteemide usaldusväärsuse jaoks."