(желательно отвечать своими словами, с ответами средневековых схоластов знаком)
|
Анонимный пользователь
Ответ на сообщение Логико-религиозная задача пользователя Spirit
Ответ на сообщение Re: Логико-религиозная задача пользователя Господин Уэф!
Анонимный пользователь
Ответ на сообщение Логико-религиозная задача пользователя Spirit
Нет. Доказательство для тех, кто знаком с современными понятиями математической логики и теории вычислимости. Является ли Бог кроме того, что он всеблагий и всемогущий, ещё и всезнающим?
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Стас из Академа
Анонимный пользователь
Ответ на сообщение Логико-религиозная задача пользователя Spirit
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Стас из Академа
Ответ на сообщение Логико-религиозная задача пользователя Spirit
Скоро 15 year on board. Да - я чуточку странный.
Ответ на сообщение Логико-религиозная задача пользователя Spirit
Ответ на сообщение Логико-религиозная задача пользователя Spirit
Ответ на сообщение Логико-религиозная задача пользователя Spirit
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Korrektor
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Korrektor
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Korrektor
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Korrektor
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Korrektor
Это не "моя" логика. Это - стандартные логические построения, известные, наверное, еще древним грекам, просто сейчас они записываются в математических терминах. Вы всего лишь доказали, что в рамках Вашей логики существование Бога, знающего о всякой вещи, не возможно, но Вы не доказали, что эта логика имеет отношение к жизни или к Богу.
Прочитайте известную книгу Х.Роджерса "Теория рекурсивных функций и эффективная вычислимость", главы посвященные алгоритму Ершова-Тарского и арифметической иерархии. И хотел бы я посмотреть как будет выглядеть это доказательство.
Если вы на теорему Гёделя о неполноте намекаете, то это выстрел в "молоко", она тут никаким боком не играет. Причём я не отрицаю полезность матлогики, но её полезность ограничена, не подскажите из чего это следует?
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Mihansk
Не отрицаю. Я обосновываю лишь невозможность "всезнания". Это доказывает лишь то, что Бог - не дед на облаке. И не мешает определению Бога, как суммарной информации.
Анонимный пользователь
Ответ на сообщение Re: Логико-религиозная задача пользователя Стас из Академа
Пардон, опечатался. Не "Ершова-Тарского", а "Тарского-Куратовского". Прочитайте известную книгу Х.Роджерса "Теория рекурсивных функций и эффективная вычислимость", главы посвященные алгоритму Ершова-Тарского и арифметической иерархии.
Ответ на сообщение Re: Логико-религиозная задача пользователя Стас из Академа
Ответ на сообщение Re: Логико-религиозная задача пользователя Анонимный пользователь
Все что меня не убивает дает мне рагу
Ответ на сообщение Re: Логико-религиозная задача пользователя Стас из Академа