And the links..

By: Ilya Lipovsky (lipovsky.delete@this.cs.bu.edu), February 20, 2008 4:29 pm
Room: Moderated Discussions
JasonB (no@spam.com) on 2/18/08 wrote:
---------------------------
>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).


Personally, I do not completely disagree with your very global view on what "science" is. If I recall properly from several years ago, Kurt Gödel's monumental Second Incompleteness Theorem showed that you can have a true statement that is not provable from within the set of axioms in which it is true. That basically nullified Hilbert's program of showing completeness of mathematics (along with other things). That, basically relegated mathematics to the realm of science - e.g. true non-first-order arithmetic expressible statements (such as the 4-coloring theorem) were now not assured to be provable. Thus, mathematicians can still "discover" (like physicists) and "invent" (like engineers) new axioms. (By the way, from what I remember, it eventually turned out that 4-coloring was true, but it was proved with the help of a computer.)

Nevertheless, I think even with all this philosophical stuff in mind, it's still necessary to distinguish between science and math as being in very different realms.

Therefore, "computer science" is informatics ;-).
< Previous Post in ThreadNext Post in Thread >
TopicPosted ByDate
Multicore is unlikely to be the ideal answer.Anders Jensen2008/02/14 04:24 AM
  And the links..Anders Jensen2008/02/14 04:25 AM
    Disappointing..Linus Torvalds2008/02/14 10:17 AM
      Disappointing..Mark Roulo2008/02/14 11:03 AM
        LOL (NT)Linus Torvalds2008/02/14 05:43 PM
      Disappointing..David Patterson2008/02/15 11:53 AM
        Disappointing..Linus Torvalds2008/02/15 05:01 PM
          Disappointing..anon2008/02/15 08:54 PM
            Disappointing..JasonB2008/02/19 07:45 PM
          Disappointing..Ilya Lipovsky2008/02/22 06:27 PM
          Disappointing..Scott Bolt2008/03/16 11:36 AM
        Need for new programming languagesVincent Diepeveen2008/02/19 06:18 AM
          Need for new programming languagesPete Wilson2008/02/24 11:41 AM
        Disappointing..Zan2008/02/25 10:52 PM
      Disappointing..Robert Myers2008/02/19 09:47 PM
        Disappointing..Fred Bosick2008/02/22 06:38 PM
          Disappointing..Robert Myers2008/03/01 01:17 PM
        The limits of single CPU speed are here.John Nagle2008/03/14 10:55 AM
          The limits of single CPU speed are here.Howard Chu2008/03/15 01:02 AM
            The limits of single CPU speed are here.slacker2008/03/15 08:08 AM
              The limits of single CPU speed are here.Howard Chu2008/03/17 01:47 AM
                The limits of single CPU speed are here.slacker2008/03/17 10:04 AM
    And the links..Howard Chu2008/02/14 12:58 PM
      I take some of that backHoward Chu2008/02/14 01:55 PM
      And the links..Jesper Frimann2008/02/14 02:02 PM
      And the links..Ilya Lipovsky2008/02/15 02:24 PM
        And the links..iz2008/02/17 10:55 AM
          And the links..JasonB2008/02/17 07:09 PM
            And the links..Ilya Lipovsky2008/02/18 01:54 PM
              And the links..JasonB2008/02/18 10:34 PM
                And the links..Thiago Kurovski2008/02/19 07:01 PM
                  And the links..iz2008/02/20 10:36 AM
                And the links..Ilya Lipovsky2008/02/20 03:37 PM
                  And the links..JasonB2008/02/20 06:28 PM
        And the links..JasonB2008/02/17 06:47 PM
          And the links..Ilya Lipovsky2008/02/18 02:27 PM
            And the links..JasonB2008/02/18 10:00 PM
              And the links..JasonB2008/02/19 03:14 AM
              And the links..Ilya Lipovsky2008/02/20 04:29 PM
                And the links..JasonB2008/02/20 06:14 PM
                  And the links..Ilya Lipovsky2008/02/21 11:07 AM
    And the links..Howard Chu2008/02/14 01:16 PM
      And the links..Jukka Larja2008/02/15 03:00 AM
      Berkeley View on ParallelismDavid Kanter2008/02/15 11:41 AM
        Berkeley View on ParallelismHoward Chu2008/02/15 12:49 PM
          Berkeley View on ParallelismDavid Kanter2008/02/15 03:48 PM
            Berkeley View on ParallelismHoward Chu2008/02/17 05:42 PM
              Berkeley View on Parallelismnick2008/02/17 09:15 PM
                Berkeley View on ParallelismHoward Chu2008/02/18 04:23 PM
                  Berkeley View on Parallelismnick2008/02/18 10:03 PM
                    Berkeley View on ParallelismHoward Chu2008/02/19 01:39 AM
                  Berkeley View on Parallelismrcf2008/02/19 12:44 PM
                    Berkeley View on ParallelismHoward Chu2008/02/19 03:25 PM
              Average programmersanon2008/02/18 12:40 PM
        Berkeley View on ParallelismJasonB2008/02/15 08:02 PM
        Berkeley View on ParallelismJasonB2008/02/15 08:02 PM
          Berkeley View on ParallelismDean Kent2008/02/15 08:07 PM
          Berkeley View on ParallelismRay2008/02/20 03:20 PM
            Berkeley View on ParallelismJasonB2008/02/20 06:11 PM
              Berkeley View on ParallelismFritzR2008/02/24 03:08 PM
          rubyinline, etc.nordsieck2008/02/22 03:38 PM
            rubyinline, etc.JasonB2008/02/23 05:53 AM
              rubyinline, etc.nordsieck2008/03/02 01:40 AM
                rubyinline, etc.Michael S2008/03/02 02:49 AM
                  rubyinline, etc.Dean Kent2008/03/02 07:41 AM
                    rubyinline, etc.Michael S2008/03/02 08:19 AM
                      rubyinline, etc.Dean Kent2008/03/02 08:30 AM
                        rubyinline, etc.JasonB2008/03/02 05:26 PM
                rubyinline, etc.JasonB2008/03/02 06:01 PM
                  rubyinline, etc.Anonymous2008/03/03 02:11 AM
                    rubyinline, etc.JasonB2008/03/03 09:40 AM
                      rubyinline, etc.Foo_2008/03/09 09:59 AM
                        rubyinline, etc.JasonB2008/03/10 01:12 AM
                        rubyinline, etc.Gabriele Svelto2008/03/10 02:22 AM
                          rubyinline, etc.JasonB2008/03/10 04:35 AM
                            C++ for beginnersMichael S2008/03/10 05:16 AM
                              C++ for beginnersJasonB2008/03/10 06:35 AM
                          C++Michael S2008/03/10 04:55 AM
                rubyinline, etc.Linus Torvalds2008/03/03 11:35 AM
                  rubyinline, etc.Dean Kent2008/03/03 02:35 PM
                    rubyinline, etc.JasonB2008/03/03 03:57 PM
                      rubyinline, etc.Dean Kent2008/03/03 08:10 PM
                        rubyinline, etc.Michael S2008/03/04 01:53 AM
                          rubyinline, etc.Dean Kent2008/03/04 07:51 AM
                            rubyinline, etc.Michael S2008/03/04 08:29 AM
                              rubyinline, etc.Dean Kent2008/03/04 08:53 AM
                                rubyinline, etc.Michael S2008/03/04 11:20 AM
                                  rubyinline, etc.Dean Kent2008/03/04 02:13 PM
                                    read it. thanks (NT)Michael S2008/03/04 04:31 PM
                  efficient HLL'sPatrik Hägglund2008/03/04 03:34 PM
                    efficient HLL'sWes Felter2008/03/04 09:33 PM
                      efficient HLL'sPatrik Hägglund2008/03/05 01:23 AM
                        efficient HLL'sMichael S2008/03/05 02:45 AM
                          efficient HLL'sWilco2008/03/05 05:34 PM
                            efficient HLL'sHoward Chu2008/03/05 07:11 PM
                              efficient HLL'sWilco2008/03/06 02:27 PM
                    efficient HLL'sanon2008/03/05 08:20 AM
      And the links..Groo2008/02/17 04:28 PM
        And the links..Vincent Diepeveen2008/02/18 02:33 AM
Reply to this Topic
Name:
Email:
Topic:
Body: No Text
How do you spell green?