I was browsing Lamport's personal page and saw this.
http://www.lamport.org/
http://research.microsoft.com/en-us/um/people/lamport/tla/math-knowledge.html
Any comments on this?
Why should we? Linear algebra and multivariate calculus gets you through everything, except complexity theory and cryptography.
Who needs math when we have computers to do the math?
How the fuck did most CS students know what that was? You learn it in first year in any European university. Holy shit America sucks.
>>8478655
>this is the state of current CS students
I asked the same thing people on /g/ a few days ago. They tried to convince me that there are challanging problems in programming that don't require math knowledge.
When you think about it, it's true that CS programs at Universities don't teach how to use the math to solve computational problems.
Usually students have a few math courses in the beginning of the studies and then nothing.
They forget everything since they don't use it.
Unlike physics students, they use math all the time.
>>8478885
>How the fuck did most CS students know what that was?
they just did
>>8478652
>{f ∈ [1..N ⟶ 1..N] :
> ∀ y ∈ 1..N : ∃ x ∈ 1..N : f[x]=y}
What a gay notation.
{f ∈ [1, N]⟶[1, N] | (∀ y ∈ [1, N])(∃ x ∈ [1, N]) f(x)=y & [1, N]⊂ℕ}
>>8478975
or better yet [1, N]↔[1, N]
>>8478652
>>8479269
Written by a butthurt mathematician who didn't get his 300k starting job.