Days ago, a friend of mine posted a comment to one of my (persian) posts which reminded me of the “Godel’s incompleteness theorem” (from now on GIT) and logical positivism program. Logical positivism is based on the belief that whatever cannot be verified experimentally or proven mathematically is invalid. Logical positisim was adopted by a group known as “The Vienna Circle” in Austria, where Kurt Gödel was a member. They were hoping/confident to explain everything self-consistently without requiring something supernatural (i.e., beyond the universe).
Since I am not an expert in this field myself, I just highlight some of the main points taken from the note here. Since GIT is not a common knowledge for non-scientisits, in short, the incompleteness theorem (as given in here) is: “Anything you can draw a circle around cannot explain itself without referring to something outside the circle – something you have to assume but cannot prove”. You could find further information on wikipedia, and also here.
I don’t want to copy the whole note, but I strongly suggest to everyone to read it including the comment section. However, the bottom line is “The Incompleteness of the universe isn’t formal proof that God exists. But… it IS proof that in order to construct a rational, scientific model of the universe, belief in God is not just 100% logical… it’s necessary.”