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

Cool! Yes, we are getting there.

Being a theory builder more than a problem solver I am excited for the future.

Also excited for fully formalised mathematics to hit main stream!

 help



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

Search: