tag:blogger.com,1999:blog-6797017.post113653674549648897..comments2023-04-11T17:15:31.447+02:00Comments on (Y f) = (f (Y f)): Structure and Interpretation of Computer ProgramsMarcohttp://www.blogger.com/profile/12508346756612382117noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-6797017.post-1136804368744698612006-01-09T11:59:00.000+01:002006-01-09T11:59:00.000+01:00Ja, ich glaube, es ist der Church. Der Erfinder de...Ja, ich glaube, es ist <I>der</I> Church. Der Erfinder des ?-Kalküls. :)<BR/><BR/>Und dem MIT vertraue ich. Das scheinen kompetente Leute zu sein. Wenngleich ich bisher wenig Model Checking spezifische Informationen aus dieser Gegend bekommen habe. Aber das liegt bestimmt an meinem Unvermögen. Es kann nicht anders sein. ;)<BR/><BR/>AOL finde ich dagegen doof. Lang leben <B>AMMADB</B> (Abkürzungen mit mehr als drei Buchstaben). ;)Marcohttps://www.blogger.com/profile/12508346756612382117noreply@blogger.comtag:blogger.com,1999:blog-6797017.post-1136723526427180452006-01-08T13:32:00.000+01:002006-01-08T13:32:00.000+01:00Ist das der Church? Der mit der Churchschen These?...Ist das <I>der</I> Church? Der mit der Churchschen These? Dieser Turing-Fanatiker?<BR/><BR/>Pass man lieber auf, auf was du dich da einlässt. MIT klingt auch ziemlich stark nach AOL oder einer anderen Sekte.Anonymousnoreply@blogger.com