![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
dakaranthttp://vic-gorbatov.livejournal.com/35418.html
Йа там тоже был, в чем можно удостовериться по фотографии.
Действительно, как сказал Кирилл Мартынов, "Бог - это отличный повод поговорить о проблемах современной логики".
Интересное движение. Известно же, что Бочаров в советское еще время написал книжку в соавторстве с кем-то там - "Божественные атрибуты", где доказывал, что доказательства бытия Бога - говно и ничего не доказывают. Студенты обычно ржали долго и счастливо, когда им об этом рассказывали - а им об этом обязательно рассказывают на первом курсе - типа зачем это нужно?
Я уже не помню, где я это прочитал (но я это прочитал, не придумал): научная интересность - это отношение достоверности тезиса к строгости доказательной базы. Т.е. самое интересное - когда рассуждение строгое, а вывод получается очень странный. Мне кажется, именно в этом смысле интересны средневековые доказательства - и именно это вызывает к ним обращение, а потом уже и возможности решения современных логических проблем обнаруживаются.
Йа там тоже был, в чем можно удостовериться по фотографии.
Действительно, как сказал Кирилл Мартынов, "Бог - это отличный повод поговорить о проблемах современной логики".
Интересное движение. Известно же, что Бочаров в советское еще время написал книжку в соавторстве с кем-то там - "Божественные атрибуты", где доказывал, что доказательства бытия Бога - говно и ничего не доказывают. Студенты обычно ржали долго и счастливо, когда им об этом рассказывали - а им об этом обязательно рассказывают на первом курсе - типа зачем это нужно?
Я уже не помню, где я это прочитал (но я это прочитал, не придумал): научная интересность - это отношение достоверности тезиса к строгости доказательной базы. Т.е. самое интересное - когда рассуждение строгое, а вывод получается очень странный. Мне кажется, именно в этом смысле интересны средневековые доказательства - и именно это вызывает к ним обращение, а потом уже и возможности решения современных логических проблем обнаруживаются.
