[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: О_вопросах
Привет, Alexander!
Это ответ на письмо от Wednesday, April 17, 2002, 6:16:53 PM.
>> Не все вопросы могут иметь конкретные, формализованные ответы.
AB> ВСЕ вопросы имеют конкретные ответы.
О теоремах, для которых недоказуемо ни наличие, ни отсутствие решения
ты не слышал? ;))))))))
>> Даже при самой строгой постановке вопроса.
AB> При ЛЮБОЙ постановке вопроса.
Даже при отсутствии в постановке привязки к конкретной теории?
;)))))))))
>> Это доказано научно.
AB> Доказывающий - докажет. (с) Орр.
А это к чему?
>>Есть такая область математики - теория формальных
>> систем.
AB> Ну, я математик.
Хмммм... В какой области ты математик?
Математик - это слишком общо.
AB> ЛЮБОЙ вопрос имеет вполне конкретный ответ.
AB> Проблема отсутствия ответа - проблема КОНКРЕТНОЙ теории.
AB> Например, твоей.
Здесь задаются вопросы, лежащие вне какой-либо формальной теории.
И что ты с ними предлагаешь делать?
Послать подальше, пока мир не формализуют? ;))))))))))
Не полагайся слишком на формальную логику, особенно не зная насколько
это фиговая опора. ;)))))))))))
И все же загляни в теорию формальных систем, рекомендую!
Раз уж математик. :))))))))))))
--
Всего интересного!
dim mailto:dimsmol@yandex.ru
Home |
Date Index |
Thread Index |
Author Index
Klein-by Mailing List Archive
April 2002