What answered prayer? Did you actually read the articles?
" the God angle is somewhat of a red herring"
"what the researchers in question say they have actually proven is a theorem put forward by renowned Austrian mathematician Kurt Gödel -- and the real news isn't about a Supreme Being, but rather what can now be achieved in scientific fields using superior technology"
"what the two computer scientists did was more of display of what can be achieved in scientific fields by using greater technology rather than verify the existence of a Supreme Being"
"But unsurprisingly, there is a rather significant caveat to that claim. In fact, what the researchers in question say they have actually proven is a theorem put forward by renowned Austrian mathematician Kurt Gödel -- and the real news isn't about a Supreme Being, but rather what can now be achieved in scientific fields using superior technology.
When Gödel died in 1978, he left behind a tantalizing theory based on principles of modal logic -- that a higher being must exist. The details of the mathematics involved in Gödel's ontological proof are complicated, but in essence the Austrian was arguing that, by definition, God is that for which no greater can be conceived. And while God exists in the understanding of the concept, we could conceive of him as greater if he existed in reality. Therefore, he must exist."
First it says they didn't prove God exists and that they had proven is a theorem put forward by Kurt Godel. They admit that they wanted to attract attention with the headline and knew that the gullible would fall for it.
Godel's theorem was that God exists in what we can't conceive and if we can conceive that concept he must exist. Or that's at least what I can get out of it.
Yes, but they were praying for software to help them with math. You understand that they didn't prove God exists right? They may have proved that computers and do complicated math much faster than people, but that's it and it says so in the article. Math can't prove that God exists in what we don't understand, but perhaps math can prove that there are things we don't understand.