(Untitled)

[66george]

Трамп ушастый, фиг его застрелишь.
На меня сошло некоторое вдохновение, формализовал свои доказательства в Coq. Один висяк закрыт.

Comments

[chaource]

Доказательства чего именно?

[66george]

Сейчас (скоро) оформлю лучше и выложу. Доказал, что обычная подстановка соответствует де Брёйновской. Статью никто не понимает.

[chaource]

Можетъ, доказательство будетъ лучше въ книгу написать, а не въ статью? У васъ вѣдь уже начата книга на эту тему.

Если не жалко, пришлите статью (можно личнымъ сообщенiемъ).

Этотъ вопросъ, насколько я понимаю, считается въ академической наукѣ рѣшеннымъ. Статью на эту тему никто не хочетъ читать и вникать въ эти техническiя дебри.

[66george]

Кстати, вот и доказательство
https://dxdy.ru/topic158206-15.html