数理論理学（数学基礎論）　その11

[表示 : 全て最新50 1-99 101- 2chのread.cgiへ]
Update time : 05/08 13:56 / Filesize : 58 KB / Number-of Response : 130
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

数理論理学（数学基礎論）　その11

1 名前：１３２人目の素数さん [2011/12/30(金) 21:17:20.12 ]: 数学基礎論は、数学の基礎づけを目的として誕生したが
現在では、数理論理学として、証明論、再帰的関数論、
構成的数学、モデル理論、公理的集合論など、多くの分野
に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも
　若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、
代数幾何学、英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは岩波文庫「不完全性定理」 6.4 数学基礎論の数学化
などを参照）

前スレ
数学基礎論・数理論理学　その10
uni.2ch.net/test/read.cgi/math/1319895756/
2 名前：１３２人目の素数さん [2011/12/30(金) 22:00:47.59 ]: おつ～ん
3 名前：あんでぃ ◆Q5DeCEGA5s mailto:sage [2011/12/31(土) 09:15:28.61 ]: あんでぃ
4 名前：１３２人目の素数さん [2011/12/31(土) 10:15:59.77 ]: アスペ隔離スレね
5 名前：１３２人目の素数さん mailto:sage [2011/12/31(土) 10:36:49.18 ]: >>1のテンプレ、敬体と常体くらいは文章作法として
合わせて下さい

×数学の基礎づけを目的として誕生したが
↓
○数学の基礎づけを目的として誕生しましたが
○数学の基礎づけを目的として誕生した分野ですが、
6 名前：１３２人目の素数さん [2011/12/31(土) 10:44:34.99 ]: おまえいがいそんなことは気にしない
だからおまえはアスペだとしてきされるのではないか
7 名前：１３２人目の素数さん [2012/01/02(月) 14:31:57.72 ]: uni.2ch.net/test/read.cgi/math/1319895756/947

なんかイタイタしいね。
8 名前：１３２人目の素数さん mailto:sage [2012/01/02(月) 23:06:15.09 ]: uni.2ch.net/test/read.cgi/math/1319895756/958
この質問に誰も答えられないと云うのは、・・・
9 名前：１３２人目の素数さん [2012/01/03(火) 08:08:12.53 ]: 直観主義論理は、ラッセルのパラドックスの解決を目的とするものではない。
パラドックスの解決法をしめしていないし、実際解決していない。

ttp://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-b.html
10 名前：１３２人目の素数さん [2012/01/03(火) 08:10:20.08 ]: ttp://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-b.html

直観主義論理でも {x | ￢ x ∈ x} の存在から
矛盾を導くことはできます。
要は、φから矛盾を導くことができることから
￢φ を導くのは直観主義論理でもアリ
なことがミソです。

やってみましょう。

R = {x | ￢ x ∈ x} とおく。すなわち、
(*) x ∈ R ⇔ ￢ x ∈ x　
である。特に、x = R の場合を考えると、
(**) R ∈ R ⇔ ￢ R ∈ R
まず、R ∈ R と仮定すると (**) より￢ R ∈ R が得られ、
仮定と矛盾する。 R ∈ R を仮定して矛盾が導かれたので、
￢ R ∈ R が成り立つ。
これに (**) を適用すると、R ∈ R が得られる。
R ∈ R と￢ R ∈ R がともに成り立つので、矛盾する。
11 名前：１３２人目の素数さん [2012/01/03(火) 08:19:34.01 ]: ちなみに、縮約規則がない論理では
{x | ￢ x ∈ x} の存在から
矛盾を導くことができない。

ttp://d.hatena.ne.jp/ytb/20070920
ttp://d.hatena.ne.jp/ytb/20070922
ttp://d.hatena.ne.jp/ytb/20070923
ttp://d.hatena.ne.jp/ytb/20070926
ttp://d.hatena.ne.jp/ytb/20070929
ttp://d.hatena.ne.jp/ytb/20070930
12 名前：１３２人目の素数さん [2012/01/03(火) 08:23:57.31 ]: まとめ。

１．「論理主義」（フレーゲの理論）では
　　ラッセルのパラドックスが生じる。
　　但し、ツェルメロの公理的集合論では
　　ラッセルのパラドックスは生じない。
２．「直観主義」（排中律なしの論理）でも
　　ラッセルのパラドックスを防げない。
３．「形式主義」（ヒルベルト・プログラム）では
　　公理的集合論からパラドックスが生じない
　　という証明は出来ない。

結論：数学基礎論はラッセルのパラドックスとは直接関係ない。
13 名前：１３２人目の素数さん [2012/01/03(火) 08:28:16.00 ]: ttp://uni.2ch.net/test/read.cgi/math/1319895756/964
＞自分が気に入らないとスタンフォードの事典すらも、素人扱いか。

>>12で根拠を示した。
スタンフォードという名前は意味がない。
引用したページでは、証明が示されている。
数学でも他の学問でも、重要なのは内容であって
無意味な権威ではない。
14 名前：１３２人目の素数さん [2012/01/03(火) 08:45:54.66 ]: ＞「直観主義は直観主義論理を採用すること」等々、
＞素人っぷり丸出し

残念だが、ブラウアーは集合論に代わる理論を提示していない。
その意味でも、ラッセルのパラドックスを解決できていない。
誰が素人かは、当の素人以外には明らかだろう。
15 名前：１３２人目の素数さん [2012/01/03(火) 08:50:39.09 ]: ＞直観主義っていうのは、論理の部分だけではなく、
＞非論理的公理の部分や、その他数学のあるべき姿全般
＞に対する哲学的主張（例えば形式主義に反対するなど）
＞までひっくるめた文字通り一つの「主義」なんだけどな。

ブラウアーは、非論理的公理を示さなかった。
もともと公理論が嫌いだったともいわれている。
ブラウアーはナチ・シンパだったともいわれている。
直観主義が政治的な態度まで含めるかどうかは知らんが。
16 名前：１３２人目の素数さん [2012/01/03(火) 08:59:33.02 ]: ラッセルのパラドックスの解決法に関しては
○○の一つ覚えのような論理主義・直観主義・形式主義
の三主義の呪文を唱えるより、以下のページおよび
これに関連するページを見たほうが、よほど多くのことを
学べるだろう。
ttp://d.hatena.ne.jp/ytb/20070912
17 名前：１３２人目の素数さん [2012/01/03(火) 09:06:33.40 ]: ＞基礎論論争は、隔離スレでやってくれ

おやおや、それなら、わざわざスレッドのタイトルに
堂々と数学基礎論なんていれなきゃいいのにね。

ちなみにこちらは（）つき。
しかも、数理論理学によって、いわゆる○○主義が
ラッセル・パラドックスの解決には結びつかない
という事実を示している。つまり数学の話。
18 名前：１３２人目の素数さん [2012/01/03(火) 09:19:42.22 ]: マツシンって誰？
19 名前：１３２人目の素数さん [2012/01/03(火) 09:24:49.21 ]: AKB全盛の今、「なっちって誰？」って
尋ねるようなもんだな。
20 名前：１３２人目の素数さん [2012/01/03(火) 09:47:01.11 ]: 質問
１．数学の理論に決定可能性は必要？
２．数学の理論に無矛盾性証明は必要？
３．１及び２の要件を満たさない
　　現在の集合論は数学ではない？
21 名前：KingMathematician ◆LoZDre77j4i1 [2012/01/03(火) 13:05:49.32 ]: 数学の無矛盾性を証明されるべきとした人がいる.
数学の無矛盾性を証明できないらしいが,
無矛盾性を証明できないことの証明に誤りがあるといわれることもあり,今の事態は何か.
22 名前：１３２人目の素数さん [2012/01/03(火) 13:08:04.51 ]: >>20
公式見解
１．不必要
２．不必要
３．集合論から矛盾が導かれない限り
　　数学の理論として認められる。
23 名前：１３２人目の素数さん [2012/01/03(火) 13:11:03.44 ]: >>21
＞数学の無矛盾性を証明されるべきとした人がいる
ヒルベルトのことかい？
＞数学の無矛盾性を証明できないらしいが,
ゲーデルの不完全性定理のことかい？
＞無矛盾性を証明できないことの証明に
＞誤りがあるといわれることもあり
誰の発言のことかい？素人のいいがかりなら忘れとけ
24 名前：１３２人目の素数さん mailto:sage [2012/01/03(火) 13:17:18.48 ]: 1 はい
2 いいえ
3 はい

だな、俺の感覚からすると
25 名前：１３２人目の素数さん [2012/01/03(火) 13:57:07.90 ]: >>24
一応確認しますが、
決定可能性の定義は
御存知ですか？
26 名前：１３２人目の素数さん [2012/01/03(火) 14:10:31.01 ]: 数学の無矛盾性が数学の中で記述できるものとする。

数学が決定可能かつ矛盾が証明不能（無矛盾）ならば
無矛盾性は当然証明できる。
27 名前：１３２人目の素数さん [2012/01/03(火) 19:39:36.38 ]: 無限論の教室（野矢茂樹）
「ラッセル集合、つまり「自分自身を要素としてもたない集合」ですが、
　これもまた、可能無限的観点からすれば、そういう集合を集めてくる
　際限もない作業があるにすぎません。こうした生成するものとしての
　集合というイメージのもとでは、「自分自身を要素に持つ／持たない」
　ということも考え直さなければなりません。「ラッセル集合」とは、
　そうした作業遂行の方法に付けられた名前に過ぎません。それは決して
　完結した全体として対象化されえないものですから、それが要素になる
　とならないとかいうのはナンセンスなのです。(p.167-168)」

これがブラウアーの見解かどうかはともかくとして、この主張は、
直観主義論理によって内包公理を救うものではなく、むしろ、
内包公理を否定しているわけで、単に集合論に難癖つけてると
しか思えん。
28 名前：１３２人目の素数さん [2012/01/03(火) 21:00:17.61 ]: >26
証明概略はこれでいい？
決定可能性の前提から、
(1) |- Consis または |- not Consis
|- not Consis とすると |- false。これは無矛盾性の前提に反する。だから
(2) not |- not Consis
(1)と(2)から
(3) |- Consis 以上

>数学の無矛盾性が数学の中で記述できるものとする。
ここの｢数学｣は｢形式的体系｣くらいが適切？
29 名前：１３２人目の素数さん mailto:sage [2012/01/04(水) 12:19:40.35 ]: >>27
内包公理に変わるものを構築しようとしていると考えることも出来る。
30 名前：１３２人目の素数さん mailto:sage [2012/01/05(木) 22:37:51.61 ]: ★★★下記の本スレへ誘導のほどお願いします★★★

数学基礎論・数理論理学　その11
uni.2ch.net/test/read.cgi/math/1325513069/

★★★★★★★★★★★★★★★★★★★★★★★
31 名前：１３２人目の素数さん mailto:sage [2012/01/06(金) 13:13:51.58 ]: オワ
32 名前：１３２人目の素数さん [2012/01/07(土) 16:37:01.95 ]: uni.2ch.net/test/read.cgi/math/1325513069/49

上記の文章では、直観主義がいかなる意味で
ラッセル・パラドックスなどの逆理を回避するのか
全く答えられていない。つまりトンデモ。
33 名前：１３２人目の素数さん [2012/01/07(土) 16:39:55.69 ]: uni.2ch.net/test/read.cgi/math/1325513069/51

上記の文章を書いた人は、きっと
「数学基礎論が生まれた動機の一つとして、
　素朴集合論における逆理の解消があるんですよね。
　ね、ね、そうだといってくださいよ。（泣）」
と懇願のメールを専門家に送りまくって
黙殺された苦い経験があるんだろう（笑）
34 名前：１３２人目の素数さん [2012/01/07(土) 16:45:53.58 ]: uni.2ch.net/test/read.cgi/math/1325513069/53

「扇定理(Fan Theorem) と
　連続選択公理(実数の選択関数で連続なものが取れる) により
　ラッセル・パラドックスが解消される！」
という新説を唱える者現る（笑）
35 名前：１３２人目の素数さん [2012/01/07(土) 16:49:18.28 ]: uni.2ch.net/test/read.cgi/math/1325513069/54

上記の文章を書いた人は、なにか重大な誤解をしているようだ。
「実数値関数はすべて連続である」ということは
「連続性を有しないものは実数値（全域）関数でない」
ということであるから、当然弱い。
36 名前：１３２人目の素数さん [2012/01/07(土) 16:52:40.14 ]: uni.2ch.net/test/read.cgi/math/1325513069/70-72

結局
「直観主義がラッセル・パラドックスを解決する！」
といってた人は、頓死したようだ（笑）
37 名前：１３２人目の素数さん [2012/01/07(土) 17:09:03.74 ]: uni.2ch.net/test/read.cgi/math/1325513069/
＞知識も話題も豊富なスレタイスレ446

おしゃべりの素人にだれも言い返せないとは
トンデモスレはどいつもこいつもカスだな。
38 名前：１３２人目の素数さん [2012/01/07(土) 17:12:58.30 ]: ぶっちゃけ、決定厨（数学理論は決定可能でなければならない
と絶叫する奴）は人格障害かと思う。

数理論理学が、全ての問題の解決法を求めたがる
人格障害者をひきつけ易い傾向があるのは確かだ。
39 名前：１３２人目の素数さん mailto:sage [2012/01/07(土) 18:07:07.60 ]: 何かはしゃいでるようだけど、サッパリ分からないな。
40 名前：１３２人目の素数さん mailto:sage [2012/01/07(土) 19:21:11.13 ]: 決定不可能なものは数学だなんて呼べないよ
41 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine [2012/01/07(土) 19:54:37.81 ]: 　ニートや無職の、ゴミ・クズ・カスの、クソガキは、死ね！！！！！！
42 名前：１３２人目の素数さん [2012/01/08(日) 08:53:20.53 ]: >>39
何かイラついているようだが、理由がサッパリワカランなｗ
43 名前：１３２人目の素数さん [2012/01/08(日) 08:59:46.68 ]: uni.2ch.net/test/read.cgi/math/1325513069/160
uni.2ch.net/test/read.cgi/math/1325513069/162

スタンフォード哲学事典(SEP)だから正しい、と思ってる奴は
自分の頭でモノを考えたことが一度もないんだろうなあｗ
44 名前：１３２人目の素数さん [2012/01/08(日) 09:05:33.24 ]: uni.2ch.net/test/read.cgi/math/1325513069/163
＞基礎論の最初の目的（の一つ）がパラドックスの解決だったかということと、
＞基礎論の研究の結果実際にパラドックスを解決できたかという、
＞全く別の問題（一方は歴史の問題、もう一方は数学または哲学の問題）を混同

言い訳にも何にもなっていないな。
まず「パラドックスの解決」は数学の問題。哲学でも歴史でもない。
そして、パラドックスの解決が目的だ、と主張するには、
少なくとも解決の案が提示されているという証拠が必要。
し・か・し・な・が・ら、そのような証拠は一切提示できていない。
要するに、当人がパラドックスに勝手に発狂し解決を求めてるだけ。
そんな人格障害者の精神の安定の問題を、
学問の問題に摩り替えないでほしいｗ
45 名前：１３２人目の素数さん [2012/01/08(日) 09:09:24.56 ]: uni.2ch.net/test/read.cgi/math/1325513069/164
＞火傷しないようにスルーしとけ。

そうしたところで、勝手に>>40みたいに
「決定不可能なものは数学だなんて呼べないよ」なんて、
自らガソリンかぶって、ライターで着火するようなこと
平気でやるから、結局火達磨になって炭に成り果てるｗ
46 名前：１３２人目の素数さん [2012/01/08(日) 09:15:36.70 ]: uni.2ch.net/test/read.cgi/math/1325513069/153

いくら２ｃｈといえども、トンデモに管理人やらせちゃいかんよなｗ
47 名前：１３２人目の素数さん [2012/01/08(日) 09:22:09.96 ]: 決定厨隔離スレ
uni.2ch.net/test/read.cgi/math/1325513069/
のテンプレートも
「素朴集合論における逆理の解消などを一つの動機として」ではなく
「集合論の逆理の出現による、数学の無矛盾性への疑念の解消を
　一つの動機として」とでもしておけばよかったわけだ。
ツェルメロの公理系も応急処置でしかなく、絶対的な無矛盾性の保証
はないわけだから。しかし、そのような動機も結局
「無矛盾性の絶対的保証なんか無理。ま、諦めろ」
という常識的なところにオチついたわけで、いまだに不満を抱いてる
のは、決定厨のような人格障害者くらいのもの。
48 名前：１３２人目の素数さん [2012/01/08(日) 09:28:09.31 ]: >>47
ま、
「集合論の逆理の出現による、数学の無矛盾性への疑念の解消を
　一つの動機として」というのも、ヒルベルト・プログラムの
説明にしかなっていないわけだが。しかも疑念をいだいていたのは
ヒルベルトではないわけで、ヒルベルトとしては胡散臭げな疑念を
大義名分にして、狭い範囲に閉じこもろうとする反動主義者どもを
抹殺しようと企んだら、自爆しちまったというところか。
49 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 10:37:05.81 ]: uni.2ch.net/test/read.cgi/math/1325513069/165

トンデモの特徴「相手が皆同じに見える」ｗ
50 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 12:24:29.40 ]: >>47
元の文の方がよくないか？
51 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 15:40:58.70 ]: >>50
頭悪いな。
「逆理の解消」と「無矛盾性への疑念の解消」は違うんだよ。
52 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 17:08:34.03 ]: 横レスだが違うと思ってなきゃ元の方がいいだなんて思うわけないだろｗ
53 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 17:56:36.91 ]: >>52
違うっていったってどうせ字数が違うとかそういう話だろｗ
54 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 18:47:40.31 ]: どちらの表現がいいかは別にしてお前の方が頭悪く見える件
55 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 22:17:32.59 ]: 前スレの
935 ：１３２人目の素数さん
Vopěnka's principle（VP）:="Cが言語のモデルの宇宙としてのプロパークラスとしたとき、
Cの2つの要素を任意にとると、片方がもう片方に初等埋め込み可能"
「VP⇒拡張可能基数」が成り立つからかなり強い仮定。
また膨大基数kを仮定すると、V_k（累積的階層）がVPのモデルになる。
が累積的階層であるとき、この階層のランクの添え字の基数がVopěnka基数。
に対して

958 ：１３２人目の素数さん：2012/01/02(月) 13:24:57.89
>>931
>Vopěnka's principle
でググっていたら
www.imub.ub.es/hocard11/Problems.pdf
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
www.imub.ub.es/hocard11/Gutierrez.pdf
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
56 名前：１３２人目の素数さん [2012/01/09(月) 09:22:46.37 ]: >>54
＞どちらの表現がいいかは別にして

頭悪っｗｗｗｗｗｗｗ
57 名前：１３２人目の素数さん [2012/01/09(月) 09:29:49.15 ]: uni.2ch.net/test/read.cgi/math/1325513069/170
＞数理論理学･･･というのが、もはや一つの分野とは言いがたくて、
＞複数の分野の総称という感じ。

そんなもん、代数学でも幾何学でも解析学でも同じｗ

群論と代数幾何が一つの分野だというヤツは無知
微分幾何とトポロジーが一つの分野だというヤツは無知
58 名前：１３２人目の素数さん [2012/01/09(月) 09:34:15.69 ]: uni.2ch.net/test/read.cgi/math/1325513069/190
＞数学自体が一つの分野であって、本来は切り分けられないけど、
＞（岩澤理論は）便宜上分けた一部。
＞身体に対する右腕のような用語。

岩澤理論なんて数学の右腕じゃないだろ。
まあ、親指の爪みたいなもんだな。
ああ、そういえば爪切らなきゃ。パチン
ｗｗｗｗｗｗｗ
59 名前：１３２人目の素数さん [2012/01/09(月) 09:40:50.60 ]: 数理論理学を「数学の証明の形式的言語による記述」と思い込んでる
素人（数理論理学以外を専攻する数学者を含む）が多いが全く誤り。

数理論理学は「数学による各種論理の研究」である。
部分構造論理の独自性が明らかになった今日では
直観主義論理なんて古典論理と大して変わらん。
60 名前：１３２人目の素数さん [2012/01/09(月) 09:51:42.76 ]: 隔離スレ
uni.2ch.net/test/read.cgi/math/1325513069/
の常連、イタタ度ランキング

１．基礎論排斥厨（老い耄れ三流数学者）
２．基礎論固執厨（老い耄れトンデモ）
３．決定厨（ガキ）

１と２は論理に対する態度は正反対だが、
パラダイムとか目的とかに固執してる点で
まったく同じ爺臭さを有している。

「基礎論は逆理を解消するためにできた」というのは誤りだが
「無矛盾性が証明できないのなら論理学の研究は無意味」
というのもこれまた軽率。
論理学の研究は、別に無矛盾性を証明するためにあるのではない。
61 名前：１３２人目の素数さん [2012/01/09(月) 09:56:00.87 ]: >>55
個人的にはこういうネタは
「集合論スレ」とか「巨大基数スレ」とか
立ててやったほうが盛り上がると思われる。

例えば「代数学スレ」「幾何学スレ」「解析学スレ」なんて
あっても個々の話題は書き込みにくい。なぜなら、個々人の
関心はそれこそバラバラだからだ。

そういう意味でいえば、「論理学スレ」も基本的には必要ない。
例えば、非標準論理について議論したければ「非標準論理スレ」
を立てるほうがリコウだろう。
62 名前：１３２人目の素数さん mailto:sage [2012/01/09(月) 11:09:04.50 ]: 基礎論擁護の程度が低くて擁護になっていない
63 名前：１３２人目の素数さん mailto:sage [2012/01/09(月) 11:42:01.84 ]: 擁護の必要はない。
64 名前：１３２人目の素数さん [2012/01/09(月) 14:35:42.85 ]: >>63
そう、もはや数学基礎論ではなく数理論理学だから。
65 名前：１３２人目の素数さん [2012/01/09(月) 15:12:28.17 ]: 前スレの
935 ：１３２人目の素数さん
Vopěnka's principle（VP）:="Cが言語のモデルの宇宙としてのプロパークラスとしたとき、
Cの2つの要素を任意にとると、片方がもう片方に初等埋め込み可能"
「VP⇒拡張可能基数」が成り立つからかなり強い仮定。
また膨大基数kを仮定すると、V_k（累積的階層）がVPのモデルになる。
が累積的階層であるとき、この階層のランクの添え字の基数がVopěnka基数。
に対して

958 ：１３２人目の素数さん：2012/01/02(月) 13:24:57.89
>>931
>Vopěnka's principle
でググっていたら
www.imub.ub.es/hocard11/Problems.pdf
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
www.imub.ub.es/hocard11/Gutierrez.pdf
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
66 名前：１３２人目の素数さん [2012/01/09(月) 15:28:46.18 ]: >>65
こういうネタは
「集合論スレ」とか「巨大基数スレ」とか
立ててやったほうが盛り上がると思われる。

是非そうしたまえ。
67 名前：１３２人目の素数さん mailto:sage [2012/01/09(月) 19:05:06.51 ]: >>66
巨大基数の集合論とその応用　そのアレフ 0
と言うタイトルで立て様と思ったが拒否された。
68 名前：１３２人目の素数さん mailto:sage [2012/01/14(土) 16:40:30.37 ]: >>67

uni.2ch.net/test/read.cgi/math/1326526644/

代わりに立てた。礼は要らない。
69 名前：１３２人目の素数さん [2012/01/28(土) 22:43:53.71 ]: age
70 名前：１３２人目の素数さん [2012/02/04(土) 22:52:20.33 ]: uni.2ch.net/test/read.cgi/math/1325513069/456
>今夜0時までに
>田中の数学基礎論講義の5章までの定理をすべて
>Coqで証明するよ＾＾

もし、数理論理学が
「他人様がすでに自然言語で書いた証明を
　計算機でチェックできる言語で書き直す作業」
だとしたら、そんなもんは確かにクソだ。

もちろん、実際の数理論理学は全く異なるわけだが。
71 名前：１３２人目の素数さん mailto:sage [2012/02/04(土) 23:05:31.08 ]: 何が言いたいのかわからん
単に他人を貶したかっただけか
72 名前：１３２人目の素数さん [2012/02/09(木) 10:29:22.53 ]: 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　／:::::; -‐''"　　　　　　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　　　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　　　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　　ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　　　 | 　　　　 ` -'＼　　　　　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　　＿＿／　ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　　 |　　　　　　　（:::::`‐-､__ 　|::::`､　　ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼　 |　'､　　＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
73 名前：１３２人目の素数さん mailto:sage [2012/02/09(木) 21:15:32.88 ]: 決定性公理 AD って二階算術の命題として定式化出来ますか？
定式化出来るとして、 ADの否定は
ATR0やΠ11-CA0などの体系で証明できますか？
74 名前：１３２人目の素数さん mailto:sage [2012/02/09(木) 23:27:04.28 ]: ★★★下記の本スレへ誘導のほどお願いします★★★

数学基礎論・数理論理学　その11
uni.2ch.net/test/read.cgi/math/1325513069/

★★★★★★★★★★★★★★★★★★★★★★★
75 名前：１３２人目の素数さん [2012/02/15(水) 18:14:42.34 ]: >>103
自分の知識がないせいだと思うが専門知識が豊富な感じのレス
76 名前：１３２人目の素数さん [2012/02/19(日) 04:01:51.88 ]: 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　／:::::; -‐''"　　　　　　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　　　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　　　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　　ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　　　 | 　　　　 ` -'＼　　　　　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　　＿＿／　ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　　 |　　　　　　　（:::::`‐-､__ 　|::::`､　　ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼　 |　'､　　＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
77 名前：１３２人目の素数さん [2012/02/19(日) 04:08:29.57 ]: 質問ですマジレスお願いします。ガチです＞＜
１００未満を、四捨五入。１００未満が、四捨五入。

１２万６７５０　＝　答え（　　　　　　）

答えはいくつになりますか？
78 名前：１３２人目の素数さん [2012/02/20(月) 14:31:02.24 ]: いつでもかまいません。
79 名前：１３２人目の素数さん mailto:sage [2012/02/20(月) 20:38:39.06 ]: それが数理論理学とどう関係するんだ
質問スレが別にあるからそこに書けよ
お前のやってることは「あらし」だよ
80 名前：１３２人目の素数さん [2012/02/24(金) 09:05:01.41 ]: uni.2ch.net/test/read.cgi/math/1325513069/660
>鶏のようなlofさんの型理論

「鶏のような」ってMartinのこと？
ちなみにlofじゃなくてlo"f(loef)ね。
81 名前：┌∩┐(& ◆EQYxHFCTcMRP [2012/02/24(金) 19:33:24.66 ]: ┌∩┐(◣_◢)┌∩┐
fuckin!
鶏ってのはCoqのことだZE!
Coqは型理論CoCの断片だZE!
CoCはMartinの構成的型理論由来DAZE!
Upps!FuckOff///
82 名前：１３２人目の素数さん [2012/02/24(金) 23:37:59.52 ]: 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　／:::::; -‐''"　　　　　　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　　　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　　　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　　ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　　　 | 　　　　 ` -'＼　　　　　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　　＿＿／　ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　　 |　　　　　　　（:::::`‐-､__ 　|::::`､　　ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼　 |　'､　　＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
83 名前：１３２人目の素数さん mailto:sage [2012/02/25(土) 03:08:20.63 ]: >>80
あっちのスレのレスに反応したければ、あっちのスレに書き込めばいいだろうに...
84 名前：１３２人目の素数さん [2012/02/25(土) 10:17:36.72 ]: >>83
ゴミ記事ばかりで汚い。
85 名前：１３２人目の素数さん [2012/02/25(土) 10:19:43.53 ]: >>81
もしかして、Martinが名前で、Lo"fが姓
だと思ってるんなら間違いだYO。

Martin-Lo"fで一つの姓。おぼえとけYO。
86 名前：┌∩┐(& ◆EQYxHFCTcMRP [2012/02/25(土) 11:42:08.68 ]: ┌∩┐(◣_◢)┌∩┐
Fuck!
お前あげあし、
俺は天下、
とるのかFucinBroootas!!
OZOZ...＠＠（くるくるくるくる）、
Yes!Fucing＠＠（くるくるくるくる）”！！
Coolish!!!!!!!!!!
87 名前：１３２人目の素数さん mailto:sage [2012/02/25(土) 11:43:53.40 ]: 例えば、草がある。
その草は「草」としてそこに存在している訳だが、我々がそれを草と認識するには、草がまず草であるという理解が必要となる。
何か分からないものに対して、その「もの」に自分の少しの理解が加われば、そこに存在しているものの見方も変わってくる。

汚い話になるが、うんこが目の前の道に落ちている。
殆どの人はうんこから遠ざかり、逃げるだろう。その状況下で「なぜ、うんこがそこに落ちているか」を考える人はそう少ない。「うんこ」に対する理解の仕方が一方的であるために、殆どの人は同じ行動をとってしまう。
ある問題に出会ったときに、いわゆる「答え」までの考える過程は人それぞれ。
ただ数学は答えが1つである。
その1つの答えを求めて、論理的に思考するのである。
論理的に思考することは、我々に行動の自信を与える。
自分が次に何をすればよいのか、どのような反応をとればよいのか。

人間が進化していく過程の中で、「考える」という時間があったはずだ。
考えることは、人間に与えられた楽しみであり、またそれは同時に喜びである。
数学の「緻密な論理性」はまさに、我々人間が持つ「最高の思考力」なのである。
88 名前：１３２人目の素数さん mailto:sage [2012/02/25(土) 19:53:38.91 ]: >>84
ここは隔離スレ。ゴミ記事ばかりなのはこっちだろ。
本スレは有益な情報が結構ころがってるぜ。
猫に小判の価値は分からんのだろうが。
89 名前：１３２人目の素数さん mailto:sage [2012/02/26(日) 10:27:09.50 ]: >>88
いや、実際には向こうのほうがゴミ記事が多い。
ゴミを有益という奴は、きっと産廃業者だろうｗ
90 名前：１３２人目の素数さん mailto:sage [2012/02/26(日) 19:35:05.47 ]: ８４＝８９は現実を直視できないアスペだろ。
その為の隔離スレなんだし、本人が隔離を気に入っているんなら、万々歳。
91 名前：１３２人目の素数さん [2012/03/12(月) 11:00:17.40 ]: 84=89　⇒　0=5　⇒　0=1　⇒
92 名前：１３２人目の素数さん mailto:sage [2012/03/15(木) 07:28:31.18 ]: 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　／:::::; -‐''"　　　　　　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　　　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　　　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　　ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　　　 | 　　　　 ` -'＼　　　　　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　　＿＿／　ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　　 |　　　　　　　（:::::`‐-､__ 　|::::`､　　ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼　 |　'､　　＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
93 名前：１３２人目の素数さん mailto:sage [2012/03/22(木) 14:13:21.35 ]: (Ｐ⊃Ｑ)⊃(～Ｑ⊃～Ｐ) はトートロジーであり、
「(ＰならばＱ)ならば(ＱでないならばＰではない)」が成立する。

しかるに、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] はトートロジーである
にもかかわらず「Ｐならば(ＱかＲ)ならば(ＰならばＱかＰならばＲである)」
は成立しない。（^A^;）ﾊｧﾊｧ
94 名前：１３２人目の素数さん [2012/03/22(木) 20:31:50.54 ]: シータパン予想ってなんですか？中国人が解いた有名な予想らしいですけど・・・
95 名前：１３２人目の素数さん [2012/03/23(金) 18:12:37.34 ]: >>87
メシもうんこも、同じ陽子と中性子と電子から出来てるわけだが。
化学的にもうんこは例えば石や金属と比べればはるかにメシに近いｗ
96 名前：１３２人目の素数さん [2012/03/23(金) 18:18:30.85 ]: >>94
中国人の有能な数学者なんて過去にいくらでもいるがな。
チャーン（陳省身）とか、テレンス・タオとか。

論理学でも、莫少揆 (Moh Shaw-Kwei)とかいるよ。
97 名前：１３２人目の素数さん [2012/03/23(金) 18:20:21.52 ]: リサイクルという点ではクソから食物を作るというのもアリｗ
98 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine [2012/03/23(金) 19:34:45.39 ]: 　お前たちは、定職に就くのが先決だろがあああああああああ！！！！！！

　ニート・無職の、ゴミ・クズ・カスのクソガキどもがあああああ！！！！！！
99 名前：１３２人目の素数さん mailto:sage [2012/03/23(金) 19:35:00.53 ]: 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　／:::::; -‐''"　　　　　　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　　　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　　　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　　ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　　　 | 　　　　 ` -'＼　　　　　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　　＿＿／　ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　　 |　　　　　　　（:::::`‐-､__ 　|::::`､　　ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼　 |　'､　　＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
100 名前：１３２人目の素数さん mailto:sage [2012/04/09(月) 22:15:58.06 ]: center

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef