[過去ﾛｸﾞ] 0.99999……は１ではない (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
903(3): 哀れな素人 2019/10/08(火)23:26 ID:qtL27EiZ(18/21) AAS
いっておくが無限公理などというものは
近代のアホ数学者が立てたものだ（笑
誰が立てたかは知らないが（笑
ギリシャ時代に無限公理を立てようなら物笑いの的だ（笑
数学の歴史も知らないアホども（笑
904(1): 2019/10/08(火)23:29 ID:N7gJkFQf(11/14) AAS
>>903
「公理」の意味を述べろ
その上で「公理が正しいと信じている」という謎の発言を説明しろ 「公理」の意味が分かっていればこんな意味の分からない発言はしない
905(1): 2019/10/08(火)23:36 ID:N7gJkFQf(12/14) AAS
>>903
あと君、「自然数」自体の存在は認めているよね
じゃあ無限公理無しにどうやって「自然数」を数学的に構成するのか説明して
906(1): 2019/10/08(火)23:37 ID:N7gJkFQf(13/14) AAS
>>903
それと、数列の極限という概念も認めているよね
無限公理無しにどうやって「数列の極限」を数学的に構成するのか説明して
907(3): 哀れな素人 2019/10/08(火)23:39 ID:qtL27EiZ(19/21) AAS
>>904
アホレス乙（笑
無限公理は公理ではないのである（笑
なぜならギリシャ人は無限など認めていなかったから（笑
嘘だと思うならアリストテレスを読んでみればいい（笑
最後にお前らに質問（笑
無限公理とは、聞くところによると、
実無限集合が存在するという公理であるらしい（笑
そこでお前らに聞くが、実無限集合の具体例を挙げてくれ（笑
省4
908: 2019/10/08(火)23:41 ID:B7gLl11X(1) AAS
>>907
安達さんが京大を卒業したという公理
安達さんが京大を卒業していないという公理
どちらを採用しても数学の議論は可能なんです
意味わかりますか？
909(2): 哀れな素人 2019/10/08(火)23:44 ID:qtL27EiZ(20/21) AAS
>>905-906
お前のいう無限公理が、可能無限公理なら認めるのである（笑
しかし聞くところによると
無限公理とは実無限公理であるらしいから、それは認めない（笑
実無限なんて存在するはずがないからだ（笑
今夜はここまで（笑
910(1): 哀れな素人 2019/10/08(火)23:46 ID:qtL27EiZ(21/21) AAS
>どちらを採用しても数学の議論は可能なんです
間違った公理を採用しても意味はない（笑
911: 2019/10/08(火)23:50 ID:N7gJkFQf(14/14) AAS
>>907
はやく公理の意味を述べろ
意味が分かれば「公理は間違っている」という謎発言は出来ない
>>909
「可能無限公理」とはなにか数学的に厳密に構成して
912: 2019/10/08(火)23:50 ID:KgLpej7y(3/3) AAS
もちろん可能無限を公理とすれば
１≠0.9999である。
913: 2019/10/08(火)23:56 ID:9PlZmJ52(2/2) AAS
>>910
数理論理学というのをご存知でしょうか
ヒルベルトが作った数学を対象とする数学の一部門ですね
ヒルベルトによると、数学というのは公理から推論規則を通して得られる定理を導出していく作業です
形式主義によれば、数学の主人公は意味を持たない論理式という”記号”です
つまり、正しいか正しくないかというものではないわけですよ
省5
914: 2019/10/09(水)00:02 ID:N6K1JaVI(1/9) AAS
しかし、意味と形式を分離したからといって、どのような公理も公理として認めることはできません
公理系は無矛盾である必要があります
安達さんの安達数学のように今はこっち、今度はあっちというように矛盾だらけではダメなわけですね
915: 2019/10/09(水)00:06 ID:N6K1JaVI(2/9) AAS
数学で大事なのは、正しいか正しくないか、ではなく、矛盾があるかないか、なのですよ
何が正しいのかは人の価値観によって変わります
その価値観は、数理論理学の世界では、モデル、として形式化されます
命題の正しさはたとえ保証することができなくても、公理から命題を導くその道筋は誰にも否定することはできません
公理を認めるか認めないかに関わらず、誰にとっても数学の論理は正しいわけです
916: 2019/10/09(水)00:07 ID:YYdnbiMS(1) AAS
こうなったらとうとう最後の手である
デデキント切断
を使うしかないようだね。
917: 2019/10/09(水)02:30 ID:PFECpNHL(1/11) AAS
>>877
>何でお前らは {0} とか単項数列とか、
>そんな記号や用語でしか数学を語れないのか（笑
{0}は元1個の集合
単項数列は長さ1の有限列
たったそれだけのことに拒絶反応を示す国文バカがなんで数学なんかに興味持ったのか？
918(1): 2019/10/09(水)06:41 ID:gm3ls/Yz(1/4) AAS
>>907
>自然数の集合は可能無限集合であって
>>909
>お前のいう無限公理が、可能無限公理なら認めるのである
こんな数学に媚びたこというのが
安達の女々しいところ
男なら
「自然数全体の集合なんて存在しない！」
「可能無限とは、有限集合の上限が存在しないという意味でしかない！」
と言い切れよ
919: 2019/10/09(水)06:45 ID:gm3ls/Yz(2/4) AAS
安達がいうべきことは
0.99999……は１ではない
でなく、そもそも
0.99999……は存在しない
だった
自分にとって存在しないものを
存在すると前提して妥協した時点で
安達は数学に負けてる
920(1): 2019/10/09(水)07:05 ID:DIpAeh8z(1/7) AAS
公理を否定している時点で安達の負け
921: 2019/10/09(水)07:27 ID:gm3ls/Yz(3/4) AAS
>>920
公理から矛盾が導かれたから否定する、なら分かるが
気に要らないから否定する、というのはダメだよな
双曲幾何学とか相対論を否定するトンデモと同じ発想
922(2): 2019/10/09(水)09:13 ID:WeQhCFU4(1/31) AAS
依然としてアホの巣（笑
ID:B7gLl11X
ID:9PlZmJ52
ID:N6K1JaVI
これは質問少年とその同類（笑
ヒルベルトの数理論理学など無意味（笑
ID:PFECpNHL
45ID:gm3ls/Yz
ID:DIpAeh8z
これはサル石とその同類（笑
省1
上下前次1-新書関写板覧索設栞歴
あと 80 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s