Оригинал взят у awas1952 в Математика божественного
В порядке компенсации моего неформализованного, но в сущности математического, доказательства несуществования бога мне указали на перевод swpanurg (в четырёх частях: 1, 2, 3, 4) предложенного Куртом Фридрихом Рудольфовичем Гёделем формально математического доказательства существования бога. Лично мне ( Read more... )