11/11/06 18:20:57.12
証明論とかって計算機畑の方が主流？
ここ最近の研究事情がどうなってるのかわからん。
274:１３２人目の素数さん
11/11/06 18:23:49.45
>>269
＞数学の外で一国をつくればよい。
ずいぶん壮大なことをのたまっているようだが、今の体制で
本当にそのようなことを実現するなら、政治的な力が必要だな。
内部から変化することはありえないから。
こんなところで愚痴ってないで、お前が先頭に立って
排斥運動の1つでもやってみたらどうだねｗ
275:１３２人目の素数さん
11/11/06 18:28:10.07
ロジックというのは、ロジックに関係しているというだけの
雑学の総称？
276:１３２人目の素数さん
11/11/06 18:48:03.53
「AはAに関係してるものの総称」
277:１３２人目の素数さん
11/11/06 19:35:09.95
>>276
アニメやゲームはそういう感じで使われているね
278:１３２人目の素数さん
11/11/06 21:24:26.00
>>271
基礎的な定理には初等的な証明、理解の仕方があるのは、
代数だって変わらんでしょ。けどそれじゃ数学的構造理解しているとは言えない。
279:１３２人目の素数さん
11/11/06 21:38:02.64
>>243-244 >>247 >>249-252 >>260-261
あなたのスタイルがちょっと古かったりおおげさだったりするのが皆の癇にさわって
いるだけかも。既知かも知れんが、学生だとすればなかなか力ある。
しつこくがんばれば将来性あるよ。めげるな。
280:１３２人目の素数さん
11/11/06 22:05:42.78
基礎論による理論の構造分析を、通常数学の学習や理論の創造に役立てたい。
オススメの基礎論学習コースある？
学習者は代数専攻の数学修士として。
281:１３２人目の素数さん
11/11/07 05:44:38.12
>>279
人を駄目にする褒め方をしてはいけない
282:１３２人目の素数さん
11/11/07 05:50:42.76
むしろボロクソにけなしまくる方が駄目にするんじゃねえの？？
283:１３２人目の素数さん
11/11/07 07:16:52.39
>>279
全然見当違い。
そもそも論理式の値が真偽値でないとする発想が既知外。
てゆーか自画自賛だろ。トンデモがよくやる手だｗ
284:１３２人目の素数さん
11/11/07 07:52:43.55
ファジー論理
285:１３２人目の素数さん
11/11/07 08:00:25.69
過去にもいたよね、方程式の解が実数でないものを認めようとしたり
小さい数から大きな数を減じてみようとしたり。
286:１３２人目の素数さん
11/11/07 10:17:53.15
>>285
それを今やって大発見だと思う人がいたら可哀相な人だよね。
287:１３２人目の素数さん
11/11/07 10:28:23.70
>>272 とか、
>>280 とか、
真面目な質問に答える能力のある人はいないの？
288:１３２人目の素数さん
11/11/07 11:13:58.64
じゃあ俺が、
といっても俺も素人なんであんまり真に受けないでね。
さしあたり完全性定理とか不完全性定理を知りたいなら、
朝倉 現代基礎数学 15 数理論理学 鹿島亮著
を読んで、証明とか説明に不足を感じたら
J.R.Shoenfied著のMathematical Logic
を読めばいいと思う。
モデル理論の代数幾何への応用とかは知らないんで。
289:１３２人目の素数さん
11/11/07 11:50:14.30
完全性定理、不完全性定理は、エンダートンで
勉強しました。その次にくるのは何がよいでしょうか？
290:１３２人目の素数さん
11/11/07 17:31:06.56
>>289
エンダートンを読了したのならば数理論理学に関して一通りの基礎は身に付いたはずなので
次は自分が特に興味のあるテーマのモノグラフやサーベイに進むのが良いでしょう。
291:１３２人目の素数さん
11/11/07 18:52:20.60
代数方面の人なら幾何的モデル理論とかが良いんじゃないかな
別にモデル論の知識は無くても読めるように書いてあるよ
基礎論全般の勉強なら新井敏康の数学基礎論が良いよ
包括的な入門書の中では一番レベルが高いんじゃないかな
292:１３２人目の素数さん
11/11/07 20:37:37.55
Endertonたけぇｗ
仕方ないからこれにしよう・・・
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics) [ペーパーバック]
George Tourlakis (著)
293:１３２人目の素数さん
11/11/07 20:49:01.48
>>291
へえ、モデル理論仕込まなくても読めるんですか。
アリ。