I am just saying that the ability to describe some aspects of a legitimate field of study doesn't equate to the one belonging to the other.
People don't do this for other fields and I don't think they should do it for CS. I took a course in 2000 at University that was called Computer Engineering. We were shown a language (I don't remember which one) that was designed so that the language could prove a program was correct or not. The professor was really into this but couldn't program his way out of a wet paper bag and the language and this proving technique looked childishly trivial to me. I am open to someone showing me a computer language that can prove the correctness of an arbitrarily complex system. I don't say it is impossible but what I saw was definitely not it. David Clark PS I think you actually do get what I am saying now. Please remember that Math isn't the only "language" that can describe some CS concepts. From: Aaron Hosford [mailto:[email protected]] Sent: January-08-13 1:51 PM To: AGI Subject: Re: [agi] Why Logic & Maths Have Sweet FA to do with Real world reasoning 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. ------------------------------------------- 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
