если оставить в стороне тривиальные формализуемые дедукционные логические выводы, то зачастую нельзя говорить о некоем "абсолютном понимании", а лишь о некоторой иллюзии оного, о пребывании на каком-то его уровне. И пока этот уровень достаточен для решения требуемых задач и не приводит к противоречиям, можно им довольствоваться и испытывать удовлетворение по этому поводу. До тех пор, пока не привезут какой-нибудь софизм, который потребует перехода на следующий уровень, и т.д. Любопытствующие могут посмотреть видео "Площадь сферы" на моем ютуб канале - большинство говорит, что понимает суть противоречия, но я со своей стороны не верю в их понимание, за редким исключением 😊

"Дедуктивные выводы". 🧐

"30-летний и в очках" ?

Можно ссылку?

Как Вы догадались?! 😂

Путем тривиального дедукционного логического вывода 😁

Неа, абдуктивного вывода. 😊

Fun fact: при помощи дедукции (по построению) нельзя получить никакого нового знания — можно лишь вычленить факты, которые и так содержались (в некотором смысле, по модулю аксиом) в исходном высказывании.

все программы уже содержатся в машине Тьюринга, мы их только извлекаем?

и в ЛИ

А Вы про универсальную машину Тьюринга спрашиваете, или про конкретную? 😉

Хуже того - все посты и мессаджи уже заранее известны, и мы только копипастим известное в чат. Ничего нового, как выше неоднократно говорил Экклезиаст.

про саму теорию/модель

На самом деле тут ещё "тупее": поскольку (по Карри-Говарду) бета-редукция соответствует cut-elimination, вычисление каждой конкретной программы является просто переписыванием (упрощением) одного и того же доказательства. Т.е. не то, что новых фактов не прибавляется, так и высказывание остаётся тем же самым! 😃

Очевидно, что МТ никаких данных/фактов/информации "из воздуха" взять не может — она просто переписывает то, что Вы ей изначально записали на ленту. 🤷‍♀️

Собственно, я пересказал суть теорем о type preservation. 😂

я ж говорил ничего нового )

я имел в виду, что теории Чёрча и Тьюринга уже описали все возможные программы, нам остаётся только доставать их из мешка

Это просто платонизм. Придерживаетесь Вы такой метафизики или иной фактической механики МТ/ЛИ/дедукции не меняет. 🤷‍♀️