Existence proofs carried out with the help of the principle of excluded middle usually are especially attractive because of their surprising brevity and elegance. Taking the principle of excluded middle from the mathematician would be the same...[as] proscribing the telescope to the astronomer or to the boxer the use of his fists.


In: Sahotra Sarkar, The Emergence of Logical Empiricism, The Foundations of Mathematics (p. 240)


Existence proofs carried out with the help of the principle of excluded middle usually are especially attractive because of their surprising brevity...

Existence proofs carried out with the help of the principle of excluded middle usually are especially attractive because of their surprising brevity...

Existence proofs carried out with the help of the principle of excluded middle usually are especially attractive because of their surprising brevity...

Existence proofs carried out with the help of the principle of excluded middle usually are especially attractive because of their surprising brevity...