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/

0874１３２人目の素数さん

2011/06/21(火) 21:28:47.26

●M_SHIRAISHIスレ過去ログ
scienceサーバのログは壊れているのでmimizunで見てください。

M_SHIRAISHI ってどうよ
http://cheese.2ch.net/test/read.cgi/math/980602250/
M_SHIRAISHIの新論理ってどうよ？
http://cheese.2ch.net/test/read.cgi/math/987949450/
M_SHIRAISHIの新論理ってどうよⅡ
http://science.2ch.net/test/read.cgi/math/1004351895/
最近の fj.sci.math ってどうよ
http://science.2ch.net/test/read.cgi/math/1013232979/
最近の fj.sci.math ってどうよ２
http://science.2ch.net/test/read.cgi/math/1047609746/
エムシラ御大を称えるスレ　３
http://science.2ch.net/test/read.cgi/math/1057888054/
もっともっと、エムシラ御大を称えるスレ
http://science.2ch.net/test/read.cgi/math/1058799700/
エムシラ御大を称えるスレ５
http://science2.2ch.net/test/read.cgi/math/1062527427/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　６
http://science2.2ch.net/test/read.cgi/math/1073676260/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　7
http://science2.2ch.net/test/read.cgi/math/1077271218/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　8
http://science2.2ch.net/test/read.cgi/math/1078512063/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　9
http://science3.2ch.net/test/read.cgi/math/1082119768/

0875１３２人目の素数さん

2011/06/21(火) 21:29:12.99

0876１３２人目の素数さん

2011/06/21(火) 21:29:39.18

●M_SHIRAISHIスレ過去ログ(mimizun)

M_SHIRAISHI ってどうよ
http://mimizun.com/2chlog/math/cheese.2ch.net/math/kako/980/980602250.html
M_SHIRAISHIの新論理ってどうよ？
http://mimizun.com/2chlog/math/cheese.2ch.net/math/kako/987/987949450.html
M_SHIRAISHIの新論理ってどうよⅡ
http://mimizun.com/2chlog/math/science.2ch.net/math/kako/1004/10043/1004351895.html
最近の fj.sci.math ってどうよ
http://mimizun.com/2chlog/math/science.2ch.net/math/kako/1013/10132/1013232979.html
最近の fj.sci.math ってどうよ２
http://mimizun.com/2chlog/math/science.2ch.net/math/kako/1047/10476/1047609746.html
エムシラ御大を称えるスレ　３
http://mimizun.com/2chlog/math/science.2ch.net/math/kako/1057/10578/1057888054.html
もっともっと、エムシラ御大を称えるスレ
http://mimizun.com/log/2ch/math/1058799700/
エムシラ御大を称えるスレ５
http://mimizun.com/log/2ch/math/1062527427/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　６
http://mimizun.com/log/2ch/math/1073676260/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　7
http://mimizun.com/log/2ch/math/1077271218/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　8
http://mimizun.com/log/2ch/math/1078512063/
ｴﾑｼﾗ御大のｹﾝﾌﾞﾘｯｼﾞ講演　9
http://mimizun.com/log/2ch/math/1082119768/

0877１３２人目の素数さん

2011/06/21(火) 21:30:10.33

ｴﾑｼﾗ御小の"煙橋"講演　10
http://mimizun.com/log/2ch/math/1086479789/
エムシラ御大の Cambridge 講演１０
http://mimizun.com/log/2ch/math/1086518463/
エムシラ御犬fj.sci.mathで吠える！11
http://mimizun.com/log/2ch/math/1087950176/
エムシラ御大の Cambridge 講演１１
http://mimizun.com/log/2ch/math/1087986918/
エムシラ御大の Cambridge 講演１２
http://mimizun.com/log/2ch/math/1091923948/
エムシラ御犬fj.sci.mathで吠える！12
http://mimizun.com/log/2ch/math/1092346308/
【因幡の】M_SHIRAISHI　13【白豚】
http://mimizun.com/log/2ch/math/1104025959/
エムシラ御大の Cambridge 講演１３
http://mimizun.com/log/2ch/math/1107959642/
【海辺のホテルに】M_SHIRAISHI　14【亡命中】
http://mimizun.com/log/2ch/math/1108103472/
【祝】エムシラ御大を熱烈に送別するスレ 15【祝】
http://mimizun.com/log/2ch/math/1109299626/
【謎】エムシラのCambridge講演15【謎】
http://mimizun.com/log/2ch/math/1120472774/
Eukie_M_SHIRAISHIさんを熱烈に応援するスレ
http://mimizun.com/log/2ch/math/1207911020/
エムシラ御大を称えるスレ　4
http://mimizun.com/log/2ch/math/1253371399/

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

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

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