Post #742
481
Определённо в языках, что мы используем сегодня, не хватает ёмких инструментов для разграничения деталей и схватывания различий
- 💯 6
- ❤ 1
- 🤣 1
- 👀 1
ДУ Душный синтаксис @syntaxdush · 488 subscribers - Sep 24, 2026FOL это не просто логика предикатов первого порядка, а такая, которая классическая Так что…
- Sep 20, 2026Один мой друг заявляет, что доказал теорему о невозможности самообмана Рассуждение можно р…
- Sep 10, 2026Три из четырёх студентов, которые пришли сегодня ко мне на пару, занимаются аналитической…
- Aug 23, 2026Междисциплинарная конференция «Подземные реки: низовые интеллектуальные течения и философи…
- Aug 23, 2026Тест на нишевость. Подумайте над тем, чтобы заскочить
- Aug 14, 2026Вернемся к классике