是符号逻辑学会(Association of Symbolic Logic)的创 始人。对可计算性理论作出了实质性的贡献,其中包 括对判定问题的解、演算的发明,以及对现今称为 丘奇-图灵论题的陈诉。
基于1个网页-相关网页
符号逻辑学会
Society of Symbolic Logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动