数学上の主な業績

ウィキペディア小見出し辞書

数学上の主な業績

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/03 05:57 UTC 版)

「アロンゾ・チャーチ」の記事における「数学上の主な業績」の解説

チャーチの業績は多岐にわたっているが、主なものとしては、 「チャーチ＝チューリングのテーゼ」の提唱 [1] 1階述語論理の決定不可能性証明 [2] ラムダ計算の創案 [4] が挙げられる。この他にも、公理的集合論、型理論、内包論理に関する業績があり、また数理論理学分野以外では、微分方程式論やラプラス変換に関する仕事もある。