Hacker News new | ask | show | jobs
by User23 1024 days ago
No, I don’t. Also that’s how we prove literally anything. There is always a model, because we don’t have direct access to reality. So if your bar is that high you’re going to have to call climate change and relativity a bit of an overreach too.
1 comments

Gödel's proof is an example of deductive reasoning. It falls apart if you don't accept its axioms.

The case for climate change, or for relativity, is made inductively, by empirical observation.

The two cases are not remotely comparable.

Funny you should say that on account of it’s well known that deduction is never wrong and induction sometimes is.
A proper deductive argument that contains no errors will be valid, but it won't necessarily be sound if the premises are incorrect. In that sense deduction can most certainly be "wrong".