![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
donmigel_62) wrote2013-10-30 11:19 pm
Очередной случай, так называемого, вранья.
Заметку вот такого содержания обнаружил сегодня на просторах сети.
Ученые смогли доказать теорему Гёделя, из которой следует, что некое высшее существо действительно есть
Два ученых доказали средствами информатики теорему Гёделя, сообщает Voz de Galicia. Исследование провели Кристоф Бенцмюллер, работающий в Берлине, и Бруно Вольценлогель из Вены.
"В конце 1970-х Гёдель предположил, что по определению не может существовать ничего более масштабного, чем высшее существо, и выдвинул тезис существования Бога, опираясь на логико-математическую аргументацию", - пишет издание. Гёдель был намерен доказать так называемый "онтологический аргумент" существования Бога.
"И вот теперь ученые, используя обычный компьютер MacBook, продемонстрировали, что аргументы Гёделя были математически верными", - говорится в статье. Сами ученые говорят, что скорее хотели показать, как высокие технологии помогают науке, чем включаться в споры о существовании Бога.
Фантазии о журнализдов, написавших подобное, стремятся к абсолютному нулю, как вероятно, и уровень знаний. Они, вероятно не знакомы с работами о методах пропаганды, и данный случай может быть представлен, как хрестоматийны пример одного из методов оной.
Итак, что же говорит о подобных случаях "Энциклопедия методов пропаганды" В.Сороченкова .
Так вот же - пункт первый :
Анонимный авторитет
Излюбленный прием введения в заблуждение, активно используемый всеми СМИ. Он относится к т.н. «серой» пропаганде. Давно доказано, что одним из самых эффективных методов влияния является обращение к авторитету. Авторитет, к которому обращаются, может быть религиозным, это может быть весомая политическая фигура, деятель науки или другой профессии. Имя авторитета не сообщается. При этом может осуществляться цитирование документов, оценок экспертов, свидетельских отчетов и других материалов, которые необходимы для большей убедительности. Примеры: «Ученые на основании многолетних исследований установили...», «Доктора рекомендуют...», «Источник из ближайшего президентского окружения, который пожелал остаться неизвестным, сообщает...». Какие ученые? Какие доктора? Какой источник? Сообщаемая таким образом информация в большинстве случаев является ложью. Ссылки на несуществующий авторитет придают ей солидность и вес в глазах обывателей. При этом источник не идентифицирован и никакой ответственности за ложное сообщение журналисты не несут. Так что, если пассаж в популярных СМИ начинается словами «источники информируют» или «ученые рекомендуют», будьте уверены - это не информация, а пропаганда или скрытая реклама; причем авторы послания очень далеки от учености и так же далеки от уверенности в своей правоте.
В яблочко! Тем более что обнаружить в Гугле и Вики упоминания о работах и местах работы данных "виртуальных" учёных мне не удалось. Да и у Гёделя, таки две теоремы - о неполноте́, о полноте — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики. Обе доказаны в период с 1929 по 1931 г.г. Сам великий математик 1906 года рождения. Умер в возрасте 71 года.
Сеанс разоблачения закончен. Занавес.
З.Ы. Может речь о какой-то другой теореме Гёделя? Поправьте, кто знает. )
Upd. Поправили. Нашлись учёные и их работа - http://arxiv.org/pdf/1308.4526v1.pdf. Только вот правдивее журназиздские интерпретации данной работы, от этого правдивее не стали. Бога там столько же, сколько в бозоне Хиггса, которого интерпретировали, как "частицу бога". Речь идет не о теоремах полноты\неполноты Геделя. А, об онтологическом доказательстве Геделя (http://en.wikipedia.org/wiki/G%C3%B6de
no subject
http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html
То бишь, формализовали как-то там "доказательство" Геделя. (http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof)
То бишь кричащий заголовок ни о чем.
no subject
)
no subject
Исследователи из Берлина и Вены просто взяли как удобный пример доказательство Геделя, чтобы
1) проверить современные системы автоматизированных доказательств и
2) проверить действительно ли из аксиом Геделя следует его вывод (Гедель все-таки был великим логиком и математиком, и его работа заслуживает внимания).
Раньше проверить, что из аксиом Геделя следует именно это заключение было невозможно, потому что для этого доказательства требуются системы интерпретирующие сложный логический язык, которые были только недавно созданы.
Посмотрите файл, где исследователи кратко излагают свою работу (http://arxiv.org/pdf/1308.4526v1.pdf).
Речь идет не о теоремах полноты\неполноты Геделя. А, как и указал комментатор выше, об онтологическом доказательстве Геделя (http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof).
no subject
Теперь я уверен, что это ещё и реклама Яблочной продукции. )
Сейчас сделаю апдейт.
no subject