Professional Documents
Culture Documents
lambda-calculus as we know it is actually born in 1935. As a matter of fact, Currys so-called Functionality Theory the first source for Curry-Howard emerged around 19341935, too. Whence Tarskis original way of proving his Claim (1925) without lambda-calculus and / or combinators thus looks, in retrospect, a bit intriguing. On this, see also my note Tarskis claim, thirty years later, Preprint, Nijmegen, October 1, 2010 (online @ equivalences.org, under ditions / mathesis). On closely related topics, this kind of (counter-factual) remarks might apply, mutatis mutandis, to other renown Gttinger, as well. As, for instance, to Paul Hertz and Gerhard Gentzen (I managed to cross-reference, once, their publications in detail: neither Hertz nor Gentzen ever referred to Freges Grundgesetze and both of them were quite meticulous on bibliographical matters, academic credits and so on), since the latter two could have found their Satzsystemen (19211929), resp. structural rules (19341935) even the famous Schnitt in Frege (1893), too, while still in high-school (Hertz was born in 1881 and Gentzen in 1909). On this account, Gentzen could have even profited of Freges ruminations on Regellogik , as a Wunderkind, at Kindergarten! Definitely, our (logical) grandfathers didnt spend too much time on reading each other Nijmegen, November 27, 2012