I think maybe I have a hint of why we're talking past each other on this: When I say all computation is mathematical, what I mean is that all computation *can be described* mathematically. (In other words, if a mathematician so chose, he could analyze the behavior of a program in its totality using mathematics alone, though it would probably take him a ridiculous amount of time and effort.) This is not the same as the claim that programming is the same as doing math, which is completely untrue. The act of doing math and the act of doing CS require similar cognitive abilities, but work in totally different ways and use completely different techniques, which rarely cross over effectively between fields.
On Tue, Jan 8, 2013 at 11:41 AM, David Clark <[email protected]>wrote: > I am going to go out on a limb and use Ben as an example of what I think > about CS and Math.**** > > ** ** > > I have no problem with people who define their ideas using Math and Ben > does that some of the time.**** > > I think Ben knows a lot about CS that has nothing to do with Math and I > have read many of those articles.**** > > I think Ben knows quite a lot about intelligence, software development, > phycology and many other fields that are relevant to AGI that also aren’t > Math.**** > > I don’t dislike Math and use it whenever I need to.**** > > ** ** > > If someone is going to create an AGI that is made out of Math (formulas > written out on a sheet of paper) then Math should dictate the structure of > that design.**** > > ** ** > > If an AGI is created as a large program then CS must be the guiding > principles to create that code. That doesn’t mean that the algorithms or > procedures in the code will only come from CS (they could come from Math, > Phycology, Logic, or any number of other fields of study) BUT the real > world of building large computer programs already has a field of study and > that is CS, not Math.**** > > ** ** > > In no way am I putting down Ben personally or Mathematicians in general. > I happen to think that Ben is a Computer Scientist as well as a > Mathematician (even if he doesn’t see himself in that light).**** > > ** ** > > I think round pegs go in round holes and square pegs go in square holes.** > ** > > ** ** > > David Clark**** > > ** ** > > PS 11 years ago on the SL4 list, somebody made the claim that the Universe > was Math. This statement is only more ridiculous in its scope. Maybe we > should give the word Math this new definition and because it refers to > everything, no need for any more words. A one word language would be great > and useful?**** > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/23050605-2da819ff> | > Modify<https://www.listbox.com/member/?&;>Your Subscription > <http://www.listbox.com> > ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
