ЭХО СТРАНЫ
МЕСТНОЕ ВРЕМЯ
Опрос

Возможно ли в ближайшее время прямое вооруженное столкновение между Россией и США?

64% 64% [ 9 ]
36% 36% [ 5 ]
0% 0% [ 0 ]

Всего проголосовало : 14

Последние темы
Главная


ПОРТАЛ
RSS-каналы


Yahoo! 
MSN 
AOL 
Netvibes 
Bloglines 


Ключевые слова

убийство  

© 2011- 2018 РНП "ЭХО СТРАНЫ"
Мнение редакции не всегда совпадает с мнением авторов статей, опубликованных на сайте. Настоящий ресурс может содержать материалы 18+
Внимание!
Комментарии посетителей портала являются мнениями лиц, их написавших, и могут не совпадать с мнением редакции. Редакция оставляет за собой право удалять любые комментарии с сайта или редактировать их в любой момент. Запрещено публиковать комментарии, содержащие оскорбления личного, религиозного, национального, политического характера или нарушающие иные требования законодательства РФ. Нажатие кнопки «Отправить» означает, что вы принимаете эти условия и обязуетесь их выполнять. Если вы считаете, что публикация того или иного материала на нашем сайте нарушает законные права правообладателя, свяжитесь с нами.

Logran probar el Teorema de Gödel, que sostiene que existe un ser superior

Перейти вниз

Logran probar el Teorema de Gödel, que sostiene que existe un ser superior

Сообщение автор Б&П в Чт 31 Окт 2013, 12:50 pm

Logran probar el Teorema de Gödel, que sostiene que existe un ser superior
(Voz de Galicia, España)
Dos científicos alemanes han demostrado, con un MacBook, que la argumentación de Gödel era matemáticamente correcta

Los científicos Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, han probado informáticamente el teorema de Gödel, desarrollado a finales del siglo pasado por el matemático austríaco Kurt Gödel y que concluye que en base a los principios de la lógica debe existir un ser superior.


A finales de los años 70 Gödel argumentó que, por definición, «no puede existir nada más grande de un ser supremo», y propuso mediante argumentaciones lógico-matemático la existencia de Dios. Su intención era demostrar que el llamado argumento ontológico -de un modo puramente lógico- de la existencia de Dios es válido.

Ahora, los científicos han demostrado, con un MacBook ordinario, que su argumentación era matemáticamente correcta. En este sentido, los investigadores han subrayado que este trabajo, publicado en Arxiv.org, «tiene más que ver con la demostración de que una tecnología superior puede ayudar a la ciencia, que con la teoría de que Dios exista o no».

Así, han apuntado que lo importante es que «lo que han logrado a través de los ordenadores supone un éxito del genial razonamiento» de Gödel. Benzmüller ha señalado que la prueba ontológica era, más que cualquier otra cosa, un buen ejemplo de algo inaccesible en las matemáticas o de la inteligencia artificial, que se ha resuelto con la tecnología actual.

En su opinión, el hecho de que la formalización de estos teoremas complicados se puedan realizar con ordenadores no profesionales abre todo tipo de posibilidades. El científico ha señalado que «es totalmente increíble que el Teorema de Gödel se pueda probar de forma automática en pocos segundos o incluso menos en un portátil estándar».

Original: http://www.lavozdegalicia.es/
avatar
Б&П
АДМИНИСТРАТОР

Сообщения : 2030
Дата регистрации : 2011-03-06

Посмотреть профиль http://echocountry.profiforum.ru/forum

Вернуться к началу Перейти вниз

Re: Logran probar el Teorema de Gödel, que sostiene que existe un ser superior

Сообщение автор Б&П в Чт 31 Окт 2013, 12:52 pm

Ученые смогли доказать теорему Гёделя, из которой следует, что некое высшее существо действительно есть

Два ученых доказали средствами информатики теорему Гёделя, сообщает Voz de Galicia. Исследование провели Кристоф Бенцмюллер, работающий в Берлине, и Бруно Вольценлогель из Вены.

"В конце 1970-х Гёдель предположил, что по определению не может существовать ничего более масштабного, чем высшее существо, и выдвинул тезис существования Бога, опираясь на логико-математическую аргументацию", - пишет издание. Гёдель был намерен доказать так называемый "онтологический аргумент" существования Бога.

"И вот теперь ученые, используя обычный компьютер MacBook, продемонстрировали, что аргументы Гёделя были математически верными", - говорится в статье. Сами ученые говорят, что скорее хотели показать, как высокие технологии помогают науке, чем включаться в споры о существовании Бога.

Перевод: http://www.inopressa.ru/

avatar
Б&П
АДМИНИСТРАТОР

Сообщения : 2030
Дата регистрации : 2011-03-06

Посмотреть профиль http://echocountry.profiforum.ru/forum

Вернуться к началу Перейти вниз

Вернуться к началу


 
Права доступа к этому форуму:
Вы не можете отвечать на сообщения