I bought this book and the title is misleading.

The book should be called Mathematics and Theory of computation

xdavidliu 6 hours ago | parent | next [-]

is there a more accepted connotation of the lone word "computation" that means something different from "theory of computation" (in the sense of turing machines, computability, decidability, complexity classes, Sipser) etc?

	▲	j2kun 5 hours ago \| parent \| next [-]
		I could see someone interpreting "computation" to be more practical.
	▲	vatsachak 2 hours ago \| parent \| prev [-]
		Yeah, actually computing things imo

▲

jlarcombe 5 hours ago | parent | prev [-]

the Oxford joint schools degree was called "Mathematics and Computation" for many, many years

	▲	vatsachak 2 hours ago \| parent \| next [-]
		These days you can have math and real computation; proving theorems through reducing terms in Lean
	▲	chihuahua 5 hours ago \| parent \| prev [-]
		I got the impression that they thought computer science was a fad that was going to go away soon.