4 ms·
In response to the dead comment "Is CS a subfield of math or is math a subfield of CS?" This is quite an interesting question because I watched a Robert Harpe
by bbcbasic 10y ago
In response to the dead comment
"Is CS a subfield of math or is math a subfield of CS?"
This is quite an interesting question because I watched a Robert Harper lecture where he argues the latter.
In a nutshell proofs can be mathematical objects and in particular they can be seen as programs.
- Qwertious 10y agoSounds a bit like 'declarative vs imperative'.
- agumonkey 10y agoWhen you use information to deduce information about information, you're doing both I guess. Abstract math was elusive to me in college because it was folding over itself, there was no concrete object layer as before. Anything could be reflected about. Sets of applications from sets of applications to sets of sets. After looking at lots of CS ideas I kinda recognize this too. You encode relationships between anything and deduce new relationships.
- marcosdumay 10y agoBoth. CS and Math are equivalent. You can both represent all math expressions in the form of computer programs (what makes programming a superset of doing Math), and can represent all programs as mathematical expressions (what makes doing Math a superset of programming).