[nanomid]

Math Magic Mumbo Jumbo Alert!

Read for yourself what MathWorld has to say about GIT and transfinite induction.

And any way, the reason to even bring this up is that there is no magical proof machine that can be constructed to prove these statements (EVO,ID,stone soup,etc.), and so will rely on some Human to say otherwise.

Gee, that sounds just like a form of Intelligent Design...

[Ichneumon]

And any way, the reason to even bring this up is that there is no magical proof machine that can be constructed to prove these statements (EVO,ID,stone soup,etc.), and so will rely on some Human to say otherwise.

Wow, you don't know the first thing about the scientific method or epistemology... Start here, and then go on to read this if you'd like to start coming up to speed on the topic.