Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.
-
Upload
rodger-shields -
Category
Documents
-
view
215 -
download
1
Transcript of Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.
![Page 1: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/1.jpg)
Computer Science and
Christianity:A Modeling Approach
Gene B. Chase
29 March 2001
![Page 2: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/2.jpg)
“Thank you for not using 666 in your papers”
![Page 3: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/3.jpg)
Three Approaches to Integration
Incarnational Approach: Who am I? Incompleteness Approach: What do I not
know? Imago Dei: What do I know?
Modeling Approach
![Page 4: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/4.jpg)
I. Incarnational: Who am I?
Lynn Arthur Steen. “The Science of Patterns.” Science, 240, 29 April 1988, pp. 611-616.
“I am a scientist, and I am a Christian. The integration takes place in me, not in the subject matter.”
![Page 5: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/5.jpg)
Apply this to Computer Science?
In the CS workplace, I will model virtue.In worship I will praise God for the beauty
that I see in CS.
![Page 6: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/6.jpg)
Lutheran View
St. Olaf CollegeDr. 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.”
![Page 7: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/7.jpg)
Lutheran View
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.”
![Page 8: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/8.jpg)
Advantage & Disadvantage
Advantage: It addresses the “so what” question.
Disadvantage: It doesn’t seem to be pursuing integration, just letting it happen.
![Page 9: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/9.jpg)
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.
![Page 10: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/10.jpg)
Gödel Numbering
g(x)=2, g(y)=3, g(()=5, g())=7,g(+)=11, g(*)=13, g(0)=17,
g(1)=19, g(2)=23, ...g(x*(y+21))= 2g(x)3g(*)5g(()7g(y)11g(+)13g(2)17g(1)
g(statements)= 2g(st1)3g(st2)5g(st3)7g(st4)11g(st5)3g(st6)
![Page 11: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/11.jpg)
Incompleteness Results
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?”
![Page 12: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/12.jpg)
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?
![Page 13: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/13.jpg)
Is 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.”
- 10000 =
![Page 14: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/14.jpg)
Advantage & Disadvantage
Advantage: A sense of humility, awe, and mystery before a great God.
Disadvantage: This view has a “god of the gaps” feel to it.
![Page 15: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/15.jpg)
Calvinist View
Creation mandate: To “subdue the earth” (Gen. 1:28)
The Fall affected our ability to reason, not just our ability to be moral.
![Page 16: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/16.jpg)
III. Imago Dei:What do we know?
Parables. Donald MacKay. The Clockwork Image,
IV Press 1974. A marquee of flashing lights:
Physics explanation. Information-processing explanation.
![Page 17: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/17.jpg)
III. Imago Dei:What do we know?
••••• ••••• •••• ••••• • • • • •••••• • • • •••• • • • • ••• • • • • • • • • •
![Page 18: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/18.jpg)
Complementarity
Information-processing complements Physics
Waves complement particles “Complementarity as a Christian
Philosophy of Mathematics”
![Page 19: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/19.jpg)
Deciding on a Career
Biology Chemistry
PhysicsPhilosophy and
Psychology
Mathematics
![Page 20: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/20.jpg)
Roger Penrose
![Page 21: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/21.jpg)
Big Ideas of CS
Abstraction Hierarchy Virtuality Global versus local Parallelism Time/space tradeoff ...
![Page 22: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/22.jpg)
Analogies in CS
Sofware Soul
Don’t confuse the map with the territory.
![Page 23: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/23.jpg)
Parables as Analogies
![Page 24: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/24.jpg)
Social RelationshipsAbout God in Jesus’ Parables
Father / Mother
Friend
Husband
Master / Employer
Judge
Shepherd
Vineyard Owner
![Page 25: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/25.jpg)
C. S. Lewis
The metaphor is backwards: It is not God who is like our earthly fathers; it is our earthly fathers who should strive to be like Father.
Similarly, CS is not the reality and our faith the metaphor; our relationship with God is the reality and CS can only provide metaphors.
![Page 26: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/26.jpg)
Advantage & Disadvantage
Advantage: We are at home in the universe.
Disadvantage: Multiple perspectives can too easily lead to relativism.
![Page 27: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/27.jpg)
Anabaptist View
Love more important than doctrine (John 13:36)
“We see a poor relfection in a mirror” (I Cor. 13:12)
![Page 28: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/28.jpg)
Anglican View
![Page 29: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/29.jpg)
Bibliography of Faith-Learning Articlesand Books by Dr. Chase
Arranged in Reverse-Chronological Order
[1] Faith-Discipline Musings http://www.messiah.edu/acdept/depthome/mathsci/courses/sensem/manifesto.htm .
Web posting of March 15 about Intellectual Property.
![Page 30: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/30.jpg)
[2] “Universe resists science.” Harrisburg, PA: Patriot News, 9 August 1996[op ed opinion essay, the title supplied by newspaper]
[3] “What does a computer program mean? An introduction to denotationalsemantics.” A tenth conference on Mathematics from a Christianperspective. Proceedings of the biennial conference of the Associationof Christians in the Mathematical Sciences held at Taylor UniversityMay 31-June 3, 1995. Robert L. Brabenec, Editor.
[4] “How has Christian theology furthered Mathematics?” An eighthconference on Mathematics from a Christian perspective. Proceedingsof the biennial conference of the Association of Christians in theMathematical Sciences held at Wheaton College May 29-June 1,1991. Robert L. Brabenec, Editor. Later published as a chapter ofFacets of Faith and Science; Volume II The Role of Beliefs inMathematics and the Natural Sciences; an Augustinian Perspective.Ed. Jitse M. van der Meer. Lanham, MD: University Press ofAmerica. 1997.
[5] Seventh Conference on Mathematics from a Christian Perspective.Proceedings of the Biennial Conference of the Association of Christians inthe Mathematical Sciences held at Messiah College May 31-June 2, 1989.Wheaton College Press, 1990. Editor.
![Page 31: Computer Science and Christianity: A Modeling Approach Gene B. Chase 29 March 2001.](https://reader035.fdocuments.in/reader035/viewer/2022062515/56649ccd5503460f94997a9d/html5/thumbnails/31.jpg)
[6] “Selected bibliography of Donald MacCrimmon MacKay.” A Fifth Conference onMathematics from a Christian Perspective. Proceedings of the Conference Held at the King'sCollege May 29-June 3, 1985: 31-33. Robert L. Brabenec, Editor.
[7] “Complementarity as a Christian philosophy of Mathematics.” In Harold Heie and DavidWolfe, The Reality of Christian Learning: Strategies for Faith_Discipline Integration.Eerdmans, 1987.
[8] Bibliography of Christianity and Mathematics: 1910-1983. Dordt College Press, 1983.With Calvin Jongsma.
[9] “Skolem's paradox and the predestination/free_will discussion.” A Christian Perspectiveon the Foundations of Mathematics, Proceedings, 28-30 April 1977.