数理論理教の歴史（概略）（４）、チューリング・チャーチのプログラミング祖型創造、情報処理に姿を変えて世界に蔓延している？ - 数理論理教（科学教）の研究

テクノロジーカテゴリーの変更を依頼記事元:

blog.goo.ne.jp/mtk21c

1 userがブックマークコメント

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

<iframe marginwidth="0" marginheight="0" src="https://b.hatena.ne.jp/entry.parts?url=https%3A%2F%2Fblog.goo.ne.jp%2Fmtk21c%2Fe%2F02839241062bea60e849e1bfdc58decc" scrolling="no" frameborder="0" height="230" width="500"><div class="hatena-bookmark-detail-info"><a href="https://blog.goo.ne.jp/mtk21c/e/02839241062bea60e849e1bfdc58decc">数理論理教の歴史（概略）（４）、チューリング・チャーチのプログラミング祖型創造、情報処理に姿を変えて世界に蔓延している？ - 数理論理教（科学教）の研究</a><a href="https://b.hatena.ne.jp/entry/s/blog.goo.ne.jp/mtk21c/e/02839241062bea60e849e1bfdc58decc">はてなブックマーク - 数理論理教の歴史（概略）（４）、チューリング・チャーチのプログラミング祖型創造、情報処理に姿を変えて世界に蔓延している？ - 数理論理教（科学教）の研究</a></div></iframe>

プレビュー

規約違反を報告

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

数理論理教の歴史（概略）（４）、チューリング・チャーチのプログラミング祖型創造、情報処理に姿を変えて世界に蔓延している？ - 数理論理教（科学教）の研究

数理論理（科学）はどこから来て、どのような影響を与え、どこに行こうとしているのか、少しでも考えて... 数理論理（科学）はどこから来て、どのような影響を与え、どこに行こうとしているのか、少しでも考えてみたいと思います。人文系１９３６年にアロンゾチャーチとチューリングはそれぞれ別の方法で、「一階述語論理の決定問題は解決不能」との結論に至りました。この問題は純粋に数理論理学の課題を解決しただけですが、副産物としてコンピューターの「プログラム言語の祖型」を生み出すことになりました。「アロンゾ・チャーチが考案したラムダ計算は、彼が一階述語論理のための一般的決定手続きが存在しないことを証明する手段となった。　「手続き型」あるいは「命令型」に分類される。　ALGOLのような初期のプログラミング言語とラムダ計算の間に構造的な関係があることは、かなり以前から知られていた。ALGOLからはPASCALやCが派生し、CからはC＋＋、JAVA、C♯といった多くの言語が派生した。　関数型プログラミング言語である