> "Computer Science" does not seem very very interested in the provability of their science ...uh, what computer science are you talking about? Formal verifica

> "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?