Вы правы в том, что журналисты многое истолковали по-своему.
Исследователи из Берлина и Вены просто взяли как удобный пример доказательство Геделя, чтобы 1) проверить современные системы автоматизированных доказательств и 2) проверить действительно ли из аксиом Геделя следует его вывод (Гедель все-таки был великим логиком и математиком, и его работа заслуживает внимания).
Раньше проверить, что из аксиом Геделя следует именно это заключение было невозможно, потому что для этого доказательства требуются системы интерпретирующие сложный логический язык, которые были только недавно созданы.
Посмотрите файл, где исследователи кратко излагают свою работу (http://arxiv.org/pdf/1308.4526v1.pdf).
Речь идет не о теоремах полноты\неполноты Геделя. А, как и указал комментатор выше, об онтологическом доказательстве Геделя (http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof).
no subject
Исследователи из Берлина и Вены просто взяли как удобный пример доказательство Геделя, чтобы
1) проверить современные системы автоматизированных доказательств и
2) проверить действительно ли из аксиом Геделя следует его вывод (Гедель все-таки был великим логиком и математиком, и его работа заслуживает внимания).
Раньше проверить, что из аксиом Геделя следует именно это заключение было невозможно, потому что для этого доказательства требуются системы интерпретирующие сложный логический язык, которые были только недавно созданы.
Посмотрите файл, где исследователи кратко излагают свою работу (http://arxiv.org/pdf/1308.4526v1.pdf).
Речь идет не о теоремах полноты\неполноты Геделя. А, как и указал комментатор выше, об онтологическом доказательстве Геделя (http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof).