3 ms·
That sounds like a rather narrow definition of science that will become even more obsolete in the years to come. With how far mankind has come, it's a little s
by filleduchaos 8y ago
That sounds like a rather narrow definition of science that will become even more obsolete in the years to come.
With how far mankind has come, it's a little silly to think that "natural" systems will remain the only things that science is concerned with.
- SahAssar 8y agoI think that their point is that "Computer Science" does not seem very very interested in the provability of their science (the "Science" part) nor the applicability for general purpose computing (the "Computer" part).
- filleduchaos 8y ago> "Computer Science" does not seem very very interested in the provability of their science ...uh, what computer science are you talking about? Formal verification is a huge part of CS, and provability is a tiny part of what makes science science - systematic study through observation and experimentation. Science is a discipline, not in itself a fact to be proved. Also, what parts of CS do you think are inapplicable to general purpose computing?