трансцедентальный синтаксис жирара
Интересно, есть ли кто-то среди читателей, кто считает, что понимает "трансцедентальный синтаксис" Жана-Ива Жирара (Jean-Yves Girard)?
Я прочитал "введение" в англ. переводе https://x.com/noncanonicAleae/status/1874893997791170719, я прочитал-пролистал диссертацию, которая написана специально с целью объяснить это попроще (https://ruor.uottawa.ca/server/api/core/bitstreams/46688242-e5ff-4569-b2b1-a693e8003986/content), и я прочитал "gentle introduction" (https://arxiv.org/pdf/2012.04752) и я все равно не понимаю, зачем это нужно и есть ли там что-то реальное, или это что-то вроде бесцельно-заумного усложнения базовых идей логики в стиле француского постмодерна.
Неприятное ощущение: если я слишком тупой, чтобы это понять, хочется быть не настолько тупым, чтобы не понимать этого факта (что я слишком тупой, чтобы это понять), но пока не получается.
Я прочитал "введение" в англ. переводе https://x.com/noncanonicAleae/status/1874893997791170719, я прочитал-пролистал диссертацию, которая написана специально с целью объяснить это попроще (https://ruor.uottawa.ca/server/api/core/bitstreams/46688242-e5ff-4569-b2b1-a693e8003986/content), и я прочитал "gentle introduction" (https://arxiv.org/pdf/2012.04752) и я все равно не понимаю, зачем это нужно и есть ли там что-то реальное, или это что-то вроде бесцельно-заумного усложнения базовых идей логики в стиле француского постмодерна.
Неприятное ощущение: если я слишком тупой, чтобы это понять, хочется быть не настолько тупым, чтобы не понимать этого факта (что я слишком тупой, чтобы это понять), но пока не получается.