HN2new | past | comments | ask | show | jobs | submitlogin

"obvious" is not a property of a statement itself, it indicates a relationship between a piece of knowledge and a larger knowledge base, where one thing immediately follows from other things that are already known.

I don't think "obvious" in the conventional sense is a real category, because no two people would agree the same things are obvious.



Ah, just like the good old "it is trivial to see that a -> b" from advanced mathematics.




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

Search: