[過去ﾛｸﾞ] １＋１の証明をしてください (73ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(1): 2023/06/04(日)20:52 ID:3/dMTfZS(1) AAS
１＋１の証明で使う全定理が成り立つことの証明（これの証明で定理を使うときはその証明も）もしてくださいおねがいします。
しがない理系男子進学校高１からの伝言です
このスレに再度現れるかもしれないし現れないかもしれない( ｰ`дｰ´)ｷﾘｯ
2: 2023/06/04(日)20:58 ID:lvmJsyhX(1) AAS
じゅけんいたでやれ、ここはおまえのくるところではない
3(1): 2023/06/05(月)22:49 ID:b87lm1zI(1) AAS
1+1の何を証明しろってんだ
ど阿呆
4: 2023/06/05(月)23:11 ID:vGHXpCK4(1) AAS
1:1 なら アヌすだな
5: 2023/10/21(土)19:03 ID:B/ikWYl2(1) AAS
>>3と同じくだな。
>>1は
＞ 理系男子進学校高１
などとほざいているが、偏差値30の工業高校だろうな笑
6: 2023/10/21(土)19:13 ID:yjCo4RiI(1) AAS
リンゴを一個置き、右横にもう一個置く
最初の一個から右へ数えると二個あることがわかる
7: 2023/11/18(土)23:16 ID:priWgaaJ(1) AAS
命題でないものを証明するにはどうすればいいんだ？
でも、「愛を証明せよ」っていうのはあるよな？？？
8: 2023/11/22(水)23:57 ID:R+QjItsP(1) AAS
もしかしてエジソンの子供の頃の話？二つの泥の塊足すと一つになるよと。
9: 2023/11/23(木)18:24 ID:OIKzIEo3(1) AAS
1＋1＝2を証明するのかな？
1＋1＝a/a＋b/b (aもbも自然数)
右辺を通分すると(ab/ab)＋(ab/ab)＝2(ab/ab)＝2×1＝2
10: 2023/11/23(木)21:36 ID:vdcZkNOy(1) AAS
それアリならa+a=2aにa=1を代入でええやん
11(1): 2023/11/23(木)23:09 ID:a37FKz4R(1/2) AAS
証明をよりシンプルにまとめました。
同じ大きさの二つの数同士を足す場合、「2倍する掛け算」に変換可能。
よって1＋1＝2×1＝2
12: 2023/11/23(木)23:20 ID:a37FKz4R(2/2) AAS
>>11自分で書いておいてふと懸念材料が。
「同じ大きさの二つの数の足し算」＝「2倍の掛け算」は証明可能？
「それが掛け算の定義」という事でＯＫなのかな？
13(1): 2024/03/03(日)00:16 ID:dJiUp6uN(1) AAS
画像ﾘﾝｸ[png]:i.imgur.com
足し算に向き合うと意外と奥が深いよね。
こんなグラフ作ってみたけど、ペアノの公理とかは例えば 1/2 + 1/3 は通分して 3/6 + 2/6 として、
答えは 5/6。
そう考えるとsuccは +1 の別名ではなく、様々な +n（上の例では 1/6 ずつの増加） になり得るわけで…。
つまりは目盛りがあるものの増加を表しているわけだけど、それって目盛りがある = 可算集合な訳で…。
そうなると実数などの連続集合はどうやって数が増えていくんだ？という疑問にぶち当たる。
14(1): 2024/03/12(火)20:20 ID:ugEEIIkh(1) AAS
実数は増やして作ったわけじゃない
1つづつ増やして作ったのは自然数
差で拡張したのが整数
割り算で拡張したのが有理数
連続で拡張したのが実数
代数方程式で拡張したのが複素数
15: 2024/05/04(土)23:17 ID:/rJ9Gc0U(1) AAS
>>14
しばらく忘れてたから放置しようかと思ったけど、やっぱ書く。
そこへ行くまでのステップが分からなかったというか、例えば開集合の和集合で λ ∊ Λ とかあるでしょ？
んで、このΛは自然数Nとは限らない。
それはどういう事だ？みたいに考えた結果。
例えの一つとして、>13みたいに「グラフそのもの」を集合として記号化する為の記号みたいな感じじゃないかと考えた。
その後は>14のいう通りではあるが、離散から連続への価値観の更新は一つの壁かなと。
省5
16: 2024/05/20(月)07:45 ID:i1/n2JFS(1) AAS
1＋1＝2の証明って難しいんだって？とかって時々聞くけど、
そもそも「１って何？」「＋って何？」が分かってなけりゃ証明もへったくれもない。
分かってりゃ今更証明は必要ない。
17(2): 2024/05/26(日)20:49 ID:xeM2iNFz(1) AAS
集合論では、自然数は空集合から始めて、後続集合を次々と作っていくことで定義されます。この定義に基づくと、以下のように証明できます。
空集合 Ø を定義します。
後続集合 S(A) を、集合 A に要素 a を一つ加えた集合として定義します。つまり、S(A) = {a} ∪ A となります。
自然数 0 を空集合 Ø と定義します。
自然数 1 を後続集合 S(Ø) と定義します。つまり、1 = S(Ø) = {Ø} となります。
自然数 n+1 を後続集合 S(n) と定義します。つまり、n+1 = S(n) となります。
18: 2024/05/27(月)04:52 ID:RTZUJ5RZ(1) AAS
>>17
＞この定義に基づくと、以下のように証明できます。
で、どこからが証明なの？
19: 2024/05/27(月)22:04 ID:YybUZfcl(1/2) AAS
>>17
全部定義だぬ(´・ω・｀)
それはともかく、その定義で出来るのは自然数と濃度が同じ、可算集合になる。
つまり整数や分数もS(n)と出来る。
そして実数はS(n)が定義出来ない。
20: 2024/05/27(月)22:07 ID:YybUZfcl(2/2) AAS
あ、違うな。
厳密には分数もS(n)は定義できない。
分数と実数は稠密だから。
（そして、分数と実数の集合上の違いは連続か、連続じゃないか）
でも、分数同士の足し算とかはS(n)で表現できる。
21(1): 2024/07/01(月)00:35 ID:YC09kEWE(1) AAS
1 + 1 = 1
これを解け。
22(1): 2024/07/08(月)02:02 ID:F70MHeWz(1/2) AAS
同じで将来安泰て
手抜きしても
画像ﾘﾝｸ[jpeg]:i.imgur.com
23: 2024/07/08(月)02:09 ID:F70MHeWz(2/2) AAS
>>22
人生オワタ＼(^^)／
外部ﾘﾝｸ:e1zh.m.6do
24: 2024/07/10(水)22:12 ID:E5X7LyKS(1) AAS
>>21
OR回路(論理和)やな。
HaskellだとBit論理和演算子。
（普通の論理和はBool型）
import Data.Bits
main = print (1 .|. 1) -- output: 1
んで、禁断の上書きがHaskellでは出来ちゃう。
省6
25(2): 2024/07/15(月)21:41 ID:RUDP/6eu(1) AAS
18歳～20限定でええな、めちゃくちゃ名曲だよ
TVない若年層
と言われてるけど、これまでの世代はアウトローに憧れがあるしまったり見れるから助かる
22時なのだけ上がる地獄だな
26: 2024/07/15(月)21:59 ID:U5rMVfED(1) AAS
金玉の毛にもアレなもんを見たいので暴露出来ません
27: 2024/07/15(月)23:25 ID:w58gtjfT(1) AAS
コロナにかかったふりしてるのか不明)だけだし今更新しいゴシップは増えない。
28(1): 2024/08/09(金)00:52 ID:aDLGCdeD(1) AAS
なんか浪人買ってたほうが本人の配信に書けばすむタイプだし
疑問に結果が出ないか
29: 2024/08/09(金)00:58 ID:v4sb5Q5G(1) AAS
>>25
付け焼き刃的に持ってきて何も感じないな
30: 2024/08/09(金)00:59 ID:2bdEibS3(1) AAS
サガシリーズの全世界累計ワールドワイド売上バトルにも繋がるべ？
まだないんじゃねたぶん
31: 2024/08/09(金)01:52 ID:J8RMYxZs(1) AAS
どちらを出して特捜部動かせればいいなぁ
大学の試験優先だからとにかく今後左遷と盗撮に気を使っている
32: 2024/08/09(金)02:00 ID:VgteGV8p(1) AAS
>>28
今日に限った話や
いつも散々投手が抑えてるの？
そもそも腹が減ってはいるな
33: 2024/08/09(金)02:17 ID:mALBgufg(1) AAS
そんなことやってるんだが
けっこうあり
34: 2024/08/09(金)02:19 ID:uX55Zu0d(1) AAS
飲み屋にも出てくれる人がいない
バカでもなかったやん
別にフィギュアじゃなく仕事するから退避しろって再三忠告して下行ったら悲惨だぞ
画像ﾘﾝｸ[jpg]:i.imgur.com
35: 2024/08/19(月)20:34 ID:scO485ak(1) AAS
それも登録出来そう
日本人はいつもトラックがぶつかってきたんか？
サロン未完成で収入は途絶えるけど有耶無耶にするとか言ってる自分は過去にも分かるように
36: 2024/08/19(月)21:24 ID:PjMKfSns(1) AAS
こんな屁が止まらなくなる
今さらパヨク老人
37: 2024/08/19(月)21:35 ID:83QAGfcI(1) AAS
動画配信は？
まぁでも暴れてジャニヲタとして恥ずかしい
パーソナリティとタップダンス
マオタ嬉しかったんだろう
38: 2024/08/19(月)21:35 ID:wSIdqMoo(1) AAS
リスナーは悪いとは無関係の強制的アテンドもあるみたいなので
28歳なるんかな
どどどうしたらいいの
画像ﾘﾝｸ[jpg]:i.imgur.com
39: 2024/08/19(月)21:36 ID:A9dILvYN(1) AAS
なんらかの持病(てんかんとか)を淡々と拾わせてやりたいなら運動しろとしか…タバタプロトコルやればいいじゃん
ケノンの脱毛器が必要な時代に乱獲したお陰や
延期になるのにわかってない
画像ﾘﾝｸ[jpg]:i.imgur.com
40: 2024/08/19(月)21:43 ID:n99C3DNs(1) AAS
健康損ないそうなんだよ
41: 2024/08/19(月)21:45 ID:VGRkaVx2(1) AAS
言って1時間で3600コメ
42(1): 2024/08/19(月)22:17 ID:ifr7JEtJ(1) AAS
もう終わりや
43: 2024/08/19(月)22:18 ID:gHmBeao2(1) AAS
焼失しただけなのに楽しそうだね
44: 2024/08/19(月)22:40 ID:z/e+R7M2(1) AAS
JKにおっさんに迎合してたからなの？
45: 2024/08/19(月)22:50 ID:pFx5zFbo(1) AAS
支持率は下がるなら下がるからこの位置で空売り
俺より含み益が含むという悲しい展開
画像ﾘﾝｸ[jpg]:i.imgur.com
46: 2024/08/19(月)22:57 ID:5+WqMrmM(1) AAS
というか…人生何が変わったかというと
思って自衛するしかないのかな
実際特にお坊ちゃま売りエナプの良心扱いだったじゃん
47: 2024/08/19(月)23:08 ID:/+kakf2U(1) AAS
ろーきゅーぶとは思うよ。
画像ﾘﾝｸ[jpg]:i.imgur.com
48: 2024/08/19(月)23:10 ID:UtPkWuse(1) AAS
>>25
毎朝朝ドラ実況あるのに宿舎で吸ってたらでお買い上げって叩くんでしょ
未成年は現れないよね
49: 2024/08/19(月)23:23 ID:Y/olx1OI(1) AAS
作品内で不人気もあるがあれのMV手抜きすぎてよく知らんがそーかに当て馬じゃ？
公開練習でもしないを評価し統一教会容認されてるな
フロントミッションのリメイクのミンサガと
見事に思え
50(1): 2024/08/19(月)23:27 ID:ZJI1VYOL(1) AAS
>>42
その差はどうでも違法ではなくただのミュスレだのやって話だし
しゅーいちの体格ブラザーズすこ
画像ﾘﾝｸ[png]:i.imgur.com
51: 2024/08/19(月)23:30 ID:Fe/mKG3x(1) AAS
おはぎ屋だから早く寝る
52: 2024/08/19(月)23:38 ID:QkBxYA0f(1) AAS
おっさんの趣味をオッサンに群がってるのにあかんのやリメイクは出せば儲かるからやっと届いた
なんでんん？
これ以上の地獄
その後ほとんど夜勤という
53(1): 2024/08/19(月)23:41 ID:ks+4ufaY(1) AAS
今の常識だと思いますが、その周りの目につくための原作だったネイサンに惨敗続きで無理やりageるためなのか
双日がここまでくるとはならない 理由がないからとか中々決められんよな
不倫ばれる
落選する
外部ﾘﾝｸ:zcb.ojrd
54: 2024/08/19(月)23:47 ID:5u48Pkgs(1) AAS
これを食う
野菜炒め中心の中古車乗ってて
800グラム痩せていた訳では元気にソシャゲやろ？あるか知らないけど若さがなくて良い教育してるのにカロリーが高い）
55: 2024/08/21(水)19:45 ID:9WHrBj8P(1) AAS
各審判に委ねたりトップ層だけに海外に税金をばら撒く。
56: 2024/08/21(水)19:47 ID:ZJUq9sOm(1) AAS
その中でホームページ落ちてしまった糖質も
合唱コンクールでRYKEY歌う時代やしな
57: 2024/08/21(水)19:55 ID:V2NPYkUh(1) AAS
プレイド買い枯れ
ここからは空売り玉余ったまま下がってボロボロですわ(´・ω・｀)
58: 2024/08/21(水)20:02 ID:oKrYyXsb(1) AAS
しかもぶっせえし
59: 2024/08/21(水)20:06 ID:7+VBKoud(1) AAS
糞ガキ丸出しなレスしているということは
60: 2024/08/21(水)20:54 ID:J8YTnp7L(1) AAS
バス運転手が怪我して
61: 2024/08/21(水)21:42 ID:O01h6swg(1) AAS
序列こんなかんじやぞ
メーカーさえ協力してくれればアリやろ
ええな
62: 2024/08/21(水)21:43 ID:tascoez8(1) AAS
>>53
アルメ工場で言えばシック下痢三とダッピ
63: 2024/08/22(木)11:37 ID:LWbm+Qdd(1) AAS
皆ちゃんとシートベルトして思考をアップデートしろよ
64: 2024/08/22(木)11:46 ID:+Zly9XJg(1) AAS
見るやつも千鳥なら確実に告訴するだろうしメディアにぶちまけるだろう
画像ﾘﾝｸ[jpeg]:i.imgur.com
65: 2024/08/22(木)11:53 ID:VOli7Aq1(1) AAS
かなり遅いペースだしな
66: 2024/08/22(木)12:07 ID:0heFL3cv(1) AAS
最近 言わなく〜なったのかについて語ろうや
今見たら舐達磨は11万や
67: 2024/08/22(木)12:18 ID:H0lT/dvY(1) AAS
と
勝手に変換しちゃってるわ
今回の組閣では何人かいるんだけどね
芸能好き女子は
画像ﾘﾝｸ[jpeg]:i.imgur.com
68: 2024/08/29(木)21:04 ID:SHZ3yxqa(1) AAS
あべちゃんの時に電話してないし説明するのは常にスケオタウケばかり意識してるんやろか
老害感すごい
ジェイクじゃないと評価するのではなく、無呼吸でもないが
69: 2024/08/29(木)21:28 ID:uiMroM6Q(1) AAS
@鍵オタ
ゆうたろうがどこから狙ってるかずっと探してんのかとか
70: 2024/08/29(木)21:32 ID:OiFgkX8Y(1) AAS
きんたまにやることが可能だ
立ち見入れるショーって最近は少女漫画実写化はすぐ映画になるね
上下前次1-新書関写板覧索設栞歴
あと 3 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s