Inter-universal geometry と ABC予想 (応援スレ) 74 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは1000を超えました。
次スレ検索 歴削→次スレ 栞削→次スレ
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
41: 08/23(土)13:30:19.95 ID:18cyucpd(8/17) AAS
>>36
>であり、自然言語を使わずに 形式論理などのグダグダを避ける
ほらね、>>35の通りでしょ
207: 08/25(月)21:21:02.95 ID:O3poJvHG(8/8) AAS
>>191
>21世紀数学は 実無限を認める人多数だろうさ ;p)
正則性公理により ∀x(¬x∈x) だから ∀x(x≠x∪{x})。よって x∈X→x∪{x}∈X なる条件はXが無限集合であることを要請する。
つまり実無限とされる無限集合の定義に無限操作なるものは不要。
よって無限操作なるものの否定は実無限の否定という主張はただの言いがかり。バカの妄言に過ぎない。
365: 08/27(水)13:11:13.95 ID:9XbEmCId(3/7) AAS
文章も読めない高卒エテ公のID:r21l7Tcrは田舎で百姓でもしてろ タコ!
423
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/27(水)20:59:41.95 ID:6Zc3kOJS(3/5) AAS
>>421
>もともと殴り合いしに来てるみたいだから
>殴り合いさせとけばいいんじゃないかな?

まあ、止めようがないですが・・ ;p)
なお
 ID:yteK2WxD氏は、サイコパスのおサル>>10
 ID:r21l7Tcr氏は、多くの場合 おサルとタッグを組んでいるのだが (^^
省8
505
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/30(土)10:12:43.95 ID:jE3Cs7nW(9/22) AAS
>>499
>∪XはXの元すべての合併。Xが無限集合なら∪Xは無限合併。
>お馬鹿さんは二項合併A∪Bしか知らん高卒オチコボレ。
>因みに任意の集合A,Bに対して対の公理により{A,B}が存在し、A∪B=∪{A,B}。

ふっふ、ほっほ
では問う
可算無限集合族 A1,A2,A3,・・に対して ∩An を ZFC公理で定義せよ
省1
536: 08/30(土)17:41:12.95 ID:fr4NlS//(11/12) AAS
中学・高校の数学では
・命題論理は教えるけど、述語論理は教えない
・有限集合は教えるけど、無限集合は教えない
・無限小数は教えるけど、実数の定義は教えない
で、大学受験で入ってきた小賢しい学生が
述語論理を用いた無限集合やら実数の定義
を目のあたりにして、
省4
640: 09/01(月)13:27:45.95 ID:2hK1RYNi(8/8) AAS
>>639
間違えて失礼した
778
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)09:50:26.95 ID:JgP2aXhR(2/14) AAS
つづき
さて 下記 <厳密だけが、数学ではない>
『論理は確実性しか与えず、証明の手段である。直感は発明の手段である』 by ポアンカレ
百回音読しましょう!

 >>8-9より
<厳密だけが、数学ではない>
<数学と厳密>
省29
841
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)16:13:30.95 ID:hvfvmXnW(3/6) AAS
>>837
>文系に負うところか大きいと反省なさい。世界が。

死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます。
全くですね

1)一般に 数学は きっちりした 定義からはじまるが
2)日常の世界では きっちりした 定義 が決められないことが多い
 例えば 日米関係の討論会があるとして
省10
873: 09/08(月)05:49:45.95 ID:cHGHxDDe(1) AAS
IUTに関しては山下剛も被害者
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.034s