Combinatory Logic (2020)

Combinators are elegantly expressed in array languages, especially J. Here&#x27;s a great recent paper with details : <a href="https:&#x2F;&#x2F;raw.githubusercontent.com&#x2F;codereport&#x2F;Content&#x2F;main&#x2F;Publications&#x2F;Combinatory_Logic_and_Combinators_in_Array_Languages.pdf" rel="nofollow">https:&#x2F;&#x2F;raw.githubusercontent.com&#x2F;codereport&#x2F;Content&#x2F;main&#x2F;Pu...</a>

For anyone looking for a more gentle introduction to logic and combinators, checkout Raymond Smullyan&#x27;s &quot;To Mock A Mockingbird&quot;.

Yeah whenever I read about stuff like this I always feel the attempt to create formally complete logical systems is inherently flawed.