@MSGID: 2:5055/182 ca319d83
@PID: jNode ver. 1.5
@TID: jNode ver. 1.5
@CHRS: CP866 2
 Современные доказательства порой занимают сотни (теорема Ферма) и
десятки тысяч (классификация простых конечных групп) страниц. Как отдельному
математику, даже самому продвинутому, понять и осознать весь этот объём
информации?

 Всё началось с доказательства "теоремы четырёх красок". Сформулировали
её в 1852 году, но доказать смогли только в 1976-м. И сделали это с
помощью компьютера: просчитали все 1936 возможных варианта, и показали, что
контрпримера не существует. Проблема была в объёме доказательства оно занимало
сотни страниц, и чтобы проверить его вручную, потребовалось бы колоссальное
количество времени. По этой причине многие математики долгое время отказывались
это доказательство принимать.

 Почитайте, товарищи, про проблему доверия к компьютеру и массу других
интересных вещей и историй в рамках одной научной статьи по философии
математики.

https://cyberleninka.ru/article/n/pereuslozhnennost-sovremennoy-matematiki-filos
ofsko-metodologicheskiy-analiz
http://fido.ortoped.org.ru/photo_2024-08-12_20-24-30%20%286%29.jpg

--- hssergey station
 * Origin: jNode ver. 1.5 (2:5055/182)
SEEN-BY: 301/1 460/58 4500/1 5001/100 5005/49
5015/46 255 5020/113 715 848
SEEN-BY: 5020/1042 4441 12000 5030/49 1081 5055/182
5058/104 5060/900
SEEN-BY: 5061/133 5083/444
@PATH: 5055/182 5020/1042 4441