Турникет (символ)
- Символ ⊢ (turnstile) используется в математической логике и информатике из-за сходства с турникетом.
- Турникет представляет собой бинарное отношение и имеет различные интерпретации в разных контекстах.
- В металогике и теории доказательств, турникет обозначает синтаксическую последовательность или “выводимость”.
- В последовательном исчислении, турникет используется для обозначения последовательности.
- В типизированном лямбда-исчислении, турникет отделяет допущения при вводе текста от суждений.
- В теории категорий, обратный турникет используется для обозначения сопряжения функторов.
- В APL, символ турникета называется “right tack” и представляет двойственную функцию идентификации.
- В комбинаторике, λ⊢n означает разбиение целого числа n.
- В калькуляторах HP-41C/CV/CX и HP-42S, символ турникета используется для обозначения добавления символов к алфавитному регистру.
- В других калькуляторах Casio, символ турникета обозначает оператор вычисления по модулю.
- В теории моделей, φ⊢ψ означает, что φ влечет за собой ψ, и каждая модель φ является моделью ψ.
Полный текст статьи: