タグ：数学基礎論
-
照井さんの本に期待． 照井一成 著「コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ」 青土社2015/2/24 http://t.co/UUZdllbvvX — 蟾蜍（時々まあ飲めよbot) (@path…
-
!第2回 山陰 基礎論・解析学 研究集会 https://t.co/8GVHVqA96w 「数学基礎論と解析学」がテーマの研究集会2回目。今回は数学基礎論、関数解析、微分幾何、偏微分方程式あたりの研究者が参加するらしい。第1回は…
-
クソ暇なので菊池『不完全性定理』の粗探ししたらとんでもないことになった — (@functional_yy) 2014, 11月 6 @functional_yy 1,9章以外で具体的に — 相転移P（市民） (@phaset…
-
悲しみの記録と未来の喜びに向けて. https://t.co/3Sq97MDhpS どこの集合論の話なんだろうか。 — くるる (@kururu_goedel) 2014, 10月 2 @kururu_goedel 残念ながら、ル…
-
追記 やたべさんから次のようなご指摘を頂いたので タイトルなど少し書き換えた. なんか、終わりの方もう算術関係無くなってね？そもそも逆数学や記述集合論は算術じゃないだろ？ QT @phasetr: http://t…
-
tri_iro さんはいつも本当に面白い. 最近はみんなゲーデルの不完全性定理には詳しくなって、ゲーデルの誤用はすぐバレてしまうから、正確な主張が世間にあまり認知されてないチャイティンの不完全性定理の方を使って人を騙そうという行為が横行し…
-
ytb_at_twt さん筋の情報. 哲学の先生が国防総省から 750 万ドルのグラントを獲得ですってよ,奥様 (ただし, やってるのは数学だそうな)https://www.cmu.edu/news/stories/archives/20…
-
こんさんと p 進大好き bot の基礎論というかロジック関係のトーク. しかし「選択公理で極大無矛盾な理論に拡張すれば不完全性定理と矛盾しないか? 」というのは一瞬悩んだしよい練習問題ではある. @mr_konn 理論っていうものよく…
-
宣伝協力. 超準解析シンポジウム講演締切5/7日です（再宣伝） http://t.co/fGkHGQRL33ふだんツィッター見てる感じだと、超準解析に潜在的に興味ある人ってかなり多そうなのに、なんで超準解析シンポジウムは参加者少ないんだろ…
-
な, なんだってー!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!. 某不完全性定理に関するエッセイ読んだけど, ところどころもにょもにょする. 妙に背理法強調してたり (関係あるのか?), 「ペアノの公理系に…
数学・物理の情報を中心にアカデミックな話題を発信しています。詳しいプロフィールは
最近のコメント