ミュートしたアカウント

自動更新

並べ替え：新着順

メニューを開く

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

そくらてす@7danmoroboshi

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

家鴨のジョナサン@JonathanTheDuck

もっと見る

トレンド20:40更新

  1. 1

    アニメ・ゲーム

    ほんとバカ

    • ご視聴
    • 第6話
    • イラスト
  2. 2

    ファッション

    源内先生

    • おていさん
    • ていさん
    • 写楽
    • 源内
    • おてい
  3. 3

    エンタメ

    シシトウ

    • DASH
    • ししとう
    • パイナップル
    • 間宮さん
    • Tver
  4. 4

    スポーツ

    次は北海道

    • 横浜スタジアム
    • ツアーファイナル
    • =LOVE
    • スタジアム
    • IGアリーナ
    • 神奈川県
  5. 5

    エンタメ

    平賀源内

    • 田沼意次
    • もろこし
    • 死んだはず
    • 相良凧
    • 解体新書
    • 1799年
    • 秋田県民
  6. 6

    エンタメ

    チャンカパーナ

    • 恋を知らない君へ
  7. 7

    エンタメ

    みの吉

    • おていさん
    • 鶴屋さん
    • 瑣吉
    • ていさん
    • 厄介払い
    • おてい
    • ツダケン
    • 駿河屋さん
  8. 8

    Tシャツ1枚

    • ラウール
    • 参戦服
    • Tシャツ
    • OP
  9. 9

    ITビジネス

    国益を損なう

    • 立憲・野田
    • 踏み込みすぎた
  10. 10

    エンタメ

    大河べらぼう

20位まで見る

人気ポスト

電車遅延（在来線、私鉄、地下鉄）

北海道東北関東中部近畿中国四国九州
全国の運行情報（Yahoo!路線情報）
生成AI

SNSのバズまとめ

平賀源内、生きていた？大河ドラマ「べらぼう」で話題に0

平賀源内、生きていた？大河ドラマ「べらぼう」で話題に

478件のポスト

misono、鬼レンチャンで「Starry Heavens」熱唱！0

misono、鬼レンチャンで「Starry Heavens」熱唱！

763件のポスト

みとリゼの「少年よ我に帰れ」パフォーマンス、SNSで話題に！0

みとリゼの「少年よ我に帰れ」パフォーマンス、SNSで話題に！

104件のポスト

大河べらぼうの謎めいた男、長谷川平蔵とは？0

大河べらぼうの謎めいた男、長谷川平蔵とは？

212件のポスト

「大河べらぼう」で「まぁさん」がイベントに登場！0

「大河べらぼう」で「まぁさん」がイベントに登場！

321件のポスト

杉田玄白、大河ドラマ「べらぼう」に登場！ 0

杉田玄白、大河ドラマ「べらぼう」に登場！

124件のポスト

べらぼう、鬼平犯科帳の世界観に感じる？0

べらぼう、鬼平犯科帳の世界観に感じる？

130件のポスト

「ガメラ対ギャオス、4K修復版で蘇る！」0

「ガメラ対ギャオス、4K修復版で蘇る！」

551件のポスト

松島聡と篠塚大輝が作ったオクラとシシトウチップス、どんな味？
1:09

松島聡と篠塚大輝が作ったオクラとシシトウチップス、どんな味？

170件のポスト

「べらぼう」で蔦重と歌麿、一体どうなる？0

「べらぼう」で蔦重と歌麿、一体どうなる？

1,099件のポスト

SNSのバズまとめ一覧

よく使う路線を登録すると遅延情報をお知らせ　Yahoo!リアルタイム検索アプリ
Yahoo!リアルタイム検索アプリ