Ваша оценкаЦитаты
Аноним15 сентября 2023 г.Читать далееФилософ Карл Поппер полагал [POP], что ничего нельзя знать с абсолютной уверенностью. Он даже ввел доктрину фальсификационизма. В ее рамках научной может считаться только такая теория, для которой существует методологическая возможность ее опровержения.
Традиционная математика отвергает эту точку зрения. Считается, что математические утверждения, доказанные в соответствии с принятыми канонами математического вывода, неоспоримо верны. И такими останутся. Эта перманентная природа математики — уникальная черта, выделяющая ее из всех интеллектуальных деяний человека.041- Аноним15 сентября 2023 г.
Многие не отдают себе отчета, что евклидова геометрия, как мы знаем ее сегодня, — вовсе не та, что создавал Евклид. Плейфэр, Гильберт и многие другие поработали над тем, чтобы сделать ее более современной и последовательной.
023 - Аноним12 июля 2023 г.Читать далее
В 1974 г. Аппель и Хакен [APH1] объявили, что задача о четырех красках решена. Иначе говоря, получен ответ на вопрос о том, сколько нужно красок, чтобы раскрасить любую карту так, что соседние страны получаются разных цветов. Построенное доказательство потребовало 1200 часов работы суперкомпьютера в университете Иллинойса. Математическое общество было в замешательстве, ведь такое «доказательство» никто не мог изучить или проверить. Или хотя бы понять. До сих пор не существует доказательства теоремы о четырех красках, которое может быть изучено и проверено человеком.
010