Чувствую себя каким-то ебанутым. Не, так-то он ничо; но разницу между модальной логикой и интуиционизмом я так и не ощущаю. Все время кажется, что модальная - это просто пересказ интуиционизма для тех, кто математики не знает. Ну вот как была "нечеткая логика", пока Алискерзаде не помер. Так-то это ж частный случай.
Ну не знаю, не знаю. Сдается мне, что дурят нашего брата. Но надо еще раз кое-какие слайды посмотреть.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
no subject
Date: 2020-05-13 12:51 am (UTC)Ну не знаю, не знаю. Сдается мне, что дурят нашего брата. Но надо еще раз кое-какие слайды посмотреть.