タグ：数理論理学
-
クソ暇なので菊池『不完全性定理』の粗探ししたらとんでもないことになった — (@functional_yy) 2014, 11月 6 @functional_yy 1,9章以外で具体的に — 相転移P（市民） (@phaset…
-
tri_iro さんはいつも本当に面白い. 最近はみんなゲーデルの不完全性定理には詳しくなって、ゲーデルの誤用はすぐバレてしまうから、正確な主張が世間にあまり認知されてないチャイティンの不完全性定理の方を使って人を騙そうという行為が横行し…
-
本当によくわからないが面白そうなのでまとめておいた. 今日、高校の数Aについて学生さん達と話してて、学生が、対偶による証明と背理法がぐちゃぐちゃになってる理由が少し分かった気がした。一緒にぐちゃぐちゃに教えられてんだな。— Yukiko …
-
やたべさん筋の情報: 論理学を学ぶのに大事なこと
05.31
今日のやたべさん情報. 「論理学の一般向け本はカントールが発狂したとかゲーデルが餓死したとかそんな話ばかりだ。それでは肝心な話が書けなくなってしまう」「『肝心な話』とは？」「タルスキがセクハラパワハラ大魔王であったこととか、モンタギューが…
-
嘉田さんの講義ノート情報が回ってきたので. 嘉田さんの数理論理学講義ノートhttp://researchmap.jp/mu3y30bsf-1782995/適当に本買うくらいならこっち読んだ方が良い気もする 読む時間がいつ取れるだろうか.…
-
な, なんだってー!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!. 某不完全性定理に関するエッセイ読んだけど, ところどころもにょもにょする. 妙に背理法強調してたり (関係あるのか?), 「ペアノの公理系に…
-
超準解析に関する tri_iro さん情報だ. SLACS2014 あんど超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/index.htmlそういや, 超準解析シンポジウ…
-
かもさんの指摘があったのでメモ. どの分野にも非専門家に広く信じられている間違いがあります.リストを作っておくと啓蒙書を選ぶ時に便利です. 数理論理学で非専門家に広く信じられている間違いのリストの作りかけです.http://taurus.…
数学・物理の情報を中心にアカデミックな話題を発信しています。詳しいプロフィールは
最近のコメント