De ce multe demonstraţii matematice din prezent şi descoperirile care le implică ar putea fi greşite

Matematicianul Kevin Buzzard este de părere că demonstraţiile matematice folosite în prezent sunt acceptate fără a mai fi verificate.

Analiza matematică tinde să fie un domeniu al cărui grad de complexitate şi abstractizare ridică probleme atât oamenilor obişnuiţi, cât şi unora dintre specialişti. Conform lui Kevin Buzzard, matematician la Imperial College London, această situaţie se poate dovedi extrem de periculoasă pentru calitatea muncii depuse în domeniu. Mai exact, acest matematician explică faptul că matematica a atins un grad de complexitate extrem de ridicat şi că asta îi determină pe mulţi dintre colegii săi să accepte demonstraţiile propuse de experţii din domeniu fără a le mai verifica, notează Futurism.

Buzzard este de părere că o mare parte dintre matematicieni pur şi simplu acceptă şi folosesc demonstraţile propuse de către figurile marcante ale domeniului fără a le verifica. În aceste condiţii, matematicianul nu exclude posibilitatea ca multe descoperiri realizate de-a lungul timpului să fie fundamentate pe ecuaţii incorecte. O astfel de situaţie poate pune la îndoială descoperirile din matematică, dar şi descoperirile din domeniile conexe.

„Sunt îngrijorat că toată matematica ar putea fi eronată deoarece matematicienii nu verifică detaliile”, a declarat Kevin Buzzard.

Soluţia înaintată de către matematician implică folosirea inteligenţei artificiale pentru a verifica ecuaţiile care se pot întinde pe mii de pagini. În aceste condiţii, matematica ar putea fi „eliberată” de sub autoritatea epistemică a figurilor importante din domeniu.

„Cred că există o posibilitate ca cele mai mari descoperiri ale noastre să aibă un fundament şubred”, a explicat Kevin Buzzard.