超数学・数理論理学　その9

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

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

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

過去スレ

数学基礎論の質問スレッド
その1 http://science4.2ch.net/test/read.cgi/math/1097659610/
その2 http://science6.2ch.net/test/read.cgi/math/1143943264/
その3 http://science6.2ch.net/test/read.cgi/math/1170584559/
その4 http://science6.2ch.net/test/read.cgi/math/1207899938/
その5 http://science6.2ch.net/test/read.cgi/math/1244375946/
その6 http://kamome.2ch.net/test/read.cgi/math/1265884076/
その7 http://kamome.2ch.net/test/read.cgi/math/1289481237/

関連スレ

非古典論理について語るスレ
http://science6.2ch.net/test/read.cgi/math/1071060325/
集合論について語るスレ
http://science6.2ch.net/test/read.cgi/math/1228995380/
圏論 / カテゴリー論 / Category Theory 3
http://science6.2ch.net/test/read.cgi/math/1156976472/

基礎論なぜなにスレッド
http://cheese.2ch.net/math/kako/970/970523340.html
http://science.2ch.net/test/read.cgi/math/1043049229/

圏論信者VS基礎論信者VS数学者
http://kamome.2ch.net/test/read.cgi/math/1288001068/

以上テンプレ

★こちらが本スレになります★

ろくすっぽ合意を得ないで次々スレッド立てるのはいい加減やめれ

◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆
　同じ内容の重複スレが乱立しています。
　こちらのスレもスレタイが違ってもテンプレは同じであり、重複スレと考えられます。
　スレタイ変更に関しては十分な議論がされているとは言えず、引き続き議論を継続させる必要があります。
　
　↓こちらへ誘導のほどよろしくお願いします。
　
　数学基礎論・数理論理学　その9
　http://kamome.2ch.net/test/read.cgi/math/1317639944/
　
　
　削除ガイドライン
　http://info.2ch.net/guide/adv.html#saku_guide
　＞重複スレッド
　＞　同じ事象・人物に関するスレッドは、個々に多少の違いがあっても原則的に削除対象になります。
　＞　その場合、立てられた時期・時間、１に書かれている内容、レスがどれだけついているか、という優先順位で総合的に判断します。
　＞　客観的な判断が難しい時は、利用者同士の話し合いを待つか、立てられた時間の遅いものを停止処置をすることとします。
　＞　同一掲示板内ではない重複スレッドは、内容にほぼ変化のない場合は悪質なマルチポストと判断し、
　＞　板の趣旨に合った真面目な議論が続いた場合を除き、全てを削除対象とします。
　＞
　＞乱立スレッド
　＞　厨房板以外では、内容にほぼ変化のないもの、内容が無意味なもの、などの乱立は全て削除します。
◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆◆

　　　　http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html