Re: Атеизм
AW>> Я ... знаю, что бога нет. И доказал это достаточно строгим образом.

MS> Вы же программист. Неужели Вы не делали ошибок в программах? А, ведь, там строгость построений повыше будет, но ошибки все равно проскакивают.

Я писал программы для управления технологическими процессами, где любая ошибка может обернуться материальными потерями или даже авариями. Поэтому всё сделанное при моём участии отлажено и выверено до полной и неоспоримой надёжности.

MS> Вы уверены, что в Вашем доказательстве не содержится ошибок?

Конечно, в журнальной статье опубликована лишь краткая схема. Но последующее обсуждение показало: опираясь на эту схему, можно достичь любой необходимой степени математической строгости.