Here is an application of the technique to proving Conway's cosmological theorem... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ogogmad on July 11, 2020 | parent | context | favorite | on: Seemingly impossible functional programs (2007)

Here is an application of the technique to proving Conway's cosmological theorem: https://www.cs.cmu.edu/~kw/pubs/conway.pdf

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact