expCS - Computing as an Experimental Science or Exaggerated...

Info icon This preview shows pages 1–11. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Computing as an Experimental Science or Exaggerated Formalist Rhetoric Considered Harmful Raymond J. Mooney Dept. of Computer Sciences University of Texas at Austin
Image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
2 Philosophy and Methodology Matters One’s beliefs about the philosophy and methodology of computer science greatly impacts: The problems on which one chooses to work. The approach one takes to these problems. One’s perception of the significance of results and the quality of others’ work. One’s beliefs about the education and training of students and CS curriculum issues.
Image of page 2
3 Programs as Mathematical Objects A computer program is a formally defined mathematical object, i.e. a Turing machine. Properties of such a mathematical object can be formally proven: Correctness according to a formal specification. Termination. Time and space complexity: Worst case. Average case (assuming a formal specification of the input distribution).
Image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
4 Exaggerated Formalist Rhetoric Since programs are formal mathematical objects, experiments and empirical analysis have no place in computer science. Computer science is mathematics and consists of definitions, theorems, and proofs. Without theorems, there is no rigorous science, just unprincipled hacking. Students primarily need to be taught appropriate mathematics and how to prove theorems. Students do not need to be taught experimental methodology appropriate for natural and social sciences.
Image of page 4
5 Formal and Empirical Specifications Some problems have clear, mathematical, formal specifications. These lend themselves to theoretical analysis. Some problems have “empirical” specifications that depend on physical (biological/psychological/social) phenomena that, at least currently, have no adequate mathematical formalization. These require experimental analysis.
Image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
6 A Tale of Two Bugs Formalists’ Poster Child : The Intel Pentium division bug illustrates a problem (floating-point division) that has a clear formal definition. Experimentalists’ Poster Child : The Apple Newton’s insufficiently accurate hand-writing recognition illustrates a problem whose specification relies on a psychological phenomenon with no known formalization: human visual perception of written language.
Image of page 6
7 9/3 4
Image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
8 Final exam 9AM Tino1 exon qRH
Image of page 8
9 Formalist $100K Challenge Problem! If you believe that hand-writing recognition can be given a formal specification suitable for mathematical verification, then I strongly encourage you to write it down! If, in my lifetime , you can formulate such a specification and use it to develop and verify hand-writing recognition software and demonstrate perfect accuracy on a standard, realistic benchmark dataset… I will personally award you a $100,000 prize!
Image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
10 Other Problems with Empirical Specifications Speech recognition.
Image of page 10
Image of page 11
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern