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

I think the fact is that although predicate logic is a foundation of mathematics, it is not what mathematicians spend the majority of their time thinking deeply about. You might use English every day of your life, but still struggle to explain what a transitive verb is, or a gerund.



It would be interesting to run this experiment on CS or EE students. I hope they would do a little better…


All people would do better if they are warned first it's a tricky question.

Also, training in this kind of problems will help.




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

Search: