Поистине, для тех, кто уверовал, делал добрые дела, выстаивал молитву и давал очистительный расход, ждет награда Господа.
Не познают они страха и печали.
(2:277)
Остерегайтесь (наказания Судного) Дня, в который вы будете возвращены к Богу.
Затем каждой душе полностью воздастся за то, что она приобрела, и они (души) не будут обижены.
(2:281)
Господи наш! Не уклоняй наши сердца после того, как Ты вывел нас на прямой путь,
и дай нам от Тебя милость: ведь Ты, поистине, - Податель!
(3:8)
Два ученых доказали средствами информатики теорему Гёделя, сообщает Voz de Galicia. Исследование провели Кристоф Бенцмюллер, работающий в Берлине, и Бруно Вольценлогель из Вены.
"В конце 1970-х Гёдель предположил, что по определению не может существовать ничего более масштабного, чем высшее существо, и выдвинул тезис существования Бога, опираясь на логико-математическую аргументацию", - пишет издание. Гёдель был намерен доказать так называемый "онтологический аргумент" существования Бога.
"И вот теперь ученые, используя обычный компьютер MacBook, продемонстрировали, что аргументы Гёделя были математически верными", - говорится в статье. Сами ученые говорят, что скорее хотели показать, как высокие технологии помогают науке, чем включаться в споры о существовании Бога.
