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

No, this was really something trivial, in the sense that you could feel it's true. Like 2+2=4 but to prove it you need to create a set of functions, axiom and a theorem


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

Search: