[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 99 KB, 561x595, computer_science_major.png [View same] [iqdb] [saucenao] [google]
7064312 No.7064312 [Reply] [Original]

why aren't you doing a PhD in theoretical computer science /sci/?

>> No.7064316

>>7064312
>phd in CS
>uneployment upon completion
>10k starting at burger king

>> No.7064318

Is "theoretical computer science" a new buzzword for writing video game reviews and solution guides?

>> No.7064320

>>7064312
I don't really care about computer science.

>> No.7064321

>>7064316
I'm doing a PhD in Denmark atm, getting 22 000 DKK per month, which is around 3354 dollars.

>> No.7064325

>>7064312
>tfw you actually have read sipser
great book btw

>> No.7064331

>>7064312
well, im doing a PhD in computational mathematics which is largely the same thing

>> No.7064333

>>7064320
>not caring about the most important science there is

>> No.7064337

Because I got a CS degree. I didn't learn enough math to do theoretical computer science. Wish I studied math instead.

>> No.7064340

>>7064333
>fishing this obviously

>> No.7064343

>doing a PhD in computer science
>ever

>> No.7064346

>>7064340
say thanks to Alan Turing, otherwise you would be doing something else right now ;)

>> No.7064347

>>7064337
I studied math undergrad and have enough math to do a PhD in theoretical computer science. But I think I may go into Big Data instead. More money in the field and I could easily find a job outside of academia. For TCS the only type of jobs I could get would be within academia.

>> No.7064378

>>7064312
Better off doing it in Mathematics and gaining more respect.

>> No.7064382

>>7064378
TCS is mathematics, retard.

>> No.7064390

>>7064312
>needing a phd to learn how to code

>> No.7064402

>>7064312
Because I'm not interested in the topic. And I don't like the idea of sitting with stinking, unkempt CS students in one room.

>> No.7064413

>>7064402
>le edgy face

>> No.7064429

>>7064390
TCS dont tend to code

>> No.7064470

>>7064316
>Not patenting your work and making mad dosh

>> No.7064768
File: 640 KB, 500x573, 1421501316236.gif [View same] [iqdb] [saucenao] [google]
7064768

>mfw there is a wymyn doing facebook research at my cs department

>> No.7064814

>>7064312
>PhD in theoretical computer science

This is basically a pure Math degree specializing in logic.
There is a HUGE difference between a practical programmer and a theoretical CS major.
I have known good CS PhD's that can barely program.

>> No.7064845

>>7064814
then how did (s)he pass undergrad/master?

>> No.7064935

>>7064845
ignore him, my supervisor is doing mostly theoretical research but he's a red coder on topcoder.com (ie rated among the best in the world in algorithmic programming competitions).

shit coding like web dev or mobile apps, is just shit coding that any 10 year old can do if put the time.

>> No.7064999

>>7064935
Scot Aaronson isn't a good coder.

>> No.7065287

I've known some CSc grads. They mastered prolog in like an hour but can't code in python for shit.

>> No.7065413
File: 44 KB, 300x338, 2797.jpg [View same] [iqdb] [saucenao] [google]
7065413

>>7064935
>shit coding like web dev or mobile apps, is just shit coding that any 10 year old can do if put the time

mfw it's true

>> No.7065418

>>7064312
>theoretical computer science
What do you do? Work on new types of loops? Make Google faster? Invent new useless languages?

>> No.7065440

>>7065418
Probably something like this if you're cool: http://deepmind.com/

>> No.7065453

>>7065418
It has the word "theoretical" in it and Sheldon Cooper says that a lot, so it must be smart.

>> No.7065455

>>7064312
Because I'm getting a degree in pure mathematics, because I don't lack conviction. Turing was a mathematician, as was Church, and Conway. Why CS didn't just stay inside of discrete math is beyond me.
>inb4 can't feed a family of four
At least I'm studying something that I love, right?

>> No.7065457

>>7065418
Now I'm also curious; what do you do?

>> No.7065466

>>7064312
>uses big words to sound smart
>not actually complicated material

>> No.7065472

>>7065457
I'm a 4th year student in CS.

>> No.7065473
File: 45 KB, 500x500, 1417383317225.jpg [View same] [iqdb] [saucenao] [google]
7065473

>mfw the hardest problem in theoretical cs deals with polynomials
Do these people actually have Down's?

>> No.7065476

>>7064321
>40k/yr working on your phd

not rich enough

>> No.7065502

>>7065473
6/10, i kek'd

>> No.7065665

>>7065418

I'm not the best one to ask on it, but I'd say it's probably about the study the theory of computation. Stuff like the different complexity classes (P, NP, #P, PSPACE, EXPSPACE, etc) and their relations, study differnet forms of computation, shit like that.

>> No.7065812

>>7065418
Invent new languages. Enjoy OOP? Functional?

>> No.7065855

>>7064312
>why aren't you doing a PhD in theoretical computer science
because doing a joint PhD in theatrical Physics and recreational Mathematics

>> No.7065947

>>7065418
Anyone doing serious programming work uses formal verification techniques, all pure theoretical CS

>> No.7065949

>>7065476

Don't you people get paid by the university for getting your PhD as well?

>> No.7065954

>>7065418
"Theoretical" means you don't do anything with it, like theoretical math and theoretical physics.

>> No.7066019

>>7064312
Because P=NP

>> No.7066099

>>7064312
This is b8.

>> No.7066339

can someone give me a babby tier learning website/book where I learn how to proof that languages are decidable/enumerable? I really suck at this entire topic, especially due to the notation of things like <span class="math">E = \{\langle M \rangle | L(M) = \emptyset \}[/spoiler] and this clusterfuck <span class="math">\langle M \rangle, M, M', M'', \langle M,w \rangle[/spoiler]. Some websites have a different notation like <span class="math">A_{H}, R_{P,w}^3[/spoiler] and shit like that, which I don't understand either. I would really appreciate some help from a PhD in CS. Is there an intuitive way of dealing with this?

>> No.7066359

Because Theoretical Computer Science is easy math. You learn all that shit in Discrete.

>Induction is so hard

>> No.7066398

>>7066359
>Quantum Computing subset of theoretical CS
>"easy math"
lel'd

>> No.7066403

>>7066398
it is. you just think graph theory and combinatorics is hard. tcs is easy math

>> No.7066407

>>7065418
A quick search would show you that it includes different subjects like: Logic, automata theory, number theory, graph theory, crypotography, type theory, quantum computing, AI, and many others. Of course also computational complexity theory, with the P vs NP problem.

In CS, it is important that any paper also has some value in a practical sense, besides the theoretical sense.

>> No.7066409

>>7066403
Except that combinatorics and graph theory are as hard as you want them to be, bitch, with unsolved problems and problems that have been solved that were rewarded with field medals. Are you one of those retards that thinks if it isn't some arcane subset of algebraic geometry, it isn't hard?

>> No.7066417

>>7064768
TU KL?

>> No.7066454

>>7066409
>2015
>Not doing Cohomology
>Pleb

>> No.7066513

>>7066403
>>7066409
Every field is very hard, as you compete with the top guys in your field.
One might divide into difficult and much work - math is usually both. What it the point of this comparison?

>> No.7066519

>>7064312
I think you mean
>Why aren't you doing a PhD in Theoretical Computer Science, /sci/?

>> No.7066559

>>7066519
Based autist

>> No.7066574

>>7066019

It is obvious that P != NP

It's just that nobody has figured out how to prove it yet.

>> No.7066605

>>7066574
If it's obvious, the proof would be obvious too wouldn't it?

>> No.7066607
File: 148 KB, 410x391, 1411583018037.png [View same] [iqdb] [saucenao] [google]
7066607

>>7064316

>> No.7066611

>>7066574
>It is obvious that P != NP

No.

>> No.7066628

>>7064768
>"facebook research"
>consists of stalking chads page, imagining him forcing himself upon her

>> No.7066648

hi i don't want to create a thread just for this stupid question, i am going to attend bachelor degree level statistics, does it mostly require integrals, differentials equations or both?

>> No.7066728

>>7066605

Sometimes it is obvious that an anon is a faggot even though we can't prove he's a faggot.

>> No.7066771

>>7065418
Making Google faster is a worthy objective, one on which they spend a lot of money.