Giovanni Gallavotti, Guido Gentile Non recursive proof of the KAM theorem (51K, TeX) ABSTRACT. A selfcontained proof of the KAM theorem in the Thirring model is discussed, completely relaxing the ``strong diophantine property'' hypothesis used in previous papers.