There have been several attempts to prove the existence of God with logic. Blaise Pascal said that it is better to believe there is a god, than to believe there isn't. This argument is known as Pascal's wager today. Note that Blaise Pascal was a mathematician, and he used this argument to illustrate the concept of expected value in statistics. Other attempts known as the ontological argument, the cosmoolgical argument, and teleological argument today. Kurt Gödel formulated an argument for the existence of God using modal logic in the 1970s.