Well, mathematics is the basis of computer science just as much as any other science (read Alan Turing's and Alonzo Church's papers for this). However, CS doesn't have anything to do with the real world, so....
So maybe it belongs somewhere else? I definitely agree that CS is based on Math, and furthermore I also think that almost everything else is based on Math. But then, that's also based on the idea that Mathematics is the most accurate way for humans to describe the nature of reality.
CS is based on Math, but it is then applied to a construct created by humans that does have applications in the everyday world, but is still a construct. It's pretty amazing how big of a construct it is, particularly when you consider the internet, and how reliant most of us have become upon it. And would you say it's a fairly consistent construct, too? It seems like it ought to be, but I can't say firsthand.
Yes, it does seem to be a consistent construct. However, one of the results of this construct is that no construct in itself can ever be used to prove the consistency of a given construct. This is what Gödel's theorem proved for just regular arithmetic. As such, there really is no way to truly know whether the construct of computer science - or anything with mathematics for that matter - is really consistent.
Which is similar in essence, I believe, to certain considerations in neurology regarding the ability of the brain to study the brain. These are the paths of reasoning that lead some people to start drinking heavily. :)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
no subject
Date: 2008-06-12 05:19 pm (UTC)no subject
Date: 2008-06-12 05:22 pm (UTC)no subject
Date: 2008-06-12 06:11 pm (UTC)CS is based on Math, but it is then applied to a construct created by humans that does have applications in the everyday world, but is still a construct. It's pretty amazing how big of a construct it is, particularly when you consider the internet, and how reliant most of us have become upon it. And would you say it's a fairly consistent construct, too? It seems like it ought to be, but I can't say firsthand.
no subject
Date: 2008-06-12 06:17 pm (UTC)no subject
Date: 2008-06-12 06:39 pm (UTC)no subject
Date: 2008-06-12 06:42 pm (UTC)no subject
Date: 2008-06-12 06:45 pm (UTC)no subject
Date: 2008-06-12 06:45 pm (UTC)no subject
Date: 2008-06-12 06:48 pm (UTC)no subject
Date: 2008-06-12 06:48 pm (UTC)no subject
Date: 2008-06-12 06:54 pm (UTC)no subject
Date: 2008-06-12 06:57 pm (UTC)no subject
Date: 2008-06-12 07:01 pm (UTC)no subject
Date: 2008-06-12 07:02 pm (UTC)no subject
Date: 2008-06-12 07:08 pm (UTC)no subject
Date: 2008-06-12 07:10 pm (UTC)no subject
Date: 2008-06-12 07:14 pm (UTC)no subject
Date: 2008-06-12 07:22 pm (UTC)no subject
Date: 2008-06-13 12:14 am (UTC)no subject
Date: 2008-06-13 12:22 am (UTC)no subject
Date: 2008-06-13 01:32 am (UTC)no subject
Date: 2008-06-13 02:15 am (UTC)