A da Costa and F A Doria, Undecidability and incompleteness in classical mechanics (1991)

by N C
Venue:Classical physics and Penrose’s thesis, Foundations of Physics Letters 4