阿克曼
德国数学家和逻辑学家。早年是希尔伯特的学生,以后在明斯特任教授。阿克曼的主要贡献在数理逻辑方面。他特别研究了证明论或元数学(me-tamathematics)。主要著作有《理论逻辑基础》(Grunduge dertheoretischen logik,1928,与希尔伯特合著;中译本《数理逻辑基础》,1958,科学出版社)、《判定问题的可解类型》(Solvable cases of the de-cision problem,1954)等 ...... (共245字) [阅读本文]>>