Major topics in CS

I wish to learn at least a bit about each of the major disciplines of CS. Can you please list all major fields you can think of?

lambda calculus

>>1
Computation touches every other major field of study in life. In fact, computation is the study of life, the Universe, and everything.

>>3
It is true that CS is the study of process, but surely you can see that, say, artificial intelligence has a much more direct connection to the subject than cooking, even if both rely on algorithms either way.

>>4
but surely you can see
I believe you are the one who fails to see.

http://arxiv.org/abs/1003.5831
http://arxiv.org/abs/1001.0785
http://arxiv.org/abs/quant-ph/0011122
http://arxiv.org/abs/hep-th/0002044
http://arxiv.org/abs/physics/0001020

set theory and more set theory

>>5
Very well, but in this case would you not say that it is the field that is used for many purposes, rather than each of the many things the field is used for being disciplines of computer science? Both a cook trying to figure out the fastest way to make a tasty cake and a programmer trying to create the best query optimizer are doing similar things, but few would argue that baking is an important facet of CS, while data management certainly is.

>>5
Oh, no, someone's quoting some of my favorite papers.
Not that I see where >>4 is going. Compuation and AI are connected quite a lot. Math (CS) can tell you what the perfect AI would look like: http://www.hutter1.net/ai/aixigentle.htm
Of course, that's hardly fair as that AI won't work in our resource-limited world, but even for realistic resource-limited AI projects, CS plays a major role in analyzing the model and making sure it stays within the tight resource bounds our present reality imposes upon us.

http://mind.sourceforge.net/aisteps.html

is your into to creating artificial intelligence
as the major be-all and end-all of Computer Science
and which is now finding expression as the German AI

http://code.google.com/p/mindforth/wiki/DeKi

>>9
``He says a lot about how brain structure affects linguistic processing. Here I agree with most of his general conclusions about how linguistic structure probably relates to brain structure and dynamics. However, I doubt that these general conclusions can be implemented simply in software. I think that the linguistic behaviors he discusses do come out of the brain structures he mentions, but that there's a lot of detailed brain structure and dynamics intervening between the two levels, which his software and theory don't embody. I could go into more details but don't have time right now.''

``In my view, although Arthur sometimes *presents* his ideas in a somewhat kooky way (by the standards of the mainstream scientific community, and even by the standards of this list), the ideas themselves are significantly better than most of what passes for cognitive science and AI. There is some deep thinking there. If anyone else but me is trying to survey all serious thinking on AGI, Murray's two papers I cited above should be looked at for sure.''


- Ben Goertzel

>>10
bbquote failure