![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Трехзначная логика на писишке
"С децтва" не любил базы данных... уже сейчас и не вспомню причину, по которой их невзлюбил. Тут по работе, однако, пришлось изучать SQL. Сидел, весь день читал толстенную книженцию, дочитал. Но речь не в том. SQL - довольно старинный язык и интересен тем, что в нем используется трехзначная логика.
Привет журналюгам, которые любят писать о том, что применение трехзначной логики приведет к революции в компьютерной технике. И де она ваша революция? ;))
Логика используется самая что ни на есть "стандартная", ее еще называют трехзначной логикой Лукасевича. Между TRUE и FALSE есть еще промежуточное значение: NULL. По смыслу это NULL соответствует приблизительно выражениям "не известно", "не определено", "не задано", "не указано". Если TRUE ассоциировать с единицей, FALSE с нулем, а NULL - с 1/2, то логические операции в этой логике выглядят так:
A and B = min(A, B)
A or B = max(A, B)
not A = 1 - A
Кстати, закон исключенного третьего в этой логике не выполняется. По нему должно быть:
A or ~A = TRUE
а на самом деле при A = NULL = 1/2 получаем:
A or ~A = NULL or ~NULL = 1/2 or (1 - 1/2) = 1/2 or 1/2 = max(1/2, 1/2) = 1/2 = NULL ≠ TRUE
Привет журналюгам, которые любят писать о том, что применение трехзначной логики приведет к революции в компьютерной технике. И де она ваша революция? ;))
Логика используется самая что ни на есть "стандартная", ее еще называют трехзначной логикой Лукасевича. Между TRUE и FALSE есть еще промежуточное значение: NULL. По смыслу это NULL соответствует приблизительно выражениям "не известно", "не определено", "не задано", "не указано". Если TRUE ассоциировать с единицей, FALSE с нулем, а NULL - с 1/2, то логические операции в этой логике выглядят так:
A and B = min(A, B)
A or B = max(A, B)
not A = 1 - A
Кстати, закон исключенного третьего в этой логике не выполняется. По нему должно быть:
A or ~A = TRUE
а на самом деле при A = NULL = 1/2 получаем:
A or ~A = NULL or ~NULL = 1/2 or (1 - 1/2) = 1/2 or 1/2 = max(1/2, 1/2) = 1/2 = NULL ≠ TRUE
Re: Огласите весь списочек!
Вы это сделали своими мозгами.
Может ли это сделать рекурсивная функуия?
Проще говоря - программа.
Это и есть мой камень предкновения и идея фикс в которой я давно пытаюсь разобраться.
Я ни на чем не настаиваю.
Но я очень сомневаюсь.
И согласитесь, это нормально.
"Если все думают одинаково, значит никто в общем то и не думает" (с)
:)
Мы вышли на тему, которая настолько обширна для меня, что остается только свернуть этот наш топик.
(Но это не значит что я не буду над этим думать)
Надеюсь увидеть ваши комментарии, когда я все же выложу свои аргументы на несделанном сайте Z-механика.
Мне будет очень интересно ваше мнение.
Re: Огласите весь списочек!
Если появятся интересные мысли, не забудьте меня позвать :)