4 месяца назад
Чек-лист по отцам основателям троичной логики
1. Аристотель (384 – 322 до н. э.) Вклад: Основоположник формальной логики, сформулировал закон исключённого третьего и закон противоречия. Дополнение: Его жёсткая дихотомия стала тем «камнем преткновения», от которого отталкивались все создатели многозначных логик. Именно Аристотель задал бинарную норму, которую позже стали дополнять или преодолевать, вводя третье состояние — Ноль как точку равновесия между «истиной» и «ложью». В его системе Ноль не допускается, но он незримо присутствует как граница. 2. Леонардо Фибоначчи (ок. 1170 – 1250) Вклад: В книге «Liber Abaci» (1202) предложил задачу о гирях: набором 1, 3, 9, 27 фунтов можно взвесить любой груз до 40 фунтов, кладя гири на обе чаши...