|
|
|
|
|
|
by noosphr
218 days ago
|
|
|
> Another thing we can learn from the past is the failure of characterizations like "Computing Science is really nothing but X", where for X you may substitute your favourite discipline, such as numerical analysis, electrical engineering, automata theory, queuing theory, lambda calculus, discrete mathematics or proof theory. I mention this because of the current trend to equate computing science with constructive type theory or with category theory. https://www.cs.utexas.edu/~EWD/transcriptions/EWD12xx/EWD124... |
|
|