柯尔莫哥洛夫对阿诺德说：“我开始想关于n体力学的问题，我们未来在研究动力学系统的时候，必须要面对这个严肃的问题。”
阿诺德说：“n体问题属于不可积分的难题，只能寻求级数解。换言之，这类系统无法根据初始条件求出描述系统未来确定性行为的精确解。力学系统一般说来不可积分，可积分系统只是极少的特例，并指出共振项可能影响级数的收敛性。”
柯尔莫科洛夫说：“我们要研究弱不可积系统问题。”
阿诺德说：“哈哈，柿子捡软的捏。”
柯尔莫哥洛夫说：“在扰动较小也可以说非线性程度比较小、V足够光滑、离开共振条件一定距离等三个条件下，对于绝大多数初始条件，弱不可积系统的运动图像与可积系统基本相同。”
阿诺德说：“在满足一定条件下近可积系统绝大多数解是规则的，其相轨迹被限制在一个由n个运动不变量决定的n维环面上，该环面与可积系统的环面相比有微小的变形，但拓扑结构不变，称为不变环面；确切些说，相空间分成大小两组体积非零的区域。”
柯尔莫哥洛夫说：“在大区域中仍然保持着与可积系统类似的环面结构；也有一些“随机”解，但被限制在环面之间，成为“随机”层。”随机二字打上引号表示并非真正的随机，而是因为系统的性态随初值的敏感而呈现混乱，这仍然是混沌现象的决定性的表现
阿诺德说：“因此，近可积系统与可积系统的解相差不多，这时确定性与“随机性”共存。”
柯尔莫哥洛夫说：“当然，随着摄动的加大，上述条件受到破坏，我说的这个不再适用。分隔相邻“随机”层的环面将逐个破裂，“随机”层也相应变大，这时系统的所有可能解中大部分都是混沌解。”
阿诺德说：“轨道的不稳定性是力学系统运动中出现随机性、不可预言性和混沌的原因。”
Kolmogorov 在1954年世界数学家大会上指出：非退化的可积系统在保守的微小扰动后，虽然某些不变环面一般说来会被扰动破坏掉（称为共振环面），但仍会有相当多的环面被保存下来，也就是说整个相空间中仍然有许多的相流的运动是非常简单的（直观地，可以想象二维平面虽然没有被同心圆分层，但仍有许许多多的同心圆保存了下来，每个圆上的相流都共扼于一个旋转，只是相邻的两个同心圆之间相流的运动会比较复杂一些）。
阿诺德后来与德国数学家moser也开始通信讨论这个问题。
moser说：“不可积的哈密顿系统又是什么样子？”
阿诺德说：“直到现在也不完全清楚，也许永远也搞不清。但是由已知的东西出发探索未知的方法提醒我们应该先去了解充分接近可积的系统是什么样子。”
moser说：“我们现在准备试图证明这个定理。”
阿诺德说：“有什么好的办法码？”
moser说：“用牛顿迭代的办法了。就是找一系列的典则变换，不破坏哈密顿方程的式，一步步地变换近可积的系统使之越来越靠近一个可积系统，只要对参数的大部分点能做到就行。由于在迭代过程中会出现所谓的“小分母”，用通常的牛顿迭代法无法保证最终无穷多步变换的复合收敛，但利用改进的牛顿迭代方法克服了小分母带来的麻烦，从而完成了定理的证明。”
阿诺德说：“这个办法不错。”
moser说：“Sigel也对这个工作感兴趣，他在考虑圆周映射的线性化时，也曾提出过类似的证明思想，我在降低该理论对可微性的要求上又作出了一些重要的工作。”后来，John Nash 在他证明有关黎曼嵌入的论文中，也用到了类似的迭代方法（当然是独立完成，甚至可能早于moser），于是，后人又把他们的证明方法叫做 Nash-moser 迭代。
阿诺德说：“曾经的遍历性假设是猜测：通有的哈密顿系统，相流是遍历的。如果按照我的理论，遍历性假设不攻自破？由于可积系统不是通有的系统，一般的系统都是不可积的，因此由相流不遍历的可积系统并不能否定遍历性假设，但是我们知道近可积系统却是通有的。如果我们考虑 4 维的相空间，其等能面是三维的，如果该近可积的系统有不变二维环面存在，则此环面必将能量面的其余部分分割为不连通的两块，相流不可能从环面一边跑道另一边，所以也就不会有何遍历性可言。”
moser笑说：“不知道当年 Fermi 是怎么证明了遍历性假设的。不过据说他开密码锁也是一把好手。”Fermi当年的工作恰恰发现了不遍历性。说的是他搞了一批耦合谐振子，原来觉得能量可以自由的在自由度之间流动，最终达到玻尔兹曼分布。结果后来发现根据初始条件不同，能量卡在若干个自由度之间来回变，永远不会达到玻尔兹曼分布。验证了动力系统中，遍历性假设不是先天靠谱的。
阿诺德说：“我在想，共振环面破裂后到底会怎样？”
moser说：“这个问题仍没有完全解决。目前大家都比较清楚的是：一般会有较低维数的环面存在，分椭圆环面，双曲环面等，，也就是说仍然还有比较规则的相曲线；同时还会有一些很不规则的轨线，有人称之为 mather 集；甚至还有所谓的“马蹄”。”
KAm 理论，不仅是 Kolmogorov 定理本身，还包括为证明该定理所发展的一系列方法，该理论诞生至今虽已近半个世纪，但仍在不断的发展和完善中。它所应用的范围也不仅限于哈密顿系统，对于可逆系统，保体积映射，以及无穷维哈密顿系统（包括一些特殊的偏微分方程）都发展出了相应的 KAm 理论。甚至可以说，凡是有小分母出现的地方，就是 KAm 大显身手之处。