メタマス・数理論理学　その9

1 ：１３２人目の素数さん：2011/10/03(月) 11:08:31.27

数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
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/

2 ：１３２人目の素数さん：2011/10/03(月) 11:11:16.93

裏・パロディスレ：ジョークはココへ

數學木曾論・數理邏輯學　その9
http://kamome.2ch.net/test/read.cgi/math/1317308295/

3 ：１３２人目の素数さん：2011/10/03(月) 16:53:19.62

4 ：１３２人目の素数さん：2011/10/03(月) 22:07:32.81

メタ数学って使い方自体あまりしないからな。
どっちかというと古典か哲学系の言い方？

5 ：１３２人目の素数さん：2011/10/04(火) 02:09:33.82

「メタ数学」ならまだしも「メタマス」じゃ何のことやら分からんだろ

6 ：１３２人目の素数さん：2011/10/04(火) 04:50:44.60

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

7 ：１３２人目の素数さん：2011/10/04(火) 10:27:20.48

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