アロンゾ・チャーチ
アロンゾ・チャーチ、アラン・チューリング、クルト・ゲーデル、ジョン・フォン・ノイマン、クロード・シャノン、ウォーレン・ウィーバーらによる一連の成果である。それらの理論は（直接には）哲学とは無関係だが、チューリングのように（チューリング・テストなど）哲学的な考察もまた行われた。