Hacker News new | ask | show | jobs
by kqr 3076 days ago
> 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.

1 comments

That's a great way of putting it!