К предыдущему

Jan 26, 2024 19:12

Я там комментарий оставил.

https://en.wikipedia.org/wiki/Moses_Sch%C3%B6nfinkel

"His system was essentially equivalent to a combinatory logic based upon the combinators B, C, I, K, S and a combinator for a universally quantified nand function which he called U. Schönfinkel stated that the system could be reduced to just K, S, and U (a colleague stated that U could be factored to the end of any expression and thus not always explicitly written) and outlined a proof that a version of this system had the same power as predicate logic."

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

Поэтому, разойдись идеи Шёнфинкеля пошире, в 1936 году мог бы появиться тезис Шёнфинкеля-Чёрча, и первые компьютеры были бы заметно другими. В частности, ошибок в программах было бы меньше. Не было бы NULL.

логика, математика, история, компьютеры

Previous post Next post
Up