Aalso consider the relationshp between free will and proof of God's existence. If we had proof of God to an ontological certainty we would ethically do what He said. We would be reduced to God's little robots, not made in His image and likeness.

The key elements in human thinking are not numbers but labels of fuzzy sets. -- L. Zadeh

Which explains a lot.