Эволюция концепции доказательства
Теорема Левенгейма - Сколема обнаружила, что для порождения неэквивалентных теорий не требуется расширения списка аксиом: существуют неизоморфные интерпретации одной и той же системы аксиом, в том числе аксиом арифметики.
Если в XIX веке мы столкнулись с несколькими геометриями, то в ХХ веке мы оказались уже перед несколькими математиками.
Доказательство сегодня
Теорема о возможности раскраски вершин плоского графа четырьмя красками доказана в 1977 году программой, исчислявшей доказательство в течение многих сотен часов. Позднейшие программы на новейших компьютерах "доказывают" быстрее.
Проблема понимания
Формализованный язык в отличие от обыденного языка выполняет не коммуникативную, а модельную функцию. Именно поэтому обречены на неуспех любые попытки "понять" текст на формализованном научном языке путем "перевода" на обыденный - конкретный - язык. Источником таких неудач является не "переводимый" текст, а невежество "переводчика".
Языковая модель становится частью мира человека и тем самым - объектом изучения, изучения с помощью нового языка, выступающего по отношению к изучаемому языку как метаязык. Так возникает лестница языков, иерархическая система формализованных языков.
Лейбниц всю жизнь разрабатывал универсальную характеристику - исчисление, которое позволило бы точно выразить любую ясную мысль и заменить спор об истинности утверждения вычислением функции истинности, свести логику к вычислению.
Резюме
В атмосфере культа силы и насилия древние греки изобрели Олимпийские игры, логику, риторику, философию. Греки оставили нам:
самую лицемерную форму политического насилия - демократию,
самые изощренные формы эмоционального насилия - поэзию, музыку и театр,
высшую форму интеллектуального насилия - математику.
Современное образование - во власти аксиоматической диктатуры Евклида и компьютерного шаманизма. Математика - самое эффективное оружие массового поражения интеллекта и дедуктивного террора. По иронии судьбы на древе познания именно на математической ветви созрело ядовитое геделево яблоко неполноты. Греки сделали свое дело, а мы не можем уйти.
Крушение человеческого стремления достичь всеобъемлющего совершенства в доказательстве - одно из многих крушений человеческих надежд. Достаточно напомнить о надеждах на справедливость, равноправие, на гармонию личности и общества, человека и природы.
Немного больше о технологиях >>>
Явления, обусловленные движением Земли относительно мирового эфира
Эйнштейн
предполагал, что все попытки обнаружить движение Земли относительно мирового
эфира оказались безуспешными. Безуспешными оказались попытки обнаружить
«эфирный ветер», возникающий при движении Земли относительно мирового эфира
вследствие полного увлечения эфира атмосферо ...
Привычный способ восприятия времени - причина войн на планете
Мы знаем, что
прошлое и будущее существует только в нашем образном мышлении. Настоящее
измерить нечем и поэтому невозможно. Стрелки часов двигаются в пространстве, а
показывают время – не парадокс ли это? Наше тело – это часть пространства.
Осознавание линейных размеров собстве ...
