TGViewer
Душный синтаксис Душный синтаксис @syntaxdush · 502 subscribers
Post #62 192
Душный синтаксис Открываем русскоязычную книгу по матлогике и видим аналогичную картину. А я думал, что у математиков всё чотка, а это философы чего-то там спекулируют)
Но первая часть это хорошо, уже ближе к Карри и более адекватно, менее притязательно и узурпаторски
Open in Telegram All posts from @syntaxdush
More from @syntaxdush
  1. Oct 5, 2026Так, ну я понял. Короче тут собрались боязливые подстилки Панели, ни одного возражения. Яс…
  2. Oct 5, 2026Режиссер Дэвид Линч. Шутка. Дэвид Линч не участвовал в создании этого видео.
  3. Oct 5, 2026Так, ну что
  4. Sep 28, 2026Ну-ка, делитесь, что вам машина говорит на этот промт
  5. Sep 24, 2026FOL это не просто логика предикатов первого порядка, а такая, которая классическая Так что…
  6. Sep 20, 2026Один мой друг заявляет, что доказал теорему о невозможности самообмана Рассуждение можно р…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →