News for hackers. Stuff that matters.

A comment on Foundations of Computer Science. Parent comment

Re:Foundations of Computer Science by RockyMcNuts on Monday June 24, 2013 @05:26PM (#5935790)
Computer science is the study of algorithms, information systems and anything that is computable.

Mathematics is the study of formal systems, eg proofs that can be derived from axioms using algorithms, i.e. a specific type of computable system.

Therefore, mathematics is a subset of computer science.

[ Parent | on HN ]
Re:Foundations of Computer Science by Retric on Monday June 24, 2013 @07:44PM (#5936495)
Math includes the study of non computable things. Also, Math includes chaos theory which is more than just a formal system.

EX: computable numbers are a subset of all numbers. http://en.wikipedia.org/wiki/Computable_number

[ Parent | on HN ]
Re:Foundations of Computer Science by RockyMcNuts on Tuesday June 25, 2013 @07:39AM (#5938720)
mostly kidding. but presumably the theorems about non-computable numbers are computable and therefore you're still working with computable things?
[ Parent | on HN ]