В ответ на: Является ли Бог кроме того, что он всеблагий и всемогущий, ещё и всезнающим?

Нет. Доказательство для тех, кто знаком с современными понятиями математической логики и теории вычислимости.

Как известно, сложность любой проблемы можно записать в виде формулы, в которой имеется вычислимая бескванторная часть, перед которой идут кванторы "для любого" и "существует", сложность проблемы равна числу перемен кванторов. Рассматривая кванторы по разным видам переменных, получаем формулы разного класса - "формулы первого порядка", "формулы второго порядка" и т.д. Существуют стандартные методы продолжения этих классификаций на бесконечные области. Любые две проблемы можно сравнить между собой по сложности, при этом внутри одного класса проблемы упорядочиваются по числу перемен кванторов, любая проблема из более высокого класса считается сложнее любой проблемы из любого более низкого класса.

В этой терминологии вопрос о существовании всезнающего бога переформулируется в вопрос о том, существует ли в упорядочении по сложностям максимальный элемент (ибо чтобы "знать" какую-то проблему - нужно иметь сложность не меньшую, чем сложность этой проблемы, чтобы быть "всезнающим" - нужно иметь сложность, превосходящую сложность ЛЮБОЙ проблемы, максимальную сложность, больше которой уже ничего быть не может). Однако существует стандартный алгоритм, позволяющий по проблеме любой сложности получить еще более сложную проблему. Противоречие. Таким образом максимально сложной проблемы не существует. Значит, существование всезнающего бога невозможно.