Because I'm not totally sure what it really is.
Hal Abelson in this MIT lecture tells the student that Computer science is not a science. He then suggests that it could be art or engineering. He then goes on to say it's not really to do with computers in the same way Biology isn't about microscopes.
http://www.cosmolearning.com/videolectures/overviewandintroductiontolisp/
A few CS graduates told me that perhaps CS is just Software Engineering. I then researched and compared some universities SE courses and CS courses and found a lot of symmetry. However, in further research I found professors stating that Cs is not a programming degree.
The Wikipedia article says that perhaps it should be called algorithmic and a university in Holland renamed their CS department Dataology.
What do you think it is? What does CS mean to you?
How Can Computer Science Be Defined?
Moderators: phlip, Moderators General, Prelates
Re: How Can Computer Science Be Defined?
CS is the study of Universal Computational Systems.
That is, Lambda Calculus or Turing Machines
I can't really think of any simpler definition.
That is, Lambda Calculus or Turing Machines
I can't really think of any simpler definition.
EvanED wrote:be aware that when most people say "regular expression" they really mean "something that is almost, but not quite, entirely unlike a regular expression"
Re: How Can Computer Science Be Defined?
It's math, with slightly different goals.
Specifically, its about what you can and can't do, rather than what is and isn't true. You can have truths and proofs about what you can or can't do, or how fast you can do it, but it's just nonsense to try to decide if an algorithm is true or false. Conversely, we could say that math is a nondeterministic algorithm constructed so that if one accepts certain concepts as true, then every branch of execution results in another true statement. Math and computation are really very deeply linked.
Specifically, its about what you can and can't do, rather than what is and isn't true. You can have truths and proofs about what you can or can't do, or how fast you can do it, but it's just nonsense to try to decide if an algorithm is true or false. Conversely, we could say that math is a nondeterministic algorithm constructed so that if one accepts certain concepts as true, then every branch of execution results in another true statement. Math and computation are really very deeply linked.
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.
Re: How Can Computer Science Be Defined?
Computer science is about the study of algorithms to analyze how problems which can be solved at a high level. It also has a certain amount of programming to help you really understand those algorithms, because coding it yourself requires a good understanding of how they work, and develops the skill of turning those high level ideas into concrete programs. The algorithms part is logic and math, and the implementation is programming and understanding how computers work.
Re: How Can Computer Science Be Defined?
The confusing part is that industry doesn't care to differentiate between the two. I think computer science in its purest form is applied mathematics. This becomes especially apparent beginning with analysis of algorithms. In that sense, it has nothing to do with programming: it's general enough to be done by an electrical engineer making the logic in a circuit board rather than a program, or even by a manager devising a new business process. However, programming is where CS is most applied itself. Correctness, Turingcompleteness, automata, and complexity are computer science, but these are the tools that assist programming. Programming in its purest form is pretty much the same job as back in the early 19th centry with punch carddriven looms. Good programmers, however, utilize the theory in computer science to be more effective.

 Posts: 398
 Joined: Fri Jul 09, 2010 1:34 pm UTC
Re: How Can Computer Science Be Defined?
MerriamWebster wrote:Definition of COMPUTER SCIENCE
: a branch of science that deals with the theory of computation or the design of computers
 zombie_monkey
 Posts: 644
 Joined: Mon Oct 16, 2006 1:26 pm UTC
 Location: Bulgaria
Re: How Can Computer Science Be Defined?
Scott Aaronson calls CS "Quantitative epistemology".
 Yakk
 Poster with most posts but no title.
 Posts: 11017
 Joined: Sat Jan 27, 2007 7:27 pm UTC
 Location: E pur si muove
Re: How Can Computer Science Be Defined?
Computer science is mathematics that cares about costs?
One of the painful things about our time is that those who feel certainty are stupid, and those with any imagination and understanding are filled with doubt and indecision  BR
Last edited by JHVH on Fri Oct 23, 4004 BCE 6:17 pm, edited 6 times in total.
Last edited by JHVH on Fri Oct 23, 4004 BCE 6:17 pm, edited 6 times in total.
Re: How Can Computer Science Be Defined?
Eh, not quite. In math, the whole point is that you can never have certain finite statements in your system, and all of the ones you can have, you associate with being true.
In programming languages, you can have every finite statement, and the question is more how quickly you can transition from one class of statements to another, and which classes can be transformed into which other classes.
In programming languages, you can have every finite statement, and the question is more how quickly you can transition from one class of statements to another, and which classes can be transformed into which other classes.
All Shadow priest spells that deal Fire damage now appear green.
Big freaky cereal boxes of death.
 Yakk
 Poster with most posts but no title.
 Posts: 11017
 Joined: Sat Jan 27, 2007 7:27 pm UTC
 Location: E pur si muove
Re: How Can Computer Science Be Defined?
I'm talking about CurryHoward.
Models of computation and models of logic are the "same type" of thing, and proofs and program outputs correspond to each other.
In computer science, the models of computation have "costs" associated with each step: that doesn't correspond directly to anything in mathematical logic. I'm saying that the "memory and time" costs are what distinguish analysis of a program in a given model of computation from the corresponding CurryHoward proof in the corresponding proof system.
Models of computation and models of logic are the "same type" of thing, and proofs and program outputs correspond to each other.
In computer science, the models of computation have "costs" associated with each step: that doesn't correspond directly to anything in mathematical logic. I'm saying that the "memory and time" costs are what distinguish analysis of a program in a given model of computation from the corresponding CurryHoward proof in the corresponding proof system.
One of the painful things about our time is that those who feel certainty are stupid, and those with any imagination and understanding are filled with doubt and indecision  BR
Last edited by JHVH on Fri Oct 23, 4004 BCE 6:17 pm, edited 6 times in total.
Last edited by JHVH on Fri Oct 23, 4004 BCE 6:17 pm, edited 6 times in total.
Who is online
Users browsing this forum: No registered users and 1 guest