Многообразие проявлений причинно-следственных связей в материальном мире обусловило существование нескольких моделей причинно-следственных отношений. Исторически сложилось так, что любая модель этих отношений может быть сведена к одному из двух основных типов моделей или их сочетанию.

Эволюция концепции доказательства

аксиомы дадут коллективное определение употребляемым в их формулировках неопределяемым понятиям;

системы объектов, удовлетворяющие одной и той же системе аксиом (интерпретации), изоморфны, так что теорема, доказанная в одной интерпретации, будет автоматически справедлива для другой.

"С помощью этого нового обоснования математики, которое справедливо можно именовать теорией доказательства, я преследую важную цель: именно, я хотел бы окончательно разделаться с вопросами обоснования математики как таковыми, превратив каждое математическое высказывание в поддающуюся конкретному показу и строго выводимую формулу и тем самым приведя образование понятий и выводы, которыми пользуется математика, к такому изложению, при котором они были бы неопровержимы и все же давали бы картину всей науки".

Давид Гильберт

Гильберт доказал, что евклидова геометрия непротиворечива, если непротиворечива система вещественных чисел. Осталось совсем немного: доказать непротиворечивость арифметики.

Теорема Геделя

Курт Гедель (1906 - 1978) в 1931 году в работе "О формально неразрешимых проблемах "Principia Mathematica" и родственных систем" доказал теорему о том, что любая непротиворечивая аксиоматическая система, включающая аксиомы арифметики натуральных чисел, обладает свойством неполноты: для нее можно указать конкретное утверждение А, для которого в этой системе нельзя доказать ни А, ни его отрицание. Это утверждение находится за пределами системы! И для неполноты любой математической теории достаточно включения в нее простейшего объекта математики - натурального числа.

Гедель доказал полноту исчисления предикатов первой ступени.

В другой теореме Гедель доказывает, что в качестве А можно взять утверждение о непротиворечивости арифметики. Непротиворечивость теории не может быть доказана средствами самой теории.

Теоремы инженера Геделя развеяли мечты математика Гильберта.

"Роль пресловутых "оснований" сравнима с той функцией, которую в физических теориях выполняют поясняющие что-либо гипотезы… Так называемые логические или теоретико-множественные основания теории чисел или любой другой вполне сформировавшейся математической теории по существу объясняют, а не обосновывают их, так же, как в физике, где истинное предназначение аксиом состоит в объяснении явлений, описываемых физическими теоремами, а не в обосновании этих теорем."

Эпистемологические следствия

Одна непротиворечивая теория не может полностью описать реальность; всегда остаются факты или аспекты, которые требуют обращения к другой теории, возможно, несовместимой с первой. Концепция "истинность совпадает с доказательностью" потерпела крах.

"Автоматизация" знания невозможна. Нельзя обойтись без человеческого разума и интуиции, обречена на неудачу. Логика неотделима от человека.

Непротиворечивость математики не может быть доказана.

Математика стала экспериментальной наукой.

Конструктивизм

Пауки, обитавшие в замке, затянули подвал паутиной. Когда однажды ветер

сорвал ее, они бросились ее восстанавливать: ведь замок держится на паутине!

В рамках метаматематики имеются различные течения. Одним из них является конструктивная математика, работающая с конструктивными объектами и конструктивными процессами и отвергающая в этих построениях закон исключенного третьего из-за его неконструктивности.

Конструктивный анализ существенно отличается от классического анализа, составляющего содержание курса высшей математики. Многие теоремы классического анализа не входят в конструктивный анализ. Особое внимание конструктивизм уделяет изучению алгоритмически неразрешимых проблем.

Нашествие теорий

Теорема Геделя предоставила возможность построения бесконечного дерева теорий за счет пополнения списков аксиом невыводимыми истинными утверждениями.

Перейти на страницу: 1 2 3 4 5 6

Немного больше о технологиях >>>

Классификация изобретений и НТП
"Экономична мудрость бытия, все новое в нем шьется из старья". В.Шекспир В шестом веке до нашей эры в древнегреческой колонии Сибарис — крупном по тем временам торговом центре, жители которого славились любовью к роскоши, — существовал обычай, по которому повар, пр ...

Привычный способ восприятия времени - причина войн на планете
Мы знаем, что прошлое и будущее существует только в нашем образном мышлении. Настоящее измерить нечем и поэтому невозможно. Стрелки часов двигаются в пространстве, а показывают время – не парадокс ли это? Наше тело – это часть пространства. Осознавание линейных размеров собстве ...

Галерея

Tехнологии прошлого

Раскрытие содержания и конкретизация понятий должны опираться на ту или иную конкретную модель взаимной связи понятий. Модель, объективно отражая определенную сторону связи, имеет границы применимости, за пределами которых ее использование ведет к ложным выводам, но в границах своей применимости она должна обладать не только образностью.

Tехнологии будущего

В связи с развитием теплотехники ученые в прошлом веке пришли к простому, но удивительному закону, потрясшему человечество. Это закон (иногда его называют принцип) возрастания энтропии (хаоса) во Вселенной. technologyside@gmail.com
+7 648 434-5512