Математик: все, що ми знаємо про математику, може бути невірним

Математик: все, що ми знаємо про математику, може бути невірним
João Trindade/Victor Tangermann
Математик Кевін Баззард попереджає, що область математики може бути повна нісенітниць, через те, що багато видатних дослідників не перевіряють докази своїх колег.

Машина довіри

Теоретична математика, як правило, настільки складна, що навіть дослідники, які просувають цю область, не можуть зрозуміти все це.

Виявляється, що багато математики просто вірять, що основи нового відкриття розумні, повідомляє Материнська плата. Якщо видатний дослідник цитує математичне доказ у своїй роботі, інші можуть припустити, що це правда, не перевіряючи себе. І математик з Імперського коледжу Лондона Кевін Баззард стурбований тим, що все поле буде в вогні.

Теоретична Дженга

Канюк стурбований тим, що багато математичні докази невірні — але помилки ховаються за радаром, тому що багато видних діячів просто припускають, що вони тримають воду.

«Раптово мене турбує, що вся опублікована математика невірна, тому що математики не перевіряють деталі, — сказав він Материнської плати, — а я раніше бачив їх невірними».

Автоматизовані академіки

Щоб допомогти математикам прийти до обгрунтованих висновків, що не змушуючи їх зануритися в тисячі сторінок незбагненних операцій, у своєму вступному слові на математичної конференції Баззард припустив, що поле повинно бути звернено до інструментів штучного інтелекту, які можуть виконувати за них важку роботу.

«Я думаю, що є ненульовий шанс того, що деякі з наших великих замків побудовані на піску», — читається в його презентації для Материнської плати. «Але я думаю, що це маленький.»

Джерела: Motherboard

Автор: Ден Робітцкі
ОСТАННІ КОМЕНТАРІ