## Archive for November 24th, 2013

November 24, 2013

## Science works; ergo God

I obviously do not believe what is suggested by the title.  That title is my simplified way of describing what vjtorley has recently posted at the Uncommon Descent blog.  The tl;dr form of the title, as used by vjtorley, is:

The UD post uses a method of argument that we mathematicians refer to as Proof By Exhaustion.

There are actually two different versions of “proof by exhaustion”.  The main version is where one proves a result by exhausting all possibilities.  It is much like a case statement in a computer program.  That’s the version that is defined by the linked Wikipedia page.

The other version of “proof by exhaustion” is the one used by vjtorley.  That is where the argument is so tediously long, that you are exhausted by the time that you have finished reading it.  In fact, you are so exhausted, that you were too tired to notice all of the glaring holes in the argument.