X
トップページ⇒数学
1002コメント489KB

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

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

前スレ
数学基礎論・数理論理学　その10
http://uni.2ch.net/test/read.cgi/math/1319895756/
0002１３２人目の素数さん
垢版 |
2011/12/30(金) 22:00:47.59
おつ～ん
0004１３２人目の素数さん
垢版 |
2011/12/31(土) 10:15:59.77
アスペ隔離スレね
0005１３２人目の素数さん
垢版 |
2011/12/31(土) 10:36:49.18
>>1のテンプレ、敬体と常体くらいは文章作法として
合わせて下さい

×数学の基礎づけを目的として誕生したが
↓
○数学の基礎づけを目的として誕生しましたが
○数学の基礎づけを目的として誕生した分野ですが、
0006１３２人目の素数さん
垢版 |
2011/12/31(土) 10:44:34.99
おまえいがいそんなことは気にしない
だからおまえはアスペだとしてきされるのではないか
0009１３２人目の素数さん
垢版 |
2012/01/03(火) 08:08:12.53
直観主義論理は、ラッセルのパラドックスの解決を目的とするものではない。
パラドックスの解決法をしめしていないし、実際解決していない。

ttp://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-b.html
0010１３２人目の素数さん
垢版 |
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 がともに成り立つので、矛盾する。
0011１３２人目の素数さん
垢版 |
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
0012１３２人目の素数さん
垢版 |
2012/01/03(火) 08:23:57.31
まとめ。

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

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

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

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

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

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

ちなみにこちらは（）つき。
しかも、数理論理学によって、いわゆる○○主義が
ラッセル・パラドックスの解決には結びつかない
という事実を示している。つまり数学の話。
0018１３２人目の素数さん
垢版 |
2012/01/03(火) 09:19:42.22
マツシンって誰？
0019１３２人目の素数さん
垢版 |
2012/01/03(火) 09:24:49.21
AKB全盛の今、「なっちって誰？」って
尋ねるようなもんだな。
0020１３２人目の素数さん
垢版 |
2012/01/03(火) 09:47:01.11
質問
１．数学の理論に決定可能性は必要？
２．数学の理論に無矛盾性証明は必要？
３．１及び２の要件を満たさない
　　現在の集合論は数学ではない？
0021KingMathematician ◆LoZDre77j4i1
垢版 |
2012/01/03(火) 13:05:49.32
数学の無矛盾性を証明されるべきとした人がいる.
数学の無矛盾性を証明できないらしいが,
無矛盾性を証明できないことの証明に誤りがあるといわれることもあり,今の事態は何か.
0022１３２人目の素数さん
垢版 |
2012/01/03(火) 13:08:04.51
>>20
公式見解
１．不必要
２．不必要
３．集合論から矛盾が導かれない限り
　　数学の理論として認められる。
0023１３２人目の素数さん
垢版 |
2012/01/03(火) 13:11:03.44
>>21
＞数学の無矛盾性を証明されるべきとした人がいる
ヒルベルトのことかい？
＞数学の無矛盾性を証明できないらしいが,
ゲーデルの不完全性定理のことかい？
＞無矛盾性を証明できないことの証明に
＞誤りがあるといわれることもあり
誰の発言のことかい？素人のいいがかりなら忘れとけ
0025１３２人目の素数さん
垢版 |
2012/01/03(火) 13:57:07.90
>>24
一応確認しますが、
決定可能性の定義は
御存知ですか？
0026１３２人目の素数さん
垢版 |
2012/01/03(火) 14:10:31.01
数学の無矛盾性が数学の中で記述できるものとする。

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

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

>数学の無矛盾性が数学の中で記述できるものとする。
ここの｢数学｣は｢形式的体系｣くらいが適切？
0032１３２人目の素数さん
垢版 |
2012/01/07(土) 16:37:01.95
http://uni.2ch.net/test/read.cgi/math/1325513069/49

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

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

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

上記の文章を書いた人は、なにか重大な誤解をしているようだ。
「実数値関数はすべて連続である」ということは
「連続性を有しないものは実数値（全域）関数でない」
ということであるから、当然弱い。
0037１３２人目の素数さん
垢版 |
2012/01/07(土) 17:09:03.74
http://uni.2ch.net/test/read.cgi/math/1325513069/
＞知識も話題も豊富なスレタイスレ446

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

数理論理学が、全ての問題の解決法を求めたがる
人格障害者をひきつけ易い傾向があるのは確かだ。
0042１３２人目の素数さん
垢版 |
2012/01/08(日) 08:53:20.53
>>39
何かイラついているようだが、理由がサッパリワカランなｗ
0044１３２人目の素数さん
垢版 |
2012/01/08(日) 09:05:33.24
http://uni.2ch.net/test/read.cgi/math/1325513069/163
＞基礎論の最初の目的（の一つ）がパラドックスの解決だったかということと、
＞基礎論の研究の結果実際にパラドックスを解決できたかという、
＞全く別の問題（一方は歴史の問題、もう一方は数学または哲学の問題）を混同

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

そうしたところで、勝手に>>40みたいに
「決定不可能なものは数学だなんて呼べないよ」なんて、
自らガソリンかぶって、ライターで着火するようなこと
平気でやるから、結局火達磨になって炭に成り果てるｗ
0047１３２人目の素数さん
垢版 |
2012/01/08(日) 09:22:09.96
決定厨隔離スレ
http://uni.2ch.net/test/read.cgi/math/1325513069/
のテンプレートも
「素朴集合論における逆理の解消などを一つの動機として」ではなく
「集合論の逆理の出現による、数学の無矛盾性への疑念の解消を
　一つの動機として」とでもしておけばよかったわけだ。
ツェルメロの公理系も応急処置でしかなく、絶対的な無矛盾性の保証
はないわけだから。しかし、そのような動機も結局
「無矛盾性の絶対的保証なんか無理。ま、諦めろ」
という常識的なところにオチついたわけで、いまだに不満を抱いてる
のは、決定厨のような人格障害者くらいのもの。
0048１３２人目の素数さん
垢版 |
2012/01/08(日) 09:28:09.31
>>47
ま、
「集合論の逆理の出現による、数学の無矛盾性への疑念の解消を
　一つの動機として」というのも、ヒルベルト・プログラムの
説明にしかなっていないわけだが。しかも疑念をいだいていたのは
ヒルベルトではないわけで、ヒルベルトとしては胡散臭げな疑念を
大義名分にして、狭い範囲に閉じこもろうとする反動主義者どもを
抹殺しようと企んだら、自爆しちまったというところか。
0055１３２人目の素数さん
垢版 |
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
でググっていたら
http://www.imub.ub.es/hocard11/Problems.pdf
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
http://www.imub.ub.es/hocard11/Gutierrez.pdf
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
0056１３２人目の素数さん
垢版 |
2012/01/09(月) 09:22:46.37
>>54
＞どちらの表現がいいかは別にして

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

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

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

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

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

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

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

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

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

そういう意味でいえば、「論理学スレ」も基本的には必要ない。
例えば、非標準論理について議論したければ「非標準論理スレ」
を立てるほうがリコウだろう。
0064１３２人目の素数さん
垢版 |
2012/01/09(月) 14:35:42.85
>>63
そう、もはや数学基礎論ではなく数理論理学だから。
0065１３２人目の素数さん
垢版 |
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
でググっていたら
http://www.imub.ub.es/hocard11/Problems.pdf
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
http://www.imub.ub.es/hocard11/Gutierrez.pdf
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
0066１３２人目の素数さん
垢版 |
2012/01/09(月) 15:28:46.18
>>65
こういうネタは
「集合論スレ」とか「巨大基数スレ」とか
立ててやったほうが盛り上がると思われる。

是非そうしたまえ。
0067１３２人目の素数さん
垢版 |
2012/01/09(月) 19:05:06.51
>>66
巨大基数の集合論とその応用　そのアレフ 0
と言うタイトルで立て様と思ったが拒否された。
0069１３２人目の素数さん
垢版 |
2012/01/28(土) 22:43:53.71
age
0070１３２人目の素数さん
垢版 |
2012/02/04(土) 22:52:20.33
http://uni.2ch.net/test/read.cgi/math/1325513069/456
>今夜0時までに
>田中の数学基礎論講義の5章までの定理をすべて
>Coqで証明するよ＾＾

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

もちろん、実際の数理論理学は全く異なるわけだが。
0072１３２人目の素数さん
垢版 |
2012/02/09(木) 10:29:22.53
　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0073１３２人目の素数さん
垢版 |
2012/02/09(木) 21:15:32.88
決定性公理 AD って二階算術の命題として定式化出来ますか？
定式化出来るとして、 ADの否定は
ATR0やΠ11-CA0などの体系で証明できますか？
0075１３２人目の素数さん
垢版 |
2012/02/15(水) 18:14:42.34
>>103
自分の知識がないせいだと思うが専門知識が豊富な感じのレス
0076１３２人目の素数さん
垢版 |
2012/02/19(日) 04:01:51.88
　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0077１３２人目の素数さん
垢版 |
2012/02/19(日) 04:08:29.57
質問ですマジレスお願いします。ガチです＞＜
１００未満を、四捨五入。１００未満が、四捨五入。

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

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

Martin-Lo"fで一つの姓。おぼえとけYO。
0086┌∩┐(& ◆EQYxHFCTcMRP
垢版 |
2012/02/25(土) 11:42:08.68
┌∩┐(◣_◢)┌∩┐
Fuck!
お前あげあし、
俺は天下、
とるのかFucinBroootas!!
OZOZ...＠＠（くるくるくるくる）、
Yes!Fucing＠＠（くるくるくるくる）”！！
Coolish!!!!!!!!!!
0087１３２人目の素数さん
垢版 |
2012/02/25(土) 11:43:53.40

例えば、草がある。
その草は「草」としてそこに存在している訳だが、我々がそれを草と認識するには、草がまず草であるという理解が必要となる。
何か分からないものに対して、その「もの」に自分の少しの理解が加われば、そこに存在しているものの見方も変わってくる。

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

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

(Ｐ⊃Ｑ)⊃(～Ｑ⊃～Ｐ) はトートロジーであり、
「(ＰならばＱ)ならば(ＱでないならばＰではない)」が成立する。

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

論理学でも、莫少揆 (Moh Shaw-Kwei)とかいるよ。
0097１３２人目の素数さん
垢版 |
2012/03/23(金) 18:20:21.52
リサイクルという点ではクソから食物を作るというのもアリｗ
0098あのこうちやんは始皇帝だった
垢版 |
2012/03/23(金) 19:34:45.39

　お前たちは、定職に就くのが先決だろがあああああああああ！！！！！！

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