From: Тармо Пикаро ( tpikaro@turkuamk.fi ) Date: 06:46:54 22/11/99
>[Мораль в том, что недоказуемые утверждения есть и будут всегда.
>Это значит, что есть не только ИСТИНА и ЛОЖЬ, но и НЕОПРЕДЕЛЕННОСТЬ.
>Двузначная логика неадекватна - А.Б.]
Именно это я и хотел сказать , только не знал как выразиться. :)
Мы привыкли пользоваться объектами , символами - и мыслить
необъектно мы просто не умеем , но тем не менее - как раз этого нам и
не хватает ! т.е. не именно неопределенности , а самого принципа/
логики использования неопределенности. Ведь сам объект или символ
образуется из неоределенности путем увеличивания критерий к
неопределенности. Однако я не согласен с автором этого текста ,
утверждающего что к истине и лжи надо итдельно брать неопределенность
- истина и ложь происходят от неопределенности. И если брать 2
первоначальных бита информации - то надо брать не истину / ложь , а
определенность / неопределенность. А определенная определенность дает
нам истину , неопределенная определенность - ложь. :)
И ещё лучше говорит текст об этом:
>Фактически, кроме истины и лжи мы теперь должны пользоваться
>и понятием неопределенности, которая может разрешаться в истину или
>ложность позднее или не разрешиться вовсе. Некий сорт замороженного,
>приостановленного вычисления.
//Тармо.