[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: О_вопросах



> Привет, Alexander!
>
> Это ответ на письмо от Wednesday, April 17, 2002, 6:16:53 PM.
>
> >> Не все вопросы могут иметь конкретные, формализованные ответы.
> AB> ВСЕ вопросы имеют конкретные ответы.
>
> О теоремах, для которых недоказуемо ни наличие, ни отсутствие решения
> ты не слышал? ;))))))))

Полностью так: в любой формальной системе есть утверждение, которое нельзя
ни доказать, ни опровергнуть.
Да, слышал. В любой формальной системе - да. В любой фиксированной
формальной системе. А вообще - сколько угодно.

>
> >> Даже при самой строгой постановке вопроса.
> AB> При ЛЮБОЙ постановке вопроса.
>
> Даже при отсутствии в постановке привязки к конкретной теории?
> ;)))))))))

Привязка к теории всегда осуществляется тобой. Иногда просто это происходит
автоматически. Типа, построй 4 треугольника из 6 спичек.
Если ты хочешь, чтобы все вопросы сопровождались необходимой аксиоматикой,
хе-хе...

>
> >> Это доказано научно.
> AB> Доказывающий - докажет. (с) Орр.
>
> А это к чему?

Вот как раз к этому. Что хочешь доказать: рраз! - и доказал. Повернул
восприятие. Так что "доказано" - это не аргумент. Сгодится только как
пример.

>
> >>Есть такая область математики - теория формальных
> >> систем.
> AB> Ну, я математик.
>
> Хмммм... В какой области ты математик?
> Математик - это слишком общо.

СПбГУ, мат-мех, IV курс, кафедра информатики.

б.в.


Home | Date Index | Thread Index | Author Index

Klein-by Mailing List Archive
April 2002