2 ms·
This isn't a math thing[1], it's a theoretical computing model (ie instead of a Turing machine or lambda calculus, you can use this instead) that you might stud
by seanhunter 7mo ago
This isn't a math thing[1], it's a theoretical computing model (ie instead of a Turing machine or lambda calculus, you can use this instead) that you might study as part of studying computation theory or other bits of theoretical computer science.
[1] or not pure maths anyway. It's applied maths like all computer science.
- froh 7mo agois theoretical computer science (turing machines and automata theory, lambda calculus, complexity theory, computability, devidability, etc) pure maths? or applied maths indeed? tree calculus is theoretical computer science for sure. and that, computer science, in its beginnings at least, until the 1950s or so, was a field of mathematics, like algebra, or analysis or logic. all of which have pure maths parts and applied maths parts, don't they? long story short, I don't think theoretical computer science is "applied maths", it to the contrary can be deep in pure maths land.