http://qs1969.pair.com?node_id=399298


in reply to Re^4: Not Everyone Likes Perl, I Guess
in thread Not Everyone Likes Perl, I Guess

y = f(x,h,i) where f=g(h(x),i(x)) ... sound like programming? Or math?

Functional Programming IS basically math, just with exceedingly arbitrary functions doing exceedingly arbitrary tasks. The deeper you go, the theories included all dwell on running time, effiency, statistics, probability ... but usually one doesn't have to go that deep. Graph theory is math. Discrete math is math. Regular expressions ARE Finite Automata, and that's definitely math -- with pretty circles and arrows. Programs are Turing Machines. That's totally math. NP-completeness. Definitely math.

Math is the genesis of science and the glue which the rules of our universe are built upon... Words we could do without, we could have never invented them. But math would exist without our invention of it...

Remember there was computer science before computers!

Computer Science is no more about computers than astronomy is about telescopes. E. W. Dijkstra

Replies are listed 'Best First'.
Re^6: Not Everyone Likes Perl, I Guess
by apotheon (Deacon) on Oct 16, 2004 at 08:33 UTC
    I don't quite see it that way.

    Programming is a symbolic framework for logic. Mathematics is a symbolic framework for logic. Programming is not necessarily mathematics. Mathematics is not necessarily programming.

    In much the same way that English and Japanese are both symbolic frameworks for communication, and both English and Japanese can be said to be communication, but neither is the other, so too are programming and mathematics both symbolic frameworks for logic, and both can be said to be logic, while neither is the other.

    - apotheon

    CopyWrite Chad Perrin
      Same difference.
        One might wonder how you can program effectively when you think membership in the same set makes two values equivalent.

        - apotheon
        CopyWrite Chad Perrin