Undecidability and incompleteness in classical mechanics