タグ:数理論理

  1. 今日たまたま会ったユーリの質問。「A=Aって言うけど、左辺のAと右辺のAは同じAなの?ほんとーに同じなら、なんで違うところに書けるの?それに、同じってわかってるなら=で調べなくてもいいじゃん!」みんな無言。 — 結城浩 (@hyuki…

  2. こんさんと p 進大好き bot の基礎論というかロジック関係のトーク. しかし「選択公理で極大無矛盾な理論に拡張すれば不完全性定理と矛盾しないか? 」というのは一瞬悩んだしよい練習問題ではある. @mr_konn 理論っていうものよく…

  3. tri_iro さん筋の情報だ.6 月に出版予定らしい Weaver の "Forcing for Mathematicians"http://www.amazon.co.jp/gp/product/9814566004/ が気になる.集合…

  4. myfavoritescene さんが世界の悲しみを歌っていた. 数学ですら自己完結できないのに穴がないわけはなくて (そんなことはゲーデルが一番分かっていたはず),その精神を発揮してみたんだろうけど, 周囲の大人の対応がすばらしい wま…

  5. tri_iro さんツイート. あの辺はもともと 100 年前の古典実解析っぽい話なのに,ネガティブ方向からは Steprans 強制法,ポジティブ方向からはガンディ-ハーリントン強制法と隈部-スレイマン強制法で挟み撃ちという地獄絵図にな…

  6. よく知らないがシータパン予想なる不可解な言葉をマスコミが生み出したらしい.1 年半前の記事だけど, これニュースになってたのか >史上最年少 22 歳の大学教授誕生! 難問「シータパンの予想」を解いた数学の天才-中国htt…

  7. 日本数学会の次のようなツイートがあった.Publications of MSJ 第13巻 Gaisi Takeuti, Two Applications of Logic to Mathematics の電子版を一般公開しました…

RETURN TOP

このサイトについて

数学・物理の情報を中心にアカデミックな話題を発信しています。詳しいプロフィールはこちらから。通信講座を中心に数学や物理を独学しやすい環境づくりを目指して日々活動しています。
  • このエントリーをはてなブックマークに追加
  • LINEで送る

YouTube チャンネル登録

講義など動画を使った形式の方が良いコンテンツは動画にしています。ぜひチャンネル登録を!

メルマガ登録

メルマガ登録ページからご登録ください。 数学・物理の専門的な情報と大学受験向けのメルマガの 2 種類があります。

役に立つ・面白い記事があればクリックを!

記事の編集ページから「おすすめ記事」を複数選択してください。