Вы, видимо, верите прежде всего своему восприятию, а я источникам.
Я верю восприятию этого вопроса математическим сообществом. Здесь на форуме много профессиональных математиков, если бы кто-то был не согласен с моим высказыванием (о том, что с момента компьютерного доказательства никто серьёзно не сомневался в верности гипотезы о четырёх красках), он бы сказал.
Большее доверие у меня вызывают книги известных издательств
Вы имеете в виду, что ли, процитированную книгу? Я уже объяснил, почему данная конкретная цитата является бредовой. "Текст опубликован в авторской редакции" -- значит, не рецензировалась. Автор в предисловии пишет, что придумал новый алгоритм для проблемы четырёх красок. Только статью в Annals of Mathematics почему-то не отправил, наверное, из скромности.
Александр Гротендик писал(а):
Впрочем, и в наши дни встречаются сомнительные доказательства. Например, доказательство Грауэрта теоремы конечности, получившей его имя. Несколько лет кряду его никто не мог прочесть, при том, что добровольцев хватало. Путаница разрешилась благодаря другим, более прозрачным доказательствам, которые появились позднее; некоторые из них в определенном смысле пошли дальше исходного. Похожая, но уже совсем из ряда вон выходящая история произошла с «решением» так называемой проблемы четырех красок. Его «вычислили» при помощи компьютера (и нескольких миллионов долларов). В то время как настоящее доказательство в математике всегда идет от внутреннего убеждения человека, от ясного понимания той или иной ситуации, здесь речь идет о расчете, основанном на доверии к машине, лишенной способности мыслить и понимать. Математик, взявшийся за эту
работу, не понимает ее устройства; может ли он поручиться за результат? Даже если расчет будет подтвержден при проверке на других компьютерах, другими программами, я все равно не соглашусь признать проблему четырех красок закрытой. Это означало бы только, что можно оставить поиски контрпримера. Вопрос о настоящем доказательстве (разумеется, о таком, чтобы его можно было прочесть!) даже при этих условиях остается открытым.