- 8 名前：１３２人目の素数さん mailto:sage [2007/02/04(日) 22:51:30 ]
- とりあえず前スレから
116 名前：１３２人目の素数さん[sage] 投稿日：2006/05/12(金) 12:15:28
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野で、
非古典論理、証明論、構成的数学、モデル論や意味論、集合論、計算論
などの分野群の総称です
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです）
応用、ないし交流のある分野は、計算機科学の諸分野や、
代数幾何（Hrushovskらiによる研究）などを含み、多岐にわたります
（cf. 数学セミナー98年6月号、「数学基礎論の学び方」）
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります
他のスレで御質問なさるようにお願いします
