Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sfvisser 89 days ago \| parent \| context \| favorite \| on: Löb and Möb: Loops in Haskell (2013) Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...

sevensor 89 days ago [–]

I’ve read the post carefully and I still don’t get how they proved Santa Claus without proving the proposition.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact