[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
345: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:02 ID:9MLt2+C6(5/17) AAS
>>343
下記の ”自己言及の論理と計算∗長谷川真人”が
参考になるだろう
”自己言及と対角線論法”がいいね
(参考)
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
自己言及の論理と計算∗長谷川真人
∗京都大学数理解析研究所数学入門公開講座（2002年8月5〜8日）の予稿を改訂（2006年5月／2007 年8月／2011年6月）
自分自身について述べることの難しさと面白さは，日常誰でも経験することだと思います．以下では，数理論理学と計算機科学の密接な関係を示す好例として，自己言及から生じる様々なパラドックスなどの数理論理学における問題，また自分自身を呼び出すような再帰的なプログラムやデータ構造に関する問題などについて，統一的な視点から考察します．また，後半では，自己言及現象の自明でないモデルの例を，実際に構成します．
目次
省14
上下前次1-新書関写板覧索設栞歴
あと 657 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.147s*