This media is not supported in your browser
VIEW IN TELEGRAM
На случай если вы интересовались, куда можно добраться на машине Тьюринга
🤣20😁3💋2⚡1🤮1🙏1🗿1
Кто автор!?
Anonymous Quiz
8%
Оккам
5%
Белнап
11%
Лейбниц
19%
Автор канала
7%
Аль-Фараби
4%
Арно и Николь
4%
Кант
8%
Куайн
18%
Мальбранш
16%
Фреге
🤯3
Душный синтаксис
Мальбранш* )
Да какой ещё Мальбранш, ну вы чего
(Вдруг это Белнап - классик релевантной логики)
(Вдруг это Белнап - классик релевантной логики)
👍4🤣2
Кто сказал?
Anonymous Quiz
12%
Кантор
8%
Арнольд
11%
Савватеев
11%
Гильберт
19%
Рассел
4%
Брауэр
11%
Куайн
5%
Дидро
15%
Клини
5%
Мальбранш
❤1
Если наш мир - такой возможный мир, где вы бы хотели присоединиться к чтениям, то заходите
👌7
Forwarded from Матклуб
Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC