http://research.microsoft.com/en-us/um/people/lamport/tla/math-knowledge.html
>>8480886
That's like saying you want to prove X, so you look at the string of all mathematical proofs and choose the one that proves X and is correct and say that you're proof of X.
>>8480886
OP here, obvs I'm trollin but he is a savage:
BTFO CS fags @:
https://www.youtube.com/watch?v=FKFH_-QogN0&t=16m50s
https://www.youtube.com/watch?v=FKFH_-QogN0&t=22m55s
HOW CAN CS FAGS RECOVER?
>>8480888
>only procedural languages exist
so you don't know either math or CS
>>8480951
someone else here, please explain im curious to learn
>>8480966
https://en.wikipedia.org/wiki/Programming_paradigm
>>8480886
Computer science is a very broad field including stuff like theoretical computer science, information security, database theory, computer graphics theory, etc... The people working in theoretical computer science typically have a background that contains a combination of pure math as well as computer science and commonly identify as both computer scientist and mathematician because the nature of their work is pretty much pure math.
Leslie Lamport is one such computer scientist. The members in his audience are other such computer scientists. There is literally nothing surprising about the content of that link nor what happened in the talk.
You may now proceed to kill yourself.
>>8480886
>Leslie B. Lamport (born February 7, 1941) is an American computer scientist.
wow, a computer scientist talks about computer science
>>8481096
What a non answer
>>8480918
>HOW CAN CS FAGS RECOVER?
these are first semester first few months maths examples, incredibly simple. of course mathematicians have no problems with these, because if they did THEY WOULDNT BE MATHEMATICIANS.
I dont see how being able to use set builder notation or knowing what a permutation is would help a lot for a CS guy, either. but since it's so basic I guess they have no excuse
>>8481277
Honest question here. How does his algorithm work in OP's photo? It seems like the algorithm permutes all possible permutations of say an integer string & searches these permutations for the correctly sorted one. Is that the case?
If so are the strings in sorted order? How does the search work? What's the running time of his algorithm?
I am on mobile and want to watch the link but maybe someone can give me th TL DR version
>>8481299
It's non-deterministic. It's more of a definition of the results of a sorting algorithm than an algorithm itself
>>8480886
he seems very aggressive
did a CS graduate fuck his wife?
>>8481491
Mathematical program verification stands to revolutionize programming and computer science. The only reason it hasn't happened is because dumbfags say it's too hard and instead flock to placebo verification techniques like test driven development.