哲学

マルゼミ
Helen Tonerらの「民主的AI」論

2023年11月17日、サム・アルトマンはOpenAIのNPOの取締役会(ヘレン・トナー、イリヤ・スーツキーヴァー、アダム・ダンジェロ、ターシャ・マッコーリーで構成)の不信任に基づきCEOを解任されました。今回のOpen […]

続きを読む
ジャンル
ChatGPTと大規模言語モデル関連ページ

2023/07/29「創発について考える」 GPT-4との対話は、我々は、我々人間が作った構造の上で、初めて新しい構造が「創発」されていることを目撃しているのかもしれないという問題意識を生み出しています。 ただ、今回のセ […]

続きを読む
マルゼミ
創発について考える

(旧題「エントロピーと創発」) セミナーのタイトルを、「エントロピーと創発」から「創発について考える」に変更しました。(2023/07/19) はじめに GPT-4との印象的な対話 この間GPT-4と「対話」を楽しんでき […]

続きを読む
マルレク
GPT-4 との対話 -- プロンプトで遊ぶ --

講演資料と講演ビデオ 資料は、カーソルを合わせるとスクロールできます。「はじめに ... 」「Part 1 ... 」などのタイトル部分をクリックすれば、動画に移動します。 はじめに -- 対話を通じて分かったこと、問題 […]

続きを読む
マルレク
GPT-4 Technical Report を読む

マルレク「GPT-4 Technical Report を読む」へのお誘い 申し込みページ:https://gpt4-report.peatix.com/ このところ数学寄りの内容が多かったので、5月のマルレクは、IT […]

続きを読む
数理哲学
数理哲学論文

丸山の博士課程時代の論文です。修士の時に、ゲーデルやコーヘンについて論文を書いたはずですが、見つかりませんでした。 カテゴリー論と認識の理論 カテゴリー論と認識の理論 -- F・W・ローヴェールの数学思想丸山不二夫198 […]

続きを読む
マルゼミ
マルレク・コンテンツ一覧

2023年 2023/01/28「AIは意味をどのように扱っているのか? -- ChatGPT の不思議」 2023/01/14 「なぜ?で考える ChatGPT の不思議」 2022年 2022/12/24「ことば […]

続きを読む
マルゼミ
量子計算の古典的検証

11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]

続きを読む
マルゼミ
「同じ」を考える -- Univalence Axiom 入門

2022/03/01 マルゼミ「「同じ」を考える -- Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える -- 「型の理論」入門」をベースにして、Homotopy Ty […]

続きを読む
ever-green
「プログラム と論理」関連ページ

論理学と数学的証明 数理哲学への招待 数学を無味乾燥なつまらない学問だと思っている人は、少なくないと思います。大学受験の世界では、数学は、決して人気の科目ではありません。また、「数学なんて、生きていくのに役に立つの?」と […]

続きを読む