Computer Science – Other Computer Science
Scientific paper
1999-11-17
Computer Science
Other Computer Science
33 pages, 8 figures, presented at the conference, Computer Science as a Human Science, the 1999-2000 Sawyer Seminar at the Uni
Scientific paper
In his Discourse on the Method of Rightly Conducting the Reason, and Seeking Truth in the Sciences, Rene Descartes sought ``clear and certain knowledge of all that is useful in life.'' Almost three centuries later, in ``The foundations of mathematics,'' David Hilbert tried to ``recast mathematical definitions and inferences in such a way that they are unshakable.'' Hilbert's program relied explicitly on formal systems (equivalently, computational systems) to provide certainty in mathematics. The concepts of computation and formal system were not defined in his time, but Descartes' method may be understood as seeking certainty in essentially the same way. In this article, I explain formal systems as concrete artifacts, and investigate the way in which they provide a high level of certainty---arguably the highest level achievable by rational discourse. The rich understanding of formal systems achieved by mathematical logic and computer science in this century illuminates the nature of programs, such as Descartes' and Hilbert's, that seek certainty through rigorous analysis.
O'Donnell Michael J.
No associations
LandOfFree
The Sources of Certainty in Computation and Formal Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Sources of Certainty in Computation and Formal Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Sources of Certainty in Computation and Formal Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-239028