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

I suspect because mathematics has a longer history and although the specific notation has evolved for things, going against the grain in a single paper is going to be hard.

Using computers more and more to prove things might change this though?



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

Search: