Re:An Illustrated Proof of the CAP Theorem
by federicoponzi on Saturday July 14, 2018 @12:55PM
(#17531088)
This is exactly what I've said. My initial "proof by example" was an answer for the op's statement:
> Proof by example or analogy is not a proof.
So as you also said "Of course you can prove something exists by an example".
To answer this: > Proove that you can't walk. Don't walk.
As I said, proof by example works only
> to prove that something exists or that a property is not valid for every element of a set.
Divide your lifetime in seconds. With that, you're trying to proove with the property "walk" isn't valid for every element of the set lifetime. To proove that the property can't walk dosen't hold for every element of the set, just show an example of second while you were walking and you're done.
Re:An Illustrated Proof of the CAP Theorem
by poopchute on Saturday July 14, 2018 @03:16PM
(#17531872)
The reverse proves something different. If you walk, you've proved that you CAN walk. Not walking is not a proof for lack of ability. It does however give a possible counter example to the assumption "If you can walk, you will walk"
Hmmmmmm.
Of course you can prove something exists by an example. And you can prove a property does not always hold with a counter example.
But if you want to prove that something doesn't exist, or a property always holds, then you shouldn't be looking for examples.