Linked by Eugenia Loli-Queru on Fri 4th Nov 2005 01:25 UTC
Thread beginning with comment 55491
To view parent comment, click here.
To read all comments associated with this story, please click here.
To view parent comment, click here.
To read all comments associated with this story, please click here.
Logic is just a subbranch of mathematics. And what exactly is the point of making the destinction of programs being useless without computers? Any experienced programmer can "run" a program in his head (or at least, parts of it), and computers can quite easily work with the symbolic equations of mathematics. Does:
det(M) = ac - bd
change when I write it as:
(defun det(M)
(- (* a c) (* b d)))
One's meant for a human, the other is meant for the computer, but its still the same underlying mathematical truth.







Member since:
"Of course it does. You see, any program is nothing more than a mathematical exprerssion. It's a complicated one, but not one qualitatively different from any other mathematica expression. The very theory underlying computation shows this to be true."
Actually math and logic. Anyway programs however are useless without computers to run them on. Mathmatical expressions however can run on any properly trained human mind.