Dr. Richard Hughes, President of California Lutheran University: “The Lutheran vision never seeks to superimpose the kingdom of God onto the world . . . Lutherans seek to bring the world and the kingdom of God into dialogue.”
At Lutheran Valparaiso University one department chair said: “Show us what Lutheran economics is and we'll see if we can find a Lutheran economist who can teach it.”
Disadvantage: It doesn’t seem to be pursuing integration, just letting it happen.
II. Incompleteness: What don’t we know?
Gödel’s Incompleteness Theorem (1931): For any mathematical system S strong enough to do addition and multiplication of integers, the consistency of that system, Con(S), cannot be proven within the system.
J. R. Lucas: Gödel’s Incompleteness Theorem suggests that humanity is not the measure of its own meaning.
Chase: “Skolem’s Paradox and the Predestination/Free-Will Discussion”
Chase: “What Does a Computer Program Mean?”
Incompleteness in CS
Alan Turing (1937). The Halting Problem: No computer program U can be written which receives as input a program P and its input I, and returns true if P halts on input I, but returns false if P loops infinitely on input I.
Kurt Gödel (1956). P=NP?
P=solved in polynomial time.
NP=checked for correctness in polynomial time.
Optimists: P=NP, or maybe PNP.
Pessimists: P=NP can’t be known.
Ecc. 3:11: God “has also set eternity in the hearts of men; yet they cannot fathom what God has done from beginning to end.”