WLC: "You can't prove the negative"

[polymath257]

Craig is an opportunistic moron; I saw the video years ago.  Mathematicians have this statement, "In general..."; and, in general, one cannot prove a negative.

Of course it is possible to prove a negative.

For example, there is no rational number whose square is 2. There is no injective function for the power set of a set into that set. There is no continuous injective function from the circle to the line.

To get away from math, there is no adult african elephant living in my kitchen. In this case, absence of evidence (is* evidence of absence.

Craig is right that it *can* be possible to prove a negative. But, in order to do so, the basic concepts need to be very precisely defined and the range of applicability needs to be strictly distinguished.

And yes, Craig is an opportunistic moron who likes to spout off about things he clearly does not understand. His arguments about infinity and Hilbert's Hotel are classic ignorance.