数学的直感主義についてなんか語れ
■ このスレッドは過去ログ倉庫に格納されています
0001受験生
NGNG0002デフォルトの名無しさん
NGNG0003デフォルトの名無しさん
NGNGｶﾞﾝｶﾞﾚ
0004デフォルトの名無しさん
NGNGここは基礎論の概要すら分ってるの少ないような。
0005デフォルトの名無しさん
NGNG0006受験生
NGNG衝動的に立ててしまいました。
0007デフォルトの名無しさん
NGNGだったら「直観主義」だと思うよ。
スレ立てるときは誤字脱字に注意。
0008受験生
NGNG0009デフォルトの名無しさん
NGNG0010デフォルトの名無しさん
NGNGたぶんトンデモの一種として扱われてたってことはない？
0011デフォルトの名無しさん
NGNG∧∧
(ﾟーﾟ*) ♂
∠∠ ＼ ♂
＼ ζ♂
∠￣∠
0012デフォルトの名無しさん
NGNG直腸主義ではありません。直観主義です。
0013デフォルトの名無しさん
NGNG0014デフォルトの名無しさん
NGNGなんで数学に対してあんなに偉そうなの？
0015デフォルトの名無しさん
NGNG物理の問題を解くために数学が発展したと考えているから。
0016デフォルトの名無しさん
NGNGあと、就職率とかの関係とか？
数学科は就職厳しいし。（＝社会では役に立たない、みたいな）
それと、数学科はキモイ奴多いっていうイメージが
少なからずあるかも。
どの学部もたいしてキモイ率は変わらんのに。
0017デフォルトの名無しさん
NGNG代数や数論は別に物理学なんてなんの関係もないと思うけど。
情報科学の人間で、計算機が応用数学を推し進めた、なんて
考えてる馬鹿はいないよな。
0018デフォルトの名無しさん
NGNG0019デフォルトの名無しさん
NGNGどうぞ
0020デフォルトの名無しさん
NGNGTatsuaki Okamoto and Ryo Kashima
http://eprint.iacr.org/2003/187/
0021デフォルトの名無しさん
NGNG0022デフォルトの名無しさん
NGNG実際に基礎論の公理的集合論やモデルの理論、証明論などが
実際のソフトウェア製造において活用できたことがありますか？
高度な理論は理解するのも大変ですが、それを活用するのはさらに難しいですよね。
0023デフォルトの名無しさん
NGNG0024デフォルトの名無しさん
NGNG調べて投げ出したのが私です。どうもすいません。
坪井先生のモデル理論の入門書がさっぱり分りませんでした。
0025デフォルトの名無しさん
NGNG> 代数や数論は別に物理学なんてなんの関係もないと思うけど。
ｦｲｦｲ
0026名無しさん
NGNG0027デフォルトの名無しさん
NGNG0028デフォルトの名無しさん
NGNG0029デフォルトの名無しさん
NGNG>>22のために実例をいくつか挙げてやって下さい。
0030デフォルトの名無しさん
NGNGId: #a19980831184637 (reply, thread)
Date: Mon Aug 31 18:46:37 JST 1998
From: 鴨 浩靖 <[email protected]>
Subject: Re: ZFを越えて？
こんにちは。集合論は専門ではないけど、その周辺で仕事をしている鴨です。
>>fj の騒ぎを見てシライシ氏のウェブページを見てきました。
>>似たようなもので 現代数学における問題と困難（集合論） があります。
>>じっくり読んでませんがやはり「と」の ようの気がします。専門家の意
>>見を聞かせて下さい。
「区体論」ですね。だいぶ昔に読みました。「○○は間違っている」と
主張するタイプの似非科学の典型です。私はこの手のものを「マチガッテル系」と呼んでいます。
「と」かというと、ちょっと苦しいです。というのは、と学会による「とんでも本」の定義は、
「著者が意図したものとは異なる視点で読んで楽しめるもの」ですが、残念ながら、
「区体論」は面白くないからです。一般にマチガッテル系はパターンが決まっていて、
楽しむにはかなりの忍耐力と特殊な感性が必要とされます。「区体論」も例外ではありません。
ちなみに、「すべての集合の集合」が存在して Russell のパラドックスの生じない
集合論が欲しければ、 NFというのが大昔からあります。今でも細々と研究が続いています。
どなたか「区体論」の人に、「NFではダメなのか？」と質問のメールを送る勇気と
暇のある人はいませんか？
0031デフォルトの名無しさん
NGNGつまりif文で真偽が決まらず、ズッコける可能性があると。
UnDeterminableExceptionをcatchすれば、あんしーん！
便利な世の中ぢゃの、ふぉっふぉっふぉっ。
0032デフォルトの名無しさん
NGNGそれに比べて我々は・・・
「あ、コケちゃった、ごめーん（笑）」
「分かんないけど、とりあえず動くみたい。結果オーライ（爆）」
0033デフォルトの名無しさん
NGNG0034デフォルトの名無しさん
NGNG0035デフォルトの名無しさん
NGNGこの世に自然数以外に確からしいものなど何一つない！
もちろん根拠などない。あえて挙げるとすれば、
不完全性定理ですら自然数は自明のものとして
扱われていることか。
同じように自明のものとして扱われているものがある。
集合論です。だがあれば、不完全な言葉そのものから
出てきたものです。よって素朴集合論は不完全なのです。
テクニックによってその穴を埋めようともそれは
不可能なのです。集合論はどこにでも適用可能です。
それは、人間が言葉を使って何かを表現することしか
出来ないことのせいです。ですが、そのような不完全な
ものは私達の目指すものではりません。
0036デフォルトの名無しさん
NGNG0037デフォルトの名無しさん
NGNG集合論は言語の蒸留水のようなもの。
しかしそれ故に正当ということにはならない。
0038デフォルトの名無しさん
NGNG0039デフォルトの名無しさん
NGNG0040デフォルトの名無しさん
NGNGhttp://nkiso.u-tokai.ac.jp/commonk_old/_disc1/000000af.htm
0041デフォルトの名無しさん
NGNGDate: 03/12/18 14:25
>>543の指摘は尤も。
前層というのはCからSetsとかへの反変関手で、したがって一般にはクラス。
前層のなす圏とかはつまりクラスの集まりであってクラスより大きい。
だからグロタンディークは普遍集合を考えたりして矛盾が生じないようにしたんだな。
又これはＺＦＣやＢＧが本質的でないことを示している。
基礎論屋はこの辺りのことをよく理解していないんだろうな。
______________________________________________
From: [548] 547 <sage>
Date: 03/12/18 14:37
いい忘れた。
多くの数学者は普遍集合を考える意味を理解していない。黒木とかいう偉そうなダメ数学者もそうだ。
君たちは前層のなす圏を考えるだけで既に矛盾に陥る危険を冒しているんだよ。
矛盾の起きないように細心の注意を払ったグロタンに感謝しなさい。そしてＳＧＡを読みなさい。
0042デフォルトの名無しさん
NGNG仕事が与えられるようになった。一人の天才ではなく、100人の超秀才で
仕事をするのが今の数学。となると、未来の数学はどうなるのでしょうか。
0043デフォルトの名無しさん
NGNGこのレスを見た人はコピペでもいいので
10分以内に3つのスレへ貼り付けてください。
そうすれば１４日後好きな人から告白されるわ宝くじは当たるわ
出世しまくるわ体の悪い所全部治るわでえらい事です
0044デフォルトの名無しさん
NGNG■ このスレッドは過去ログ倉庫に格納されています