Коментарии по поводу теоремы гёделя

From: Тармо Пикаро ( tpikaro@turkuamk.fi ) Date: 1999-11-22 06:46

>[Мораль в том, что недоказуемые утверждения есть и будут всегда.
>Это значит, что есть не только ИСТИНА и ЛОЖЬ, но и НЕОПРЕДЕЛЕННОСТЬ.
>Двузначная логика неадекватна - А.Б.]

Именно это я и хотел сказать, только не знал как выразиться. :)
Мы привыкли пользоваться объектами, символами - и мыслить
необъектно мы просто не умеем, но тем не менее - как раз этого нам и
не хватает ! т.е. не именно неопределенности, а самого принципа/
логики использования неопределенности. Ведь сам объект или символ
образуется из неоределенности путем увеличивания критерий к
неопределенности. Однако я не согласен с автором этого текста,
утверждающего что к истине и лжи надо итдельно брать неопределенность
- истина и ложь происходят от неопределенности. И если брать 2
первоначальных бита информации - то надо брать не истину / ложь, а
определенность / неопределенность. А определенная определенность дает
нам истину, неопределенная определенность - ложь. :)

И ещё лучше говорит текст об этом:
>Фактически, кроме истины и лжи мы теперь должны пользоваться
>и понятием неопределенности, которая может разрешаться в истину или
>ложность позднее или не разрешиться вовсе. Некий сорт замороженного,
>приостановленного вычисления.

//Тармо.