/sci/ - Science & Math

>>9001547
>>9001510
Computability theory isn't dead. Also, Computability theorist tend to be in the math department. At my school, there have been several computability theory mathematicians in the mathematics department. Have you ever heard of Reverse math? That is not a topic in computability theory taught to CS students.

https://en.wikipedia.org/wiki/Reverse_mathematics

If you want to do research in computability theory then look at places like Berkeley, Notre Dame, Wisconsin, Waterloo, Cornell, Vanderbilt, Chicago, Dartmouth.

Just the top of my head:

Grothendieck
Turing
Godel
Euler
Galois
Cauchy
Lagrange
Kolmogorov
Archimedes

Who is the greatest mathematician of all time and why is it GauB?

Would someone algebra-savvy give me some self-study guidance?
I study math (finishing masters next year) but I didnt really enjoy it. Lately, I really got into algebra though. Problem is, I always learnt only enough to pass the exams, so I lack knowledge deep enough to do some at least partially serious science work.
I have general understanding of stuff like basic algebra, commutative algebra, finite fields, even algebraic geometry and algebraic number theory. Reading and understanding proofs is ok, but when I try to prove something myself, I fail miserably. I would really like to get deeper knowledge of this stuff, to be able to do something on my own.

Now the question:
Can you please recommend books that I should self-study - something for people already familiar with algebra stuff, but want to get deeper understanding? Thanks a lot.