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

> It's a difference between obtaining an answer for a specific instance of a situation, and shedding light on some fundamental/universal property of the world.

They're also completely different questions in the sense of what you mean when you say "this result is correct."

The ball velocity is really a simplified model that gives you a correspondence truth (you verify by running the experiment and taking a measurement.) The exidtence proof gives you a coherence truth, i.e. there are no unknown factors and ur statement is absolutely true.

Just giving terminology to your intuition: coherence truth vs correspondence truth.



That's a great way of putting it!




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

Search: