[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

345: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:02 ID:9MLt2+C6(5/17) AA×
>>343

外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
345: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 11:02:48.90 ID:9MLt2+C6 >>343 下記の ”自己言及の論理と計算∗長谷川真人”が 参考になるだろう ”自己言及と対角線論法”がいいね (参考) https://www.kurims.kyoto-u.ac.jp/~cs/cs2011_hasegawa.pdf 自己言及の論理と計算∗長谷川真人 ∗京都大学数理解析研究所数学入門公開講座（2002年8月5〜8日）の予稿を改訂（2006年5月／2007 年8月／2011年6月） 自分自身について述べることの難しさと面白さは，日常誰でも経験することだと思います．以下では，数理論理学と計算機科学の密接な関係を示す好例として，自己言及から生じる様々なパラドックスなどの数理論理学における問題，また自分自身を呼び出すような再帰的なプログラムやデータ構造に関する問題などについて，統一的な視点から考察します．また，後半では，自己言及現象の自明でないモデルの例を，実際に構成します． 目次 I 自己言及と対角線論法 1 ラッセルの逆理 2 カントールの対角線論法 3 自己適用 4 停止性問題 5 対角線論法から不動点へ 6 不動点定理から具体例を見直す II 矛盾したものを構成する 1 完備半順序集合と連続関数 2 最小不動点の発想 3 最初の試み 4 埋め込みと射影 5 なぜ失敗したか 6 正しい解の構成—逆極限法 http://rio2016.5ch.net/test/read.cgi/math/1761878205/345
下記の 自己言及の論理と計算長谷川真人が 参考になるだろう 自己言及と対角線論法がいいね 参考 自己言及の論理と計算長谷川真人 京都大学数理解析研究所数学入門公開講座年月日の予稿を改訂年月 年月年月 自分自身について述べることの難しさと面白さは日常誰でも経験することだと思います以下では数理論理学と計算機科学の密接な関係を示す好例として自己言及から生じる様なパラドックスなどの数理論理学における問題また自分自身を呼び出すような再帰的なプログラムやデータ構造に関する問題などについて統一的な視点から考察しますまた後半では自己言及現象の自明でないモデルの例を実際に構成します 目次 自己言及と対角線論法 ラッセルの逆理 カントールの対角線論法 自己適用 停止性問題 対角線論法から不動点へ 不動点定理から具体例を見直す 矛盾したものを構成する 完備半順序集合と連続関数 最小不動点の発想 最初の試み 埋め込みと射影 なぜ失敗したか 正しい解の構成逆極限法

---

上下前次1-新書関写板覧索設栞歴

---

あと 657 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.048s