Quoted By:
mathematicians are peons
they work at enlarging the vocabulary of some area of study
they're little fungus spores spreading their life
mathematics is the equivalent of psychedelic mushrooms for a mathematician
it's creation of the language of study!!
Computer science is actually a great source of applications for mathematics.
However, it tends to already be a part of operations research, probability, network theory, graph theory, and applied math in general.
Enthusiasm for developing a standard formal derivation (proof) format and teaching it outside mathematical logic courses is nonexistent. This fundamentally limits math-cs exchange of information. No standard proof format, not much awareness of proof usefulness outside security, compilers, databases.
The sort of stuff in Neuro-Dynamic Programming by Bertsekas and Tsitsiklis seems to me to be a very provocative statement about the math-cs barrier: where are the questions? What happened to this area of optimization? You really have to dig through the matter; it isn't like an ordinary math text at all, where the historical standard is completely different, as well as the ultimate aim: the study of phenomena that are reduced to logic puzzles, being inspired by phenomena to create logic puzzles, and so on.
Programmers are just monkeys.
