3 ms·
It starts to sound like medieval science - "understanding" instead of proofs. And like a medieval army loosing a battle in the open field tries to retreat back
by trhway 7d ago
It starts to sound like medieval science - "understanding" instead of proofs. And like a medieval army loosing a battle in the open field tries to retreat back into the fortress, people, facing the prospects of machine doing intelligent tasks better than humans, start to retreat into areas like intuition which supposedly aren't reachable by the machine. Some go even further starting to talk about religion. It is very Hegelian that the crown jewel achievement of our civilization starts to drive people away from the foundational principles of that civilization.
- card_zero 7d agoBasing science on proof (or anyway believing that you can) is Logical Positivism, a mindset that opposes the method of falsifiability. But of course mathematics is all about proof, and for that reason I was wary of it for a very long time.
- trhway 7d ago>Basing science on proof (or anyway believing that you can) is Logical Positivism, a mindset that opposes the method of falsifiability not really. You can consider positive proof as an experiment confirming your theory and the negative proof and counter examples as an experiment falsifying your theory.
- card_zero 7d agoYes, really. "Positive proof" opposes the concept of falsification. You can only have it within a system formal logic, and science can contain those, but isn't one.
- trhway 7d ago>"Positive proof" opposes the concept of falsification. no. Positive proofs have nothing to do with falsification. They just tell you that there is no point in spending effort on searching for negative proofs and counter examples. They don't prevent nor prohibit you from spending that effort. They just advise you that that effort will be wasted. It is like nobody prevents from experiments to turn lead into gold. Of from searching for a right angled triangle violating Pythagoras.
- card_zero 6d ago... within a system formal logic.
- someguynamedq 7d agoFortunately this is not basing science on proof. It's just making it much easier to do proofs when that is what we choose to do
- QuesnayJr 7d agoUnderstanding has been the point of mathematics for millenia. The idea that purpose of math is to produce machine-checkable proofs is an entirely modern idea.