差分
ナビゲーションに移動
検索に移動
細
アロンゾ・チャーチも存在しうるあらゆる言語を発明しているが、より巧みに行った。チャーチのラムダ計算はCにあまり似ていなかったために無視されることになった。この批判はCがまだ考案されていないにもかかわらず起きている。[[アロンゾ・チャーチ]]も存在しうるあらゆる[[プログラミング言語]]を発明しているが、より巧みに行った。チャーチの[[ラムダ計算]]は[[C言語]]にあまり似ていなかったために無視されることになった。この批判は[[C言語]]がまだ考案されていないにもかかわらず起きている。
== 1936 ==
== 1940年代 ==
