You already hit the important part with "as long as the premises are logical". Since the premises here are flawed, the proof falls apart. It isn't a flaw in formalized proofs. Getting flawless premises is the challenge…
It is fun to see these historical arguments formalized like this, but they should remember to mention how flawed these arguments have proven to be over time. P3 has the same flaw as Zeno's paradoxes, where there is a…
You already hit the important part with "as long as the premises are logical". Since the premises here are flawed, the proof falls apart. It isn't a flaw in formalized proofs. Getting flawless premises is the challenge…
It is fun to see these historical arguments formalized like this, but they should remember to mention how flawed these arguments have proven to be over time. P3 has the same flaw as Zeno's paradoxes, where there is a…