/sci/ - Science & Math

>>14607377
>Don't recommend Sipser please.
If you're filtered by Sipser you can't be helped. Sipser is baby-tier, extreme-clarity of subject matter. Everyone else is more obscure.

>>14607377
I recommend Sipser. Very good, sir, very good indeed. I recommended it my people in my local temple in my town Tigani. Are children get very good grades, very good.

>>14607488
i want something more rigorous than sipser

>>14607377
I liked this one in school

have you tried sipser?

>>14607377
>struggling with sipser
>wants something more rigorous
anon I think you have your priorities backward. Sipser eases you in before all of the algebra of automata theory proper

>>14607377
https://www.youtube.com/watch?v=7w_hO_1sPuA&list=PL_w_qWAQZtAYRxrBXDwlSGo5tgm7bXJqW

>>14609933
This man's lectures helped me. Supplement with books and exercise sheets.

>>14607377
Why dont you learn something useful for a change? Not really, like actually learn to program? Can you make a tetris game that actually runs? Fucking parasite, you will never be Alan Turing

>>14607377
what do you want to compute?

>>14610010
>>14610211
>hurr program instead
Being good at theory and implementing things in code are not mutually exclusive.
Just because you found solace in code after seething over math homework doesn't mean you have to force a choice on everybody else.

>>14612087
>Being good at theory and implementing things in code are not mutually exclusive.
Yes they are. You will never be Alan Turing

>>14612130
What does being Alan Turing have to do with anything. There are many successful people who did both, and there are many successful theorists whose name aren't Alan Turing.
Turing didn't even have the most contributions to computers or theory as his academic descendants...

>>14612533
You wont ever be some famous computer science theorist. Learn how to make programs that work and stop wasting your life on nothing.

>>14612559
>You wont ever be some famous computer science theorist.
Why do I care about being famous?
>Learn how to make programs that work and stop wasting your life on nothing.
Why can't I do both?

>>14607377
>Don't recommend Sipser please.
Sipser is pretty good, no?

>>14607687
He gives a formal definition of a Turing machine iirc. The field isn't more formal than the proof's there, you'll be disappointed.
Lambda calculus is a tad more formal, as the language is better controllable than muh tape states. But it's also less hands on I think - or let's say more programming like than Turing machines.

>>14612654
> The field isn't more formal than the proof's there, you'll be disappointed.
Depending on what you do, it is. You can do a book like Sakarovitch's Elements of Automata Theory and get a much more algebraic flavor. But I don't think it's in OP's best interest to do it anyway.

>>14607687
how are you struggling but want something more rigorous? Sipser is mathematically rigorous in the sense that its proofs are valid and precisely stated.

>>14612130
>>14612559

cringe beta faggot tryhard kys

>>14615250
Shitposters have been tryhards for like 4+ years at this point.

Read Alan Turing's work read about Alan Turing

>>14610010
This isn't nagoor babu school of java forums faggot. Fuck off. Programming and theory are not mutually exclusive unless you're some 17 year old retard kid that just started shitting up 4chan.

>>14607689
This is what I was reading while riding the subway, when suddenly these gangster kids came and made fun of me for reading a book. They called me a nerd and spat in my face. This happened 10 years ago and I'm still too traumatized to continue reading the book.

>>14607687
>i want something more rigorous than sipser
kek, enjoy

>>14607687
i feel like i've seen you post here before. sisper is rigorous. the only non rigor i've seen there is they glaze over a single result of real analysis and just assert it as true.

>>14612559
They could be if they go into academia. There's plenty of theoretical computer science to be done.