Случай в казино в Розвадове. Тур 1. Вопрос 4

Вопрос 4:

    Lean [лин] — язык для доказательств. Существует проект по формализации каждой теоремы в курсе одного колледжа с использованием Lean.
    Изобразите на ответном бланке логотип этого языка.

Ответ: L∃∀N

Зачёт: в достаточно узнаваемом написании с квантором существования вместо буквы Е и квантором всеобщности вместо буквы А

Комментарий: Слова «каждой» и «существует» должны были напомнить вам о кванторах, которые логично использовать в логотипе математического проекта.

Источник(и):
    1. https://leanprover-community.github.io/
    2. https://en.wikipedia.org/wiki/Lean_(proof_assistant)
    3. https://ru.wikipedia.org/wiki/Квантор

Автор: Александр Шелёмин

 !