自動更新

並べ替え:新着順

メニューを開く

他方、#公理的集合論#順序数 等もやらないんだよね。>#情報科学 あくまで #一階述語論理#数学的帰納法 を加えると、#不完全 になる、までしか言わない。#帰納的関数 も、この段階では扱っていないはず。シンプルにすれば、学部でも問題ないと思う。>#不完全性定理 x.com/7danmoroboshi/…

そくらてす@7danmoroboshi

不完全性定理の証明は大学院の授業でも全然おかしくない話なので、前提が偽 🔑>> 「不完全定理は(基礎論志望の学部3, 4年生なら理解できるという意味で)簡単」は真だろうが、素人はおろか基礎論に詳しくないプロの数学者にさえ「簡単」ではないからな

家鴨のジョナサン@JonathanTheDuck

トレンド19:03更新

  1. 1

    エンタメ

    横浜スタジアム

    • ツアーファイナル
    • イコラブ
    • IGアリーナ
    • イコールラブ
    • スタジアム
    • +18
    • 神奈川県
    • LOVE
  2. 2

    アニメ・ゲーム

    ほんとバカ

    • エンドカード
    • ご視聴ありがとうございました
    • あたしってほんとバカ
    • 第6話
    • イラスト
  3. 3

    エンタメ

    ハマスタ

    • ひな誕祭
    • イコラブちゃん
    • イコラブ
    • 卒コン
    • しょこ
  4. 4

    エンタメ

    悠木碧

    • エンドカード
    • 悠木碧さん
  5. 5

    ITビジネス

    日本留学

    • 無期限に
    • 慎重に判断
    • 中国人を
    • 共同通信
  6. 6

    ジョッキーカメラ

    • 戸崎圭太
    • グランプリホース
    • 岩田望来
    • JRA
    • 公式YouTube
    • JRA公式
  7. 7

    スポーツ

    マリウス

    • ホイブラーテン
    • チアゴサンタナ
    • 契約満了
    • サンタナ
    • チアゴ
    • 32歳
    • 30歳
    • ACL
  8. 8

    ニュース

    ホロぐら

    • VTuber
  9. 9

    ニュース

    イオンにクマ

    • クマが入ってきた
    • 家具売り場
    • 秋田のイオン
    • 麻酔の吹き矢
    • イオン能代店
    • けが人なし
    • 11時20分
    • 喰われる
    • クマ侵入
    • 従業員
    • イオン能代
    • 110番
    • クマ
    • 閉じ込め
  10. 10

    エンタメ

    乃木坂46の「の」

    • 乃木のの
    • 考えないようにする
    • 乃木坂らしさ
    • 46%
    • 4期生
20位まで見る
よく使う路線を登録すると遅延情報をお知らせ Yahoo!リアルタイム検索アプリ
Yahoo!リアルタイム検索アプリ