1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

■ このスレッドは過去ログ倉庫に格納されています

0001１３２人目の素数さん

2010/11/11(木) 22:13:57

数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは岩波文庫「不完全性定理」 6.4 数学基礎論の数学化などを参照）

従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。

前スレ
数学基礎論・数理論理学のスレッド　その6
http://kamome.2ch.net/test/read.cgi/math/1265884076/

0002１３２人目の素数さん

2010/11/11(木) 22:17:05

0003１３２人目の素数さん

2010/11/11(木) 22:17:25

以降こちらでどうぞ。
http://kamome.2ch.net/test/read.cgi/math/1288001068/

0004１３２人目の素数さん

2010/11/12(金) 00:41:01

>>0' 乙

0005１３２人目の素数さん

2010/11/12(金) 00:41:36

>>1
乙

復活祝。

0006１３２人目の素数さん

2010/11/12(金) 01:56:07

猫に小判、まで読んだ。

0007１３２人目の素数さん

2010/11/12(金) 03:10:13

>>3
数学板名物　強迫観念的過剰整理集約者

0008１３２人目の素数さん

2010/11/12(金) 07:21:26

Well-Pointed 付き圏が形成するような、
ZFC、GBなどの代替2階述語空間では
バベリアン・ライブラリ圏を定義できます。
これはバベルの図書館的情報海をヒントに作られた
表現可能宇宙全体をスタックとして移動していきます。
つまるところ定義自体が定義の生成圏となっています。

0009１３２人目の素数さん

2010/11/12(金) 07:38:54

>>8
隔離スレへ帰れ！ハウスハウス！

0010１３２人目の素数さん

2010/11/12(金) 07:44:02

無限集合論のアーレフなんかも
数種類知られているが、
キリスト教徒による無限の解釈は
濃度の非切断性による圏論的定式化だったといわれている>>8

■ このスレッドは過去ログ倉庫に格納されています

数学基礎論・数理論理学のスレッド その7

数学基礎論・数理論理学のスレッド　その7