，还开展了数理逻辑、理论物理学等领域的阐释性工作。此外，曼宁是1980年最早提出量子计算机想法的人之一，其相关着作为《可计算和不可计算》。
生平.1960年，马宁获得了斯捷克洛夫数学研究所的博士学位，导师是。他现在是马克斯·普朗克数学研究所的教授，以及西北大学的荣誉退休教授。