なぜ、Linuxユーザーはこんなに知的で魅力的なのか? (227ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
38: [age] 2021/12/07(火)20:34:42.76 ID:18owKgS3(9/14) AAS
コンビネータ論理は元来、本質的に量化変数を消去することによって量化
変数の役割を明確にするような「pre-logic」を意図していた。
量化変数を消去する方法にはクワインの述語関手論理がある。
コンビネータ論理の表現力は一階述語論理を超える一方、述語関手論理の
表現力は一階述語論理と同等である。
コンビネータ論理の最初の発明者であるモイセイ・シェインフィンケリは、1924年の論文以降
それについて何も出版していない（ヨシフ・スターリンが1929年に権力を確固なものとして
からはほとんど出版を行なっていない）。
47: 2021/12/07(火)21:12:19.76 ID:MErHqQ4k(6/10) AAS
ノーベル物理学受賞の真鍋氏は流石ですね。
でもマスコミは同氏がアメリカ市民という事情なのか
それほど取り上げられていないように思います。
何か特集番組がありましたか？
128: 2021/12/30(木)21:06:49.76 ID:GghUVOkG(1) AAS
>>117
貧乏人に多いの間違いだろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s