following questions:”What is the meaning of life?” “Why am I here?” “Why does mathematics work, anyway?” “If the universe had a beginning, who created it?” “Why are the physical constants in the universe so finely tuned to allow the possibility of complex life forms?” “Why do humans have a moral sense?” “What happens after we die?” Dr. Collins always assumed that faith was based on purely emotional and irrational arguments, and was astounded to discover, initially in the writings of the Oxford scholar C.S. Lewis and subsequently from many other sources, that one could build a very strong case for the plausibility of the existence of God on purely rational grounds. Actually, Dr. Collins says that he finds no conflict here. Yes, he also claims evolution by descent from a common ancestor is clearly true. He affirms that if there was any lingering doubt about the evidence from the fossil record, then the study of DNA provides the strongest possible proof of our relatedness to all other living things. According to Dr. Collins’ words, he found that there is a wonderful harmony in the complementary truths of science and faith. The God of the Bible is also the God of the genome. God can be found in the cathedral or in the laboratory. By investigating God’s majestic and awesome creation, science can actually be a means of worship. God Proved by Mathematics. When Gödel died in 1978, he left behind a tantalizing theory based on principles of modal logic, a type of formal logic that, narrowly defined, involves the use of the expressions “necessarily” and “possibly,” according to Stanford University. So the theorem says that God, or a supreme being, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist. God Proved by Computer . Using an ordinary MacBook computer, they have shown that Gödel’s proof was correct, at least on a mathematical level, by way of higher modal logic. In their initial submission on a research server, “Formalization, Mechanization, and Automation of Gödel’s Proof of God’s Existence,” the pair say that “Goedel’s ontological proof has been analysed for the first-time with an unprecedented degree of detail and formality with the help of higher-order theorem provers.” 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 which was put forward by the renowned 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. The mathematicians say that their proof of Gödel’s axioms has more to do with demonstrating how superior technology can help bring about new achievements in science. Benzmüller and Paleo believe that their work can benefit areas such as artificial intelligence and the verification of software and hardware. I have quoted from sources in this article and I will post on how God is proved by Indian Philosophy through Intuition,Faith,Logic and Personal experience. More at https://ramanisblog.in/2014/01/10/god-proof-by-biology-mathematics-computer/