Computers Can Do That?

So asked Homer Simpson. I'm wondering if this doesn't prove more (and less) than the article is admitting. In other words does it only (apparently) prove the existence of a "Necessary Being" which is only the first of several logical steps on the road to finding the Father of Jesus and us all?

Scientists Use Computer to Mathematically Prove Gödel God Theorem - SPIEGEL ONLINE.

(Via Reddit Catholicism.)

Logic and It's Misuses

While Philosophy is my first love, Logic has been only a passing fancy for me. It's on my list of things to do: study at least beginning-level Logic. But the mini-controversy over Aristotelian versus Symbolic Logic is worth a read:

More on Symbolic v. Aristotelian Logic:

I’ve learned much about logic in the week and a half since my previous post here. In that little missive, I wrote about a Peter Kreeft essay that I had trouble making sense of. Kreeft argued that symbolic logic “has serious social, moral, and even sexual implications, and it is one of the unrecognized indirect causes of ‘the culture of death’,” but I hardly recognized in his description the logic I used in undergraduate studies and in work with computers.

Read the whole thing.

(Via First Thoughts.)

Strange Numbers

may lie at the root of the nature of our universe:

Cosmic coincidence spotted: "An absurdly large number could hold the key to universal mysteries."

(Via New Advent World Watch.)

True Love

does not come from knowing the Quadratic Formula. I was a bit of a math whiz in high school, up to intermediate algebra, anyway. And the ladies did not come running. Yeah, me and Einstein...

Today at the Design of Life blog: "Did math really evolve? Or is it just us connecting to the universe?"

(Via Post-Darwinist.)