Линейная логика: монета не берётся из воздуха

Ефим Карпович · счетовод Монетного двора

Карточку C из Кассы я вынул и запер в сейф. Карточку W тоже. Кодекс писали для истин, а у меня деньги. Истину можно повторить хоть сто раз, и она не убудет. Монету нет. Монета не берётся из воздуха и не исчезает в воздух. Садитесь, перепишем правила Кассы так, чтобы это было в них, а не в моей голове.

В прошлом уроке ты нашёл, как Двойник провёл свою сделку: одна монета оплатила и чай, и булочку. Касса не ошиблась, она честно применила правило сокращения C, которое разрешает скопировать гипотезу. Для улик в суде это нормально: одну улику можно предъявить в двух местах. Для денег это катастрофа.

Счетовод убирает оба структурных правила, и сокращение, и ослабление. То, что остаётся, в 1987 году описал французский логик Жан-Ив Жирар и назвал линейной логикой. Сегодня ты перепишешь с Ефимом Карповичем всю Кассу и увидишь, что связки «и», «или» и «если» в ней распадаются на несколько разных, у каждой свой смысл в бухгалтерии.