THE LIMITS OF HUMANLY KNOWABLE MATHEMATICAL TRUTH, GÖDEL’S INCOMPLETENESS THEOREMS, AND ARTIFICIAL INTELLIGENCE