Logic, Information, and Computation

<p>I was just wondering if anyone could tell me anything about the Logic, Information, and Computation major in the College. It looks like it is a combo of math and comp sci but I can't find a lot of info on it. Also, is it a relatively new major because I haven't really found anyone with the major under Career Services?</p>

<p>i think i read a description of it like a month ago, I don’t totally remember what it said though. Pretty much what you said though I think. Does anyone else know for sure?? It sounds interesting</p>

<p>Yea because I like math and numbers (just not proof math)… is this similar to proof math though? I figured comp sci would be more applied.</p>

<p>Aren’t you in Wharton already though (based on your location)</p>

<p>yes but I was just looking at minors or dual degrees</p>

<p>gotcha; i just found the paragraph I saw a while back which I printed out. Idk if you have seen this already. It says: its a combo of computer and information science, linguistics, mathematics, and philosophy to offer students a systematic and integrative approach to the study of pure and applied logic, including applied mathematics of information and computation.</p>

<p>It doesn’t really exist (a good friend of mine is a Philosophy and Computer Science double major, going on to get a PhD in logic - he told me this major basically doesn’t exist)</p>

<p>Wow. I feel tricked by Penn!!</p>

<p>It’s not a scam per se - it’s kind of like BBB or PPE - it’s a major constructed of classes from multiple departments without a department of its own. In this case, however, no one’s actually enrolled in the major.</p>

<p>Might make for a decent second major, but you’d probably be better off going straight CS or Philosophy.</p>

<p>Millhouse, I don’t think you’d like it if you don’t like ‘proof math’ (I would say anything that is not proof math is not real math anyway). I think logic in general and the kinds of topics you’d cover in a program like this are fairly theoretical, including stuff like recursion theory, finite model theory, metamathematics and stuff.</p>

<p>I’d just like to throw out the fact that a lot of majors are incredibly flexible, meaning you define what it will be like by picking specific classes. If you’re majoring in biology, for example, you can concentrate in computational biology so a bunch of math and computer science classes can count. So it might be useful to think of any major as a collection of individual classes as opposed to a single major program.</p>