威廉·阿克曼

威廉·阿克曼德語:1896年3月29日-1962年12月24日),德國數學家,最著名的成果是計算理論的重要例子阿克曼函數

威廉·阿克曼

1928年他跟大衛·希爾伯特合寫《理論邏輯原理》(Grundzuge der Theoretischen Logik)。他又寫了Solvable cases of the decision problem (North Holland, 1954)。

他死於德國,終年66歲。

参见

外部連結

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.