選択公理を認めない霊夢と魔理沙のマイクラ実況:ダイヤの増やし方【ゆっくり実況】

Поделиться
HTML-код
  • Опубликовано: 17 янв 2025

Комментарии • 39

  • @ふとずし
    @ふとずし Месяц назад +80

    マイクラ動画が飽和して「もう視聴者全員マイクラぐらい知ってるでしょ」と言わんばかりの動画がいっぱいのこのご時世にマインクラフトの初歩の初歩から解説してるのなんかじわじわ来る

  • @いぬのしっぽ-i2i
    @いぬのしっぽ-i2i Месяц назад +10

    動画冒頭のマインクラフトの説明を丁寧に述べてるところに
    定義を並べた上で本題の議論へ進む数学らしさが出ていて、すき。

  • @orx-0053
    @orx-0053 Месяц назад +35

    当たり前のように埋まってる選択公理に草

  • @ゆしの
    @ゆしの Месяц назад +15

    ふむ、Banach-Tarskiの定理が使えるような分割が素手でできるだと…妙だな…

  • @user-monnena
    @user-monnena Месяц назад +24

    エンダードラゴンは一度ルベーグ非可測集合にバラバラになってるのか…😨

  • @MS-gq4gx
    @MS-gq4gx Месяц назад +14

    ゲーム、証明、……なんだ形式主義か

  • @null-rn9zx
    @null-rn9zx Месяц назад +17

    豊穣剣とか作れそう

    • @PlutoFrybyer
      @PlutoFrybyer Месяц назад

      スライス剣とカルテシアン兵剣も追加で

  • @VOICEROID-vd4cz
    @VOICEROID-vd4cz Месяц назад +5

    帰納法掘り当てたら資源無限化施設と併用して文字通り資源が無限個になりそう

  • @播磨屋しまじろう
    @播磨屋しまじろう Месяц назад +11

    選択公理を素材に使うと消滅するということは、線形論理か何かを採用している……?

  • @waheyhey
    @waheyhey Месяц назад +5

    ちなみに前チャンネル主とマイクラやったとき、洞窟の入り口を探そうって言ったら、却下されてその場を掘り始めました

  • @れおなてゃん
    @れおなてゃん Месяц назад +4

    Banach-Tarskiの定理をつかえばBanach-Tarskiの定理を増やせる...ってコト!?

  • @tkzn_io
    @tkzn_io Месяц назад +8

    ダイヤを材料にして無限ホテルを建設してそう

  • @みるきー-f8c
    @みるきー-f8c Месяц назад +8

    マイクラ実況でまだされてないことってあったんだ……

  • @user-ce7eb3vn5p
    @user-ce7eb3vn5p Месяц назад +5

    まな板modはBanach-Tarskiの定理を認めれば全然チートじゃなかったのか

  • @Fis-t6k
    @Fis-t6k Месяц назад +1

    選択公理を認めるとゲームバランスが崩壊するから、認めちゃダメ!というメッセージですね、わかります

  • @waheyhey
    @waheyhey Месяц назад +8

    めっちゃ凝ってて草

  • @nayutaito9421
    @nayutaito9421 Месяц назад +3

    Minecraftは選択公理を満たすのですね。私のプレイしていた時代のバージョンにはなかったのですが、途中で公理が追加されたのでしょうか?

  • @bb-lz6eo
    @bb-lz6eo Месяц назад

    集合論勉強してる途中だからタイムリーだなぁ……位相とかに入るとBanach-Tarskiの話も出てくるのかな?

  • @相沢らむだ
    @相沢らむだ Месяц назад +1

    つまりゲーム意味論による選択公理の例示ってことですね(ぐるぐる目)

  • @uri-pasta-yakisoba458
    @uri-pasta-yakisoba458 Месяц назад

    タイトルにツボってチャンネル登録した

  • @a.k.a.3799
    @a.k.a.3799 Месяц назад

    高度な数学の動画を上げ続けてる方が、この時代にMinecraftの基礎の基礎を解説しているの、なんだか不思議な感じw

  • @タマナカとキュー
    @タマナカとキュー Месяц назад +1

    Mobもバター猫とかアキレス亀とかスワンプマンが出て来そう…w

  • @Sohika_NJSNJ
    @Sohika_NJSNJ Месяц назад +2

    公理を採用じゃなくて採掘することあるんだ

  • @liayou2518
    @liayou2518 Месяц назад

    豆と太陽好き

  • @waheyhey
    @waheyhey Месяц назад

    必ずオウム返しで聞き返す魔理沙

  • @kiyamacchi
    @kiyamacchi Месяц назад +2

    ダイヤと作業台からダイヤグラムが作れたりします?

    • @alg-dx
      @alg-dx  Месяц назад +1

      グラム(?)があれば作れるかも…!

  • @お水-h9m
    @お水-h9m Месяц назад

    minecraft×数学最高すぎる

  • @redlilly2235
    @redlilly2235 Месяц назад

    選択公理は「自明」だよね!

  • @IDTYF-taman004
    @IDTYF-taman004 Месяц назад

    マイクラ世界に無限公理ってあったんだ。

  • @shotadftサブ
    @shotadftサブ Месяц назад +1

    統合版なのにアドオンじゃなくてModなんだ...
    それはそうと選択公理ってそこら中に埋まってるモノだっけ???

    • @alg-dx
      @alg-dx  Месяц назад +2

      その通りで本当はアドオンなんですが、視聴者的にはMODの方が伝わりやすいかなと思ってMODと書いてます(見る人からすると名前がアドオンなのかMODなのかは関係ないですし)

  • @4a56b
    @4a56b Месяц назад

    マシュマロ投げたいけど
    ご指定のページは見つかりませんでした。
    と出てきます!投げさせてください!

    • @alg-dx
      @alg-dx  Месяц назад +2

      すみません! 修正しました!

  • @Cafe_AllRight
    @Cafe_AllRight Месяц назад +1

    かなりまな板だよこれ!

  • @kik4006
    @kik4006 Месяц назад

    バナッハタルスキー64個で足りなくなるのかと思っちゃった

    • @alg-dx
      @alg-dx  Месяц назад

      ホントはBanach-Tarskiは無限のつもりなんだけどマイクラの仕様上無理っぽい? から64個で

    • @kik4006
      @kik4006 Месяц назад

      @@alg-dx 足りなくなったらバナッハタルスキーでバナッハタルスキーを増やし始めるオチを予想してたのに