By: JasonB (no.delete@this.spam.com), February 18, 2008 10:00 pm
Room: Moderated Discussions
Ilya Lipovsky (lipovsky@cs.bu.edu) on 2/18/08 wrote:
---------------------------
>Yes, and some parts are definitely pure mathematics. [...]
>He was a "computer scientist," but he actually was a mathematician,
>studying and proving theorems regarding computability, reductions, complexity, and
>general information theory. But, in my humble personal opinion he isn't quite a computer **scientist**.
>By the way, my other post mentions briefly that I don't consider computer science
>to be science. I just don't know if studying man-made abstract structures can be
>considered a science. Science entails experimentation with subsequent discovery
>of natural laws with subsequent fitting of various phenomena to these laws. Physics and chemistry are prime examples.
I think your definition of "science" is too restrictive. Wikipedia has a reasonable overview:
http://en.wikipedia.org/wiki/Science
http://en.wikipedia.org/wiki/Formal_science
I view formal science as a science not just because it fits in with the older definition of the word, meaning "knowledge", but because I see abstract notions like the halting problem as being fundamentally real and waiting to be discovered and not simply accidental artefacts of the way we construct our formal systems. In that sense proofs and deductions are an analogue of experiments. If we were to eliminate anything that was not based on empirical study from the umbrella "science" then large chunks of the theoretical branches of the various sciences are going to be demoted as well, including physics. (String theory, abiogenesis, and cosmology are just a few areas of investigation that will have serious difficulty, either because experiments to test them can't be constructed at all at the moment, or because experiments conducted now don't really prove what happened then, and there isn't much evidence about what happened then.)
On that basis, I see mathematics as a science. Theoretical computer science is very much a branch of pure mathematics, but qualitatively different to other branches -- Turing Machines and Gödel's Incompleteness Theorem are really the same thing, but Turing's Universal Turing Machine and conclusions about computability definitely have a unique flavour to them.
My research was in artificial intelligence, and I think that is also a science, with important questions that impact on the nature of biological systems as well.
>Accordingly, *if* computer science is a science, it is as much a science as, say,
>number theory - there are always new abstract relationships and properties to be
>discovered/modeled, but they are "out there," in the abstract.
Yes -- but that doesn't make them any less real. Any sentient life form in the universe should make the same discoveries. They shouldn't conclude, for example, that the halting problem doesn't exist, just as they shouldn't conclude that the ratio of the circumference of a circle to its diameter is anything other than pi (which is derived mathematically, not by getting increasingly accurate tape measures and placing them around increasingly large circles).
---------------------------
>Yes, and some parts are definitely pure mathematics. [...]
>He was a "computer scientist," but he actually was a mathematician,
>studying and proving theorems regarding computability, reductions, complexity, and
>general information theory. But, in my humble personal opinion he isn't quite a computer **scientist**.
>By the way, my other post mentions briefly that I don't consider computer science
>to be science. I just don't know if studying man-made abstract structures can be
>considered a science. Science entails experimentation with subsequent discovery
>of natural laws with subsequent fitting of various phenomena to these laws. Physics and chemistry are prime examples.
I think your definition of "science" is too restrictive. Wikipedia has a reasonable overview:
http://en.wikipedia.org/wiki/Science
http://en.wikipedia.org/wiki/Formal_science
I view formal science as a science not just because it fits in with the older definition of the word, meaning "knowledge", but because I see abstract notions like the halting problem as being fundamentally real and waiting to be discovered and not simply accidental artefacts of the way we construct our formal systems. In that sense proofs and deductions are an analogue of experiments. If we were to eliminate anything that was not based on empirical study from the umbrella "science" then large chunks of the theoretical branches of the various sciences are going to be demoted as well, including physics. (String theory, abiogenesis, and cosmology are just a few areas of investigation that will have serious difficulty, either because experiments to test them can't be constructed at all at the moment, or because experiments conducted now don't really prove what happened then, and there isn't much evidence about what happened then.)
On that basis, I see mathematics as a science. Theoretical computer science is very much a branch of pure mathematics, but qualitatively different to other branches -- Turing Machines and Gödel's Incompleteness Theorem are really the same thing, but Turing's Universal Turing Machine and conclusions about computability definitely have a unique flavour to them.
My research was in artificial intelligence, and I think that is also a science, with important questions that impact on the nature of biological systems as well.
>Accordingly, *if* computer science is a science, it is as much a science as, say,
>number theory - there are always new abstract relationships and properties to be
>discovered/modeled, but they are "out there," in the abstract.
Yes -- but that doesn't make them any less real. Any sentient life form in the universe should make the same discoveries. They shouldn't conclude, for example, that the halting problem doesn't exist, just as they shouldn't conclude that the ratio of the circumference of a circle to its diameter is anything other than pi (which is derived mathematically, not by getting increasingly accurate tape measures and placing them around increasingly large circles).
Topic | Posted By | Date |
---|---|---|
Multicore is unlikely to be the ideal answer. | Anders Jensen | 2008/02/14 04:24 AM |
And the links.. | Anders Jensen | 2008/02/14 04:25 AM |
Disappointing.. | Linus Torvalds | 2008/02/14 10:17 AM |
Disappointing.. | Mark Roulo | 2008/02/14 11:03 AM |
LOL (NT) | Linus Torvalds | 2008/02/14 05:43 PM |
Disappointing.. | David Patterson | 2008/02/15 11:53 AM |
Disappointing.. | Linus Torvalds | 2008/02/15 05:01 PM |
Disappointing.. | anon | 2008/02/15 08:54 PM |
Disappointing.. | JasonB | 2008/02/19 07:45 PM |
Disappointing.. | Ilya Lipovsky | 2008/02/22 06:27 PM |
Disappointing.. | Scott Bolt | 2008/03/16 11:36 AM |
Need for new programming languages | Vincent Diepeveen | 2008/02/19 06:18 AM |
Need for new programming languages | Pete Wilson | 2008/02/24 11:41 AM |
Disappointing.. | Zan | 2008/02/25 10:52 PM |
Disappointing.. | Robert Myers | 2008/02/19 09:47 PM |
Disappointing.. | Fred Bosick | 2008/02/22 06:38 PM |
Disappointing.. | Robert Myers | 2008/03/01 01:17 PM |
The limits of single CPU speed are here. | John Nagle | 2008/03/14 10:55 AM |
The limits of single CPU speed are here. | Howard Chu | 2008/03/15 01:02 AM |
The limits of single CPU speed are here. | slacker | 2008/03/15 08:08 AM |
The limits of single CPU speed are here. | Howard Chu | 2008/03/17 01:47 AM |
The limits of single CPU speed are here. | slacker | 2008/03/17 10:04 AM |
And the links.. | Howard Chu | 2008/02/14 12:58 PM |
I take some of that back | Howard Chu | 2008/02/14 01:55 PM |
And the links.. | Jesper Frimann | 2008/02/14 02:02 PM |
And the links.. | Ilya Lipovsky | 2008/02/15 02:24 PM |
And the links.. | iz | 2008/02/17 10:55 AM |
And the links.. | JasonB | 2008/02/17 07:09 PM |
And the links.. | Ilya Lipovsky | 2008/02/18 01:54 PM |
And the links.. | JasonB | 2008/02/18 10:34 PM |
And the links.. | Thiago Kurovski | 2008/02/19 07:01 PM |
And the links.. | iz | 2008/02/20 10:36 AM |
And the links.. | Ilya Lipovsky | 2008/02/20 03:37 PM |
And the links.. | JasonB | 2008/02/20 06:28 PM |
And the links.. | JasonB | 2008/02/17 06:47 PM |
And the links.. | Ilya Lipovsky | 2008/02/18 02:27 PM |
And the links.. | JasonB | 2008/02/18 10:00 PM |
And the links.. | JasonB | 2008/02/19 03:14 AM |
And the links.. | Ilya Lipovsky | 2008/02/20 04:29 PM |
And the links.. | JasonB | 2008/02/20 06:14 PM |
And the links.. | Ilya Lipovsky | 2008/02/21 11:07 AM |
And the links.. | Howard Chu | 2008/02/14 01:16 PM |
And the links.. | Jukka Larja | 2008/02/15 03:00 AM |
Berkeley View on Parallelism | David Kanter | 2008/02/15 11:41 AM |
Berkeley View on Parallelism | Howard Chu | 2008/02/15 12:49 PM |
Berkeley View on Parallelism | David Kanter | 2008/02/15 03:48 PM |
Berkeley View on Parallelism | Howard Chu | 2008/02/17 05:42 PM |
Berkeley View on Parallelism | nick | 2008/02/17 09:15 PM |
Berkeley View on Parallelism | Howard Chu | 2008/02/18 04:23 PM |
Berkeley View on Parallelism | nick | 2008/02/18 10:03 PM |
Berkeley View on Parallelism | Howard Chu | 2008/02/19 01:39 AM |
Berkeley View on Parallelism | rcf | 2008/02/19 12:44 PM |
Berkeley View on Parallelism | Howard Chu | 2008/02/19 03:25 PM |
Average programmers | anon | 2008/02/18 12:40 PM |
Berkeley View on Parallelism | JasonB | 2008/02/15 08:02 PM |
Berkeley View on Parallelism | JasonB | 2008/02/15 08:02 PM |
Berkeley View on Parallelism | Dean Kent | 2008/02/15 08:07 PM |
Berkeley View on Parallelism | Ray | 2008/02/20 03:20 PM |
Berkeley View on Parallelism | JasonB | 2008/02/20 06:11 PM |
Berkeley View on Parallelism | FritzR | 2008/02/24 03:08 PM |
rubyinline, etc. | nordsieck | 2008/02/22 03:38 PM |
rubyinline, etc. | JasonB | 2008/02/23 05:53 AM |
rubyinline, etc. | nordsieck | 2008/03/02 01:40 AM |
rubyinline, etc. | Michael S | 2008/03/02 02:49 AM |
rubyinline, etc. | Dean Kent | 2008/03/02 07:41 AM |
rubyinline, etc. | Michael S | 2008/03/02 08:19 AM |
rubyinline, etc. | Dean Kent | 2008/03/02 08:30 AM |
rubyinline, etc. | JasonB | 2008/03/02 05:26 PM |
rubyinline, etc. | JasonB | 2008/03/02 06:01 PM |
rubyinline, etc. | Anonymous | 2008/03/03 02:11 AM |
rubyinline, etc. | JasonB | 2008/03/03 09:40 AM |
rubyinline, etc. | Foo_ | 2008/03/09 09:59 AM |
rubyinline, etc. | JasonB | 2008/03/10 01:12 AM |
rubyinline, etc. | Gabriele Svelto | 2008/03/10 02:22 AM |
rubyinline, etc. | JasonB | 2008/03/10 04:35 AM |
C++ for beginners | Michael S | 2008/03/10 05:16 AM |
C++ for beginners | JasonB | 2008/03/10 06:35 AM |
C++ | Michael S | 2008/03/10 04:55 AM |
rubyinline, etc. | Linus Torvalds | 2008/03/03 11:35 AM |
rubyinline, etc. | Dean Kent | 2008/03/03 02:35 PM |
rubyinline, etc. | JasonB | 2008/03/03 03:57 PM |
rubyinline, etc. | Dean Kent | 2008/03/03 08:10 PM |
rubyinline, etc. | Michael S | 2008/03/04 01:53 AM |
rubyinline, etc. | Dean Kent | 2008/03/04 07:51 AM |
rubyinline, etc. | Michael S | 2008/03/04 08:29 AM |
rubyinline, etc. | Dean Kent | 2008/03/04 08:53 AM |
rubyinline, etc. | Michael S | 2008/03/04 11:20 AM |
rubyinline, etc. | Dean Kent | 2008/03/04 02:13 PM |
read it. thanks (NT) | Michael S | 2008/03/04 04:31 PM |
efficient HLL's | Patrik Hägglund | 2008/03/04 03:34 PM |
efficient HLL's | Wes Felter | 2008/03/04 09:33 PM |
efficient HLL's | Patrik Hägglund | 2008/03/05 01:23 AM |
efficient HLL's | Michael S | 2008/03/05 02:45 AM |
efficient HLL's | Wilco | 2008/03/05 05:34 PM |
efficient HLL's | Howard Chu | 2008/03/05 07:11 PM |
efficient HLL's | Wilco | 2008/03/06 02:27 PM |
efficient HLL's | anon | 2008/03/05 08:20 AM |
And the links.. | Groo | 2008/02/17 04:28 PM |
And the links.. | Vincent Diepeveen | 2008/02/18 02:33 AM |