[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）2 (684ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): 2020/06/19(金)23:54 ID:imq2ACd0(1/2) AAS
クレレ誌：
外部ﾘﾝｸ:ja.wikipedia.org
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)
そこで
現代の純粋・応用数学（含むガロア理論）を目指して
新スレを立てる（＾＾；
省8
604(1): 2020/07/04(土)12:57 ID:CWyEcjzD(4/4) AAS
>>594
余計な口出してジャマすんな。
605(1): 2020/07/04(土)13:10 ID:iKe8zzl2(6/24) AAS
>>604
時間を有効に使いなよ
間違いに気づかずに、正当化で無駄な時間を費やすより
間違いを見つけたほうがはるかに意義があるから
606: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/04(土)13:30 ID:CndtYA/1(7/11) AAS
そういえば
おサルは
以前、狂気の連投をしたことがあったな
必死チェッカーもどきに残っているなｗ（＾＾
24時間で447投したんだ
（複数ＩＤを使っていたから、ほんとうはもっとだが）
（参考）
省10
607: 2020/07/04(土)13:55 ID:k4/zjNB4(1/7) AAS
工学バカが数学板でコピペマウントしまくる滑稽さに比べれば
608: 2020/07/04(土)13:59 ID:k4/zjNB4(2/7) AAS
「箱入り無数目は成立」は数学科出身者はみんな言ってるね。
工学部出身のセタが認めないだけｗ
609(1): 2020/07/04(土)14:12 ID:k4/zjNB4(3/7) AAS
トンデモがトンデモに陥るのって、共通点があるよね。
ハタから見ると、「お前に思いついて、それで証明に
なってるなら世界中の誰かがとっくに思いついてるし
未解決問題でもないだろ」って明らかなんだけど
なぜか本人は自分にだけ天啓があって、証明ができて
るんだって、ありえない期待にかけている。
610(1): 2020/07/04(土)14:20 ID:GpISF/1n(1/13) AAS
>>605
私に限らず、他人にもお前が相手が希望しないのに口挟んでしつこくつきまとっている。
余計なお世話である。
611(1): 2020/07/04(土)14:22 ID:1EH0+MbP(1/7) AAS
箱入り無数目がマチガッテルと喚くなら n>m 且つ n<m を満たす自然数の組n,mを示してね
612(2): 2020/07/04(土)14:27 ID:k4/zjNB4(4/7) AAS
未解決問題に拘るより、まだ誰も発見してない基本的な
ことを思いつく可能性の方がまだ遥にある。
ただし、数学的に正しい推論ができることは必要条件だけどね。
「箱入り無数目の元ネタ」だって比較的最近だろうし
遠アーベルなど広大な研究につながったBelyiの定理の
発見は1979年。この定理本当にすごい。
外部ﾘﾝｸ:en.wikipedia.org
613(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/04(土)14:30 ID:CndtYA/1(8/11) AAS
時枝「箱入り無数目」の数当て戦略の不成立の証明は、あるよ（下記）
但し、証明のレベルが高いので、大学教程の確率論・確率過程論を学んでいないと、分からないぞｗ（＾＾
あとは、下記スレ使えｗ
現代数学の系譜 カントル 超限集合論2
2chｽﾚ:math
（時枝問題（数学セミナー201511月号の記事）の戦略不成立の証明（＾＾；）
614(1): 2020/07/04(土)14:33 ID:1EH0+MbP(2/7) AAS
>>603
>必ず外れるって云ってる奴は、
>「選んだ列の決定番号が必ず100列中の最大値になる」
>っていってるのか？
そう言ってるとしたら間違い。
確率分布はランダム（一様分布）と明示されているので。
「さて， 1〜100 のいずれかをランダムに選ぶ.」
省2
615: 2020/07/04(土)14:34 ID:1EH0+MbP(3/7) AAS
>>613
証明になっていないことを具体的に指摘しているのにおまえが無視しているだけやん
ほざくなアホ
616(1): 2020/07/04(土)14:37 ID:GpISF/1n(2/13) AAS
>>612
他人にしつこく付きまとうことは、余計なお世話である。
617: 2020/07/04(土)14:37 ID:1EH0+MbP(4/7) AAS
箱入り無数目は証明が簡単な割に見た目はインパクトあるからなあ
実際数学が分からないアホはマチガッテルーと喚いてるしｗ
618(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/04(土)14:46 ID:CndtYA/1(9/11) AAS
>>612
その話は、ＩＵＴスレでも出したが下記だな
外部ﾘﾝｸ[pdf]:mathsoc.jp
グロタンディーク・タイヒミュラー理論の話題から
中村博昭（大阪大学理学研究科）
Contents
1. Introduction 1
省21
619: 2020/07/04(土)14:48 ID:iKe8zzl2(7/24) AAS
>>613
＞時枝記事の”勝つ戦略”なるものは
＞「ある1つの箱を残して、他の箱を全て開けることを許せば、
＞ その1つの箱の実数を 確率99％で的中できる」
＞ということだった
記事が正しく読めてたら、そんな誤解はしないよ
「100列並べて1列を選びさらにその中から
省12
620(1): 2020/07/04(土)14:50 ID:iKe8zzl2(8/24) AAS
>>614
>単純に同値類や選択公理が理解できていないだけ
そうなの？そんな難しい話じゃないけどな
数セミのたった2pの記事が理解できないようじゃ
大学の数学なんてどれ一つとっても理解できないよね
621(1): 2020/07/04(土)14:53 ID:1EH0+MbP(5/7) AAS
>>620
>そうなの？そんな難しい話じゃないけどな
はい、その通り。
>数セミのたった2pの記事が理解できないようじゃ
>大学の数学なんてどれ一つとっても理解できないよね
はい、その通り。
瀬田は大学一年の4月にεδ論法の授業についていけず落ちこぼれたので、大学数学はからっきしなんです。
622: 2020/07/04(土)14:53 ID:iKe8zzl2(9/24) AAS
>>618
「箱入り無数目」も理解できない人には
その記事は到底無理だな
悪いこといわないから 諦めな
時間の無駄だから
623: 2020/07/04(土)15:01 ID:iKe8zzl2(10/24) AAS
>>621
＞大学一年の4月にεδ論法の授業についていけず落ちこぼれた
そうなんだぁ
よく聞く落ちこぼれの話って
「なんで、これで連続だって云えるんだ？」
って問いから抜け出せなくなるやつ
でも、そんな問いは無意味なんだよな
省10
624(1): 2020/07/04(土)15:11 ID:iKe8zzl2(11/24) AAS
>>609
おっちゃんは、はっきりいって、数学なめてるよね
教科書に書かれてる不等式を使えば、
どんなDiophantus問題も解けると
本気で思ってるんじゃないかな？
もちろん、そんなことはないよ
そもそもHilbertの第10問題の否定的解決に反するよね？
省3
625(1): 2020/07/04(土)15:15 ID:iKe8zzl2(12/24) AAS
>>610
数学をなめた素人に、ここの玄人達の風当たりが強いのは当然だよね
自分がどれだけ不遜なのか 気づいたほうがいいよ
626: 2020/07/04(土)15:19 ID:iKe8zzl2(13/24) AAS
>>616
誤証明の正しさに拘る素人にこ、この玄人達の風当たりが強いのは当然だよね
自分がどれだけ不遜なのか 気づいたほうがいいよ
627: 2020/07/04(土)15:21 ID:iKe8zzl2(14/24) AAS
正直、素人が分りもしないのに、したり顔して数学を語るから、
玄人から反感買って、執拗になじられるんだよ
自分が不遜なのが一番の原因なんで、
他人が意地悪みたいにいうのは筋違いだよね
628: 2020/07/04(土)15:28 ID:iKe8zzl2(15/24) AAS
ところで
2chｽﾚ:math
>IUTが正しいことは、99％確定です。
IUT論文って600pあるんだっけ？
その1%というと6p
「正しいかどうかわからない」記載が
6pもあるとしたら、相当酷くない？
629(1): 2020/07/04(土)15:36 ID:GpISF/1n(3/13) AAS
>>624
数学のあらゆる分野にとやかく口を出そうとしていることが
私から余計なお節介とか他人から傲慢といわれる所以だ。
この論理バカ。
630(1): 2020/07/04(土)15:40 ID:GpISF/1n(4/13) AAS
>>625
こういうのが余計なお節介だ。
631(1): 2020/07/04(土)15:43 ID:iKe8zzl2(16/24) AAS
>>629
＞論理バカ。
論理が分からないなんて、ただの馬鹿だよ
そういう馬鹿でも理科大とか入れちゃうんだなあ
日本の大学入試（というより学校教育）って根本的欠陥があるよなあ
632(1): 2020/07/04(土)15:46 ID:iKe8zzl2(17/24) AAS
>>630
素人は幼稚な嘘証明で数学を冒涜しないでほしいね
633(1): 2020/07/04(土)15:49 ID:GpISF/1n(5/13) AAS
>>631
情報科学科卒で数学科卒ではないから、今までの主張から分かるように論理学ばかりやってただろ。
634(1): 2020/07/04(土)15:52 ID:GpISF/1n(6/13) AAS
>>632
世間でよくいわれるように、素人が玄人を気取ってますw
635(1): 2020/07/04(土)16:12 ID:iKe8zzl2(18/24) AAS
>>633
私、数学科卒だけど 誰か別の人と勘違いしてない？
>>634
自嘲はいいよ みんなわかってるから
636: 2020/07/04(土)16:18 ID:iKe8zzl2(19/24) AAS
記号論理学に従って証明を記載する必要はないが
何が論理的に正しい推論か分かってない人が
正しい証明を書くのは不可能だね
637(1): 2020/07/04(土)16:35 ID:GpISF/1n(7/13) AAS
>>635
>私、数学科卒だけど 誰か別の人と勘違いしてない？
今まで、情報科学科卒と主張していた人はいた。
>自嘲はいいよ みんなわかってるから
5チャンで世間的にいう玄人と出会う可能性は低い。
638(1): 2020/07/04(土)16:45 ID:GpISF/1n(8/13) AAS
じゃ、寝る。
639(1): 2020/07/04(土)16:45 ID:iKe8zzl2(20/24) AAS
>>637
＞今まで、情報科学科卒と主張していた人はいた。
妄想じゃない？
＞5チャンで世間的にいう玄人と出会う可能性は低い。
やれ工学部だ理系だといいながら、
大学１年の解析学が全然理解できてない
素人はそこらじゅうで出会う
省1
640(1): 2020/07/04(土)16:46 ID:iKe8zzl2(21/24) AAS
>>638
もう二度と数学板に書くなよ いや数学板を読むなよ
君には無理だから
641(1): 2020/07/04(土)16:49 ID:k4/zjNB4(5/7) AAS
玄人だろうが素人だろうが、間違った証明が受け入れられることなんてない
これが真実。読まずにゴミ箱に直行させる玄人よりも
読んだ上で間違いを指摘してくれる５ちゃんねらーの方が
ありがたいだろ。
642: 2020/07/04(土)16:57 ID:GpISF/1n(9/13) AAS
>>639-641
こういうのを有難迷惑という。
>>641
>読まずにゴミ箱に直行させる玄人よりも
>読んだ上で間違いを指摘してくれる５ちゃんねらーの方が
>ありがたいだろ。
具体的に間違いを指摘されたことがなく、余計な指摘であった。
643: 2020/07/04(土)16:58 ID:GpISF/1n(10/13) AAS
じゃ、寝る。
644(1): 2020/07/04(土)17:04 ID:k4/zjNB4(6/7) AAS
玄人じゃないと思うなら、直接玄人のところに持ってくか
玄人の目に留まるところに論文投稿すればいいだろ。
自分で５ｃｈに間違った証明書いておいて
間違い指摘されたら余計な指摘とか、何様のつもり？
645: 2020/07/04(土)17:07 ID:k4/zjNB4(7/7) AAS
これまで散々間違った証明書いてきたし
数学の理解もからっきしだから、５ｃｈでさえ信用ないけどね。
乙が未解決問題の正しい証明を書くなんて、サルがランダムに
タイプライター打って小説が出来上がるようなもの。
646(1): 2020/07/04(土)17:07 ID:GpISF/1n(11/13) AAS
>>644
マウント取りには飽きた。
647: 2020/07/04(土)17:07 ID:GpISF/1n(12/13) AAS
じゃ、寝る。
648: 2020/07/04(土)17:10 ID:GpISF/1n(13/13) AAS
マウント取りばかりしていると、疲れる。
じゃ、寝る。
649: 2020/07/04(土)17:23 ID:iKe8zzl2(22/24) AAS
>>646
マジメに質問するけど・・・
いままで、一度でもマウントとれたことあった？
650: 2020/07/04(土)17:26 ID:iKe8zzl2(23/24) AAS
マウント君の例
・二言目にはガロアとかグロタンディクとかいう名前を口にする
・なにかというと「多変数関数論」とか言い出す
こういう人に限って大体数学分かってないし実は数学に興味もない
651: 2020/07/04(土)17:29 ID:iKe8zzl2(24/24) AAS
マウント君への意地悪な質問
・ガロア理論について説明せよ
・グロタンディクの業績について説明せよ
・多変数複素関数が一変数複素関数と決定的に違う点について例を挙げて説明せよ
上記の質問に対する回答が返ってきた試しがない
652: 粋蕎 ◆C2UdlLHDRI 2020/07/04(土)20:26 ID:urj4b54T(1) AAS
岡潔
653(1): 2020/07/04(土)20:52 ID:1EH0+MbP(6/7) AAS
>>613
おまえの証明とやら完膚無きまでに叩き潰したで
反論があるなら言うてみーや
654(2): 2020/07/04(土)20:54 ID:1EH0+MbP(7/7) AAS
瀬田みたいなアホが偽証明を堂々と投稿してるの見ると無性に腹立つわ
655(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/04(土)22:01 ID:CndtYA/1(10/11) AAS
math jinさんを見て買いました
これいいわ
紙が必要な方は、お早めに
キンドル版もあるみたいだが
なんかね
・圏論と集合論 ／ 渕野昌：これ結構良い
・ソフトウェアの数理モデルと圏論 ／ 檜山正幸：檜山正幸さんて、学者さんでもないのに、すごいね〜
省29
656(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/04(土)22:05 ID:CndtYA/1(11/11) AAS
>>654
なに悔しがっているんだ？
ばかサルがよ
オチコボレが（＾＾；
657: 2020/07/05(日)00:06 ID:q/TUMTvn(1/4) AAS
>>656
悔しい？腹立たしいと言ったんだがおまえは日本語もダメか？
悔しいのはお前だろ、ダメ出しされて悔しかったら時枝記事の欠陥箇所を具体的に指摘してみな？
絶対無理と断言する。
658: 2020/07/05(日)09:07 ID:2HW2ukuX(1/16) AAS
>>653-654
仕方ないよ、大学１年の４月で数学から落ちこぼれたみたいだから
εδとかいう以前に実数論の定義が受け入れられなかったんじゃないかな
要するに安達弘志氏と同じレベル
659: 2020/07/05(日)09:11 ID:2HW2ukuX(2/16) AAS
>>655
落ちこぼれって圏論好きだよね
肝心の圏の定義は全く理解できないというのに
群の定義も理解できん人が圏なんか理解できるわけないから
現代思想は査読ないので素人の駄文でも掲載される
掲載されただけでスゲェといってる人は何も分かってない素人ですね
660(2): 2020/07/05(日)09:16 ID:2HW2ukuX(3/16) AAS
◆yH25M02vWFhP君へ
0.999…を0.9,0.99,0.999,…の収束先（もし存在すれば）とする
１．0.999…が存在することを示せ
２．0.999…は実は1と等しいことを示せ
661(1): 2020/07/05(日)09:27 ID:q/TUMTvn(2/4) AAS
瀬田よ
>>660に完璧に答えられたら少しは見直してやるぞ がんばって解いてみい
まあ無理だとは思うが
662(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/05(日)09:37 ID:UyE0c9o0(1/5) AAS
>>541-452
”位相（開集合）を使った収束の定義や、さらに発展させたフィルターやネット、あるいはノンスタ（超準）、そして圏論の極限と余極限”
ここらを総合的に理解しておけば
”εδ論法”なんて、どうってことないのよ（＾＾
εδマンセーは古い
距離空間にしか使えないから
早く、位相空間を学びましょう〜！（＾＾
省15
663(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/05(日)09:37 ID:UyE0c9o0(2/5) AAS
>>662
つづき
X 上の相異なる2点 x、y に対し、x、y の開近傍 U、V があり、U ∩ V =Φである。
画像ﾘﾝｸ[png]:upload.wikimedia.org
相異なる2点を分離するそれぞれの開近傍
ハウスドルフの分離公理は、点 x と y が開近傍という位相的な性質を利用して「区別」(separate) できる事を意味している。すなわちX の位相は点の区別が可能なほど細かい事をこの公理は要請している。
全ての位相空間がハウスドルフの分離公理を満たすわけではなく、例えば密着位相の入った空間には開集合は全体集合と空集合しかないのでこのような区別は不可能である。
省11
664(1): 2020/07/05(日)09:41 ID:2HW2ukuX(4/16) AAS
>>662
＞εδは古い
＞距離空間にしか使えないから
＞早く、位相空間を学びましょう〜！
セタ君は、実数の位相をどうやって定義するつもりかね？
665(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/05(日)09:47 ID:UyE0c9o0(3/5) AAS
>>660-661
>２．0.999…は実は1と等しいことを示せ
その問いには、穴がある
「等しい」の定義がないｗｗｗ（＾＾
「等しい」の定義に仕方によっては
0.999…と 1とは、「等しい」とは言えない！
proof
省10
666(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/05(日)09:48 ID:UyE0c9o0(4/5) AAS
>>664
＞実数の位相をどうやって定義するつもりかね？
実数Rを、距離空間と考えるｗ（＾＾
QED
667: 2020/07/05(日)09:49 ID:2HW2ukuX(5/16) AAS
>>663
御託はいいから、セタ君が嫌う距離を全く使わず
セタ君が愛する抽象的な位相だけで
0.999…=1が示せるというなら
やってみせてくれ
不可能とは言わない
しかし、セタ君には無理だろう
省3
668: 2020/07/05(日)09:52 ID:2HW2ukuX(6/16) AAS
>>666
＞＞実数の位相をどうやって定義するつもりかね？
＞実数Rを、距離空間と考える
君、距離空間の位相の定義を知ってるかい？
知ってるというなら、書いてごらん
そうしないかぎり QEDといってはいけないよ
ウソをついたことになるからね
669(1): 2020/07/05(日)10:03 ID:2HW2ukuX(7/16) AAS
>>665
＞その問いには、穴がある
＞「等しい」の定義がない
定義はあるよ 君が知らないだけ
セタ君、大学の工学部を卒業したんだろう？
当然教養課程で微分積分学も学んだよな？
そのテキストに必ず実数における等しさの定義がある
省28
670: 2020/07/05(日)10:07 ID:2HW2ukuX(8/16) AAS
セタ君は、どうやら安達氏同様
「0.999…は1より真に小さい筈
小数として異なる表現のものが
同じ数であることなどあってはならない
矛盾だ！矛盾だ！！矛盾だ！！！」
と思ってるようだ
こんな人に狂信されてもグロタンディクも迷惑だろう
671: 2020/07/05(日)10:15 ID:2HW2ukuX(9/16) AAS
セタ君の>>665のベタベタに具体物に密着した屁理屈を見ると
この人が、グロタンディクの抽象志向とは全く逆向きの
具体志向の人だと分かる
セタ君のグロタンディク信仰というのは、たとえていえば
「天皇は唯一無二の現人神！」と思ってる人が、
一切の権威を否定するアナーキストを有難がるようなものである
（実際、グロタンディクの父親はアナーキストであったし
省4
672: 2020/07/05(日)10:39 ID:2HW2ukuX(10/16) AAS
安達氏は現代数学が分かってないが、
現代数学が目指す方向が自分の信念とは逆方向
とは気づいている
セタ氏は現代数学が分かってない上に、
現代数学が目指す方向が自分の信念と同じ方向
だと誤解している
そこが実に気持ち悪い
省1
673: 2020/07/05(日)11:15 ID:gr02GsF/(1) AAS
遠アーベル哲学だと「アーベル群からほど遠い基本群」とか言うのだろうけれど
安達やセタの信念はいわば遠数学哲学だから「数学からほど遠い屁理屈」という感じかな
674: 2020/07/05(日)11:35 ID:q/TUMTvn(3/4) AAS
>>662
>ここらを総合的に理解しておけば
>”εδ論法”なんて、どうってことないのよ（＾＾
理解しておけばっておまえ理解してないやん
「どうってことない」という一言に落ちこぼれコンプレックスが表れとる
675: 2020/07/05(日)11:48 ID:q/TUMTvn(4/4) AAS
>>665
>その問いには、穴がある
>「等しい」の定義がないｗｗｗ（＾＾
はい、不正解です。
0.999…は0.9,0.99,0.999,…の収束先（もし存在すれば）、つまり有理数列の極限と定義されている。有理数列の極限はある実数と等しい。
ほら言った通りでしょ？瀬田は絶対に正解できないと。
もう一つ予言しよう、瀬田はこの指摘を見た後でも正解できない。
676(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/05(日)12:24 ID:UyE0c9o0(5/5) AAS
>>665
テレンス・タオｗｗｗ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
0.999...
(抜粋)
数学における循環十進小数 0.999… は、 "1" と同じ数。実数として"0.999…"と「1」は同じ数であると示すことができる。これが等しいことの証明は、実数論の展開、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階の数学的厳密性（英語版）が相応に考慮された、多様な定式化がある
0.999… と 1 の等価性は、実数の体系（これは解析学ではもっとも一般的に用いられる体系である）に 0 でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0 でない無限小を含む別の数体系もある
省9
677: 2020/07/05(日)14:22 ID:2HW2ukuX(11/16) AAS
>>676
「テレンス・タオの超極限が…」といいだした時点で
セタ君がε-N論法による収束の定義を全く理解していない
と露見しちゃったね
ついでにいうと、おそらく超極限の定義も全く理解してないんだろうな
単に「0.999…は1より真に小さい」という自分の非論理的直感を
支持する言葉に脊髄反射しただけだろう
省2
678: 2020/07/05(日)14:30 ID:2HW2ukuX(12/16) AAS
セタは、結局今の数学に代わる「代替数学」を探し求めてるらしい
しかし、位相や圏論は今の数学の抽象化であるから代替数学にはならない
また、セタが「ノンスタ」とお笑いコンビのように呼ぶ
超準解析（超準数学？）も結局は標準解析から独立したものではない
「無限小」を定義するのに「標準部」を必要とするのがいい例
ぶっちゃけ0.999…が1より真に小さいとかいうつまらん考えに固執するより
いかなる根拠によって0.999…=1と結論したのか知るほうが有益だろう
679(2): 2020/07/05(日)14:40 ID:2HW2ukuX(13/16) AAS
安達氏が見たらどう反応するか興味あるページ
滑らかな無限小解析
外部ﾘﾝｸ:ja.wikipedia.org
「滑らかな無限小解析（英: Smooth infinitesimal analysis、SIA）は
無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。
ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、
SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。
省5
680: 2020/07/05(日)14:45 ID:2HW2ukuX(14/16) AAS
>>679の続き
「このアプローチ（滑らかな無限小解析）は排中律を拒否することによって
従来の数学に用いられている古典論理から離れる。
例えば NOT (a ≠ b) は a = b を含意しない。
とくに、滑らかな無限小解析の理論においては、全ての無限小 ε に対し、
”NOT (ε ≠ 0) ”を証明することができるが、それにもかかわらず、
”全ての無限小がゼロに等しい、ということはない”
省5
681: 2020/07/05(日)14:55 ID:2HW2ukuX(15/16) AAS
トポスもつきつめれば（直観主義論理による）「代替数学」を提供するようだ
Synthetic differential geometry
外部ﾘﾝｸ:en.wikipedia.org
In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory.
There are several insights that allow for such a reformulation.
The first is that most of the analytic data for describing the class of smooth manifolds can be encoded into certain fibre bundles on manifolds: namely bundles of jets (see also jet bundle).
The second insight is that the operation of assigning a bundle of jets to a smooth manifold is functorial in nature.
省3
682: 2020/07/05(日)15:14 ID:2HW2ukuX(16/16) AAS
オルタナティヴ感満載な記述（注：別にDISってない）
>>679
「中間値の定理…を含む、標準解析と超準解析の幾つかの定理は、
滑らかな無限小解析に於いては偽である。」
中間値の定理 ―
「実数直線 R の閉区間 I ＝［a, b］上で定義される
連続な実数値関数 f がf(a) < f(b) を満たすとき、
省2
683: 粋蕎 ◆C2UdlLHDRI 2020/07/05(日)15:42 ID:yUIjS5QS(1) AAS
>>669
こりゃ。天道じゃと終いにゃ堕ちるじゃろ｡
684: 2020/07/05(日)17:45 ID:9gFet3N9(1) AAS
>>665
> proof
> １）
> ・0.999… は、デジタルコンピュータでは扱えない
さすがにアホすぎでは？使えるよ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.284s*