| − | The [[Bible]] repeatedly emphasizes God is "unsearchable". See Job 5:9 (God "does great things and unsearchable"); Job 26:1 ("God's Majesty Is Unsearchable"); Job 36:26 ("Behold, God is great, and we know him not; the number of his years is unsearchable.") Psalm 145:3 ("Great is the Lord, and greatly to be praised, and his greatness is unsearchable."); Proverbs 25:3 ("As the heavens for height, and the earth for depth, so the heart of kings is unsearchable."); Isaiah 40:28 ("Have you not known? Have you not heard? The Lord is the everlasting God, the Creator of the ends of the earth. He does not faint or grow weary; his understanding is unsearchable."); Romans 11:33 ("Oh, the depth of the riches and wisdom and knowledge of God! How unsearchable are his judgments and how inscrutable his ways!")' Ephesians 3:8 ("to preach to the Gentiles the unsearchable riches of Christ").<ref>All quotations are to the ESV of the [[Bible]].</ref> | + | The [[Bible]] repeatedly emphasizes that God is "unsearchable". See Job 5:9 (God "does great things and unsearchable"); Job 26:1 ("God's Majesty Is Unsearchable"); Job 36:26 ("Behold, God is great, and we know him not; the number of his years is unsearchable.") Psalm 145:3 ("Great is the Lord, and greatly to be praised, and his greatness is unsearchable."); Proverbs 25:3 ("As the heavens for height, and the earth for depth, so the heart of kings is unsearchable."); Isaiah 40:28 ("Have you not known? Have you not heard? The Lord is the everlasting God, the Creator of the ends of the earth. He does not faint or grow weary; his understanding is unsearchable."); Romans 11:33 ("Oh, the depth of the riches and wisdom and knowledge of God! How unsearchable are his judgments and how inscrutable his ways!")' Ephesians 3:8 ("to preach to the Gentiles the unsearchable riches of Christ").<ref>All quotations are to the ESV of the [[Bible]].</ref> |
| − | John 1:1 teaches that logic is part of God, and thus logic must also be "unsearchable". Yet for many decades the finest mathematicians thought that the consistency of logic could be proven, until [[Kurt Godel]] (himself a frequent reader of the Bible) proved the indeterminacy of mathematics. | + | John 1:1 teaches that logic is part of God, and thus logic itself must also be "unsearchable". For many decades the finest mathematicians thought that the consistency of logic could be proven, until [[Kurt Godel]] (himself a frequent reader of the Bible) proved the indeterminacy, or "unsearchability", of mathematics. |