Viewing profile — chaostaco

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. Gett…

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 a…