Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 389,756/311,170
  • フォロー 995 フォロワー 14,556 ツイート 293,980
  • 現在地 (^-^)/
  • Web https://genkuroki.github.io/documents/
  • 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
Favolog ホーム » @genkuroki » 2018年05月17日
並び順 : 新→古 | 古→新

2018年05月17日(木)

シータ @Perfect_Insider

18年5月17日

なるほど、社会学はそうなんですね。僕の分野は物理学だからそういう注でページが9割埋まってしまうような本は・・・あった
twitter.com/tanosensei/sta... pic.twitter.com/gA8T0Bp99O

タグ:

posted at 23:50:14

黒木玄 Gen Kuroki @genkuroki

18年5月17日

twitter.com/genkuroki/stat...

もっと高級な数学についても、∀∃のような記号を使った論理式に「翻訳」しなければ頭が働かなくなるような教え方をしてはいけないと思う。 #数楽

タグ: 数楽

posted at 23:10:32

tomo @tonagai

18年5月17日

フォン・ノイマンは暗算、フェルミは計算尺、ファインマンは手回し計算機で計算し、フォン・ノイマンが圧勝したというのは日本だけのガセ。森毅の創作らしい。
sci.tea-nifty.com/blog/2014/11/p...

タグ:

posted at 23:06:34

黒木玄 Gen Kuroki @genkuroki

18年5月17日

日本語と数学は特別に相性は悪くないです。

順番に考えることや分かりやすく説明することと「最初の式に、問題に出てきた数しか使わない」のような形式的な手続きに従うことは全然違うことです。

「○○算の言葉使い」なるものは存在しません。式や演算は言葉に直接対応するものではありません。

タグ:

posted at 23:05:51

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

18年5月17日

twitter.com/zawanocomassho...

小学校の6年間「式はどうなりますか?何算ですか?」みたいな教育を受けており、場合によっては小1で足し算の順序、小2以降はずっと掛算の順序という無意味な形式にこだわるスタイルを徹底されたりするので、中学校以上の数学の先生が頑張っても限界があると思う。 #超算数

タグ: 超算数

posted at 22:53:16

津田和俊/急激に進行した網膜剥離と闘って @kaztsuda

18年5月17日

仙台でも、鯨肉の刺身は今でも普通にスーパーで売られてますねえ。。。
調査捕鯨の他にも定置網に紛れ込んでくるやつがいるそうで、給食の竜田揚げの頃の記憶で止まっている人は食べないなら食べないでいいから、なんかほっといてくれって感じ。。。 twitter.com/suisenteikyohj...

タグ:

posted at 22:52:56

ざわのこ @zawanocomassho

18年5月17日

昨年,これを胸にずっと授業してきて,試験前に「Pですか?Cですか?」と聞かれたときの絶望感。 twitter.com/MathEdr/status...

タグ:

posted at 22:27:08

黒木玄 Gen Kuroki @genkuroki

18年5月17日

私の現時点での見方では、算数教育の問題について新井さん個人を責めるのは的を外しており、新井さんと無関係に存在する算数教育の伝統的な悪しきスタイルが問題なのだと思っています。新井さんの13年前の本は算数教育の伝統的な悪しきスタイルの影響力の強さの証拠になっていると考えています。

タグ:

posted at 22:04:37

荻野竜也 @amnesictatsu

18年5月17日

今日は、能力の高い自閉スペクトラム症を伴う一患者の就学についての考えを説明している時に、この子の知的好奇心をスポイルしないでほしい、習ってない漢字を書くと間違いにする教師や掛け算の順序に拘る教師が担任にならないことを願うと熱弁していてハッと気づいたが、教育界の人のいる席だった。

タグ:

posted at 22:02:21

黒木玄 Gen Kuroki @genkuroki

18年5月17日

私は小学生の保護者なので、13年前に出版された新井紀子著『ハッピーになれる算数』のような子供にとって有害に見える本を困ったことだと思っています。【日本語と数学は相性が悪い】【最初の式には、問題に出てきた数しか使わないこと】【そう!わり算の言葉遣いですね】など有害な内容になっている。

タグ:

posted at 22:00:47

黒木玄 Gen Kuroki @genkuroki

18年5月17日

セールストーク自体は悪くないと思いますが、曖昧で杜撰なセールストークは有害だと思う。

知ったかぶりをできるだけの知識があるなら、新井さんに曖昧で杜撰なセールストークを止めるように働きかけた方が良いと思いました。

新井さん自身も相当に損をしたと思います。

タグ:

posted at 21:52:28

黒木玄 Gen Kuroki @genkuroki

18年5月17日

一般向けへの曖昧で杜撰なセールストークを、数学的に整合性が取れるように解釈してあげるだけでも時間の無駄になるつまらない行為なのに、あの説明の仕方が酷いことを指摘した人達への揶揄になりかねないことも述べた人は大失敗してしまったと思います。率直に言って悪しき知ったかぶり。

タグ:

posted at 21:52:27

黒木玄 Gen Kuroki @genkuroki

18年5月17日

ゲーデルの不完全性定理が関係する問題と、母親がうまく処理している現実の問題と、確率・統計・物理の試験問題を解釈するときの問題は、それぞれ別に問題として扱うべきだと思います。

それらにすべてに「リアリティ」という同じ語を当ててしまっているわけです。

タグ:

posted at 21:52:26

黒木玄 Gen Kuroki @genkuroki

18年5月17日

【「ゲーデルの不完全性定理」です。「人は言葉だけでは絶対にリアティを共有できない」。そういう定理なんですよ】の「リアリティ」を何らかの数学的意味で解釈して、新井さんを擁護しようとした人達は、その後の「リアリティ」というキーワードの使い方との整合性の点で苦しいことを認めるべき。

タグ:

posted at 21:52:25

黒木玄 Gen Kuroki @genkuroki

18年5月17日

その後の鼎談の様子も公開されたら、「リアリティ」という用語が明らかなキーワードとして複数回登場していました。引用しましょう。

【子どもってリアリティがないから~お母さんは~リアリティがある中で問題解決】

【確率とか統計はリアリティだから~物理もそう】

悪い予感が当たった。

タグ:

posted at 21:52:22

黒木玄 Gen Kuroki @genkuroki

18年5月17日

twitter.com/genkuroki/stat...

新井紀子さんの発言【「ゲーデルの不完全性定理」です。「人は言葉だけでは絶対にリアティを共有できない」。そういう定理なんですよ】の「リアリティ」を何らかの数学的意味で解釈して、新井さんを擁護しようとした人を私は困った人だと思って見ていました。続く

タグ:

posted at 21:52:16

KATO kosei / Ph.D / @sd_tricks_kato

18年5月17日

ガスコンロがあったって普通は火で自分の体は炙らないですけどねえ。ちなみに私は縫い針が無い家だって安全ピンや画鋲はあるだろって新井紀子にリプしたらブロックされました。 twitter.com/hilarious_001/...

タグ:

posted at 21:35:25

雅 @alucaje

18年5月17日

ナイチンゲール女史…一人で国を動かそうとしたり(最終的に動く)、周りの人全員を狡猾に酷使したり、家庭を崩壊させた叔母が実家に帰ろうとしたり、数十年付き添った相手が不治の病に暇を乞うた時の返事に至っては…もう本当とんでもない。画像は茨木保『ナイチンゲール伝』より。 pic.twitter.com/MNkPOAdRvB

タグ:

posted at 20:16:24

雅 @alucaje

18年5月17日

ナイチンゲール、権力とデータ主義と合理性でガンガン改革を推し進めて沢山の人を救う一方で自分も周りの人もバタバタ過労で壊して行くのが有能タイプの日本式ブラック上司って感じで凄い顔になる。

タグ:

posted at 19:57:13

雅 @alucaje

18年5月17日

ナイチンゲール伝読んでるけど、“凄い!格好いい!この人の改革に立ち会いたい!”と憧れる気持ちと、“怖い!絶対関わりたくない!上司に持ちたくない!”と怯える気持ちが交互にやってくる。

タグ:

posted at 19:43:16

積分定数 @sekibunnteisuu

18年5月17日

微分の概念もおぼつかない状態で、合成関数や積の微分の公式を覚えさせられるとか、勘弁して欲しい。

タグ:

posted at 19:15:15

積分定数 @sekibunnteisuu

18年5月17日

こういうのが可能なのは、対象が小中学生なんだよね。高校になると、授業に先んじて理解するのは難しくなる。そうなると授業が有害となる。

だから、「授業は聞かない方がいい」と言わざるを得なくなる。

タグ:

posted at 19:14:25

積分定数 @sekibunnteisuu

18年5月17日

1次方程式では、2x+5x=8 などというのも扱う。ここで試行錯誤することで、2x+5x=5x などの分配法則も自然に駆使せざるを得なくなる。

タグ:

posted at 19:12:58

積分定数 @sekibunnteisuu

18年5月17日

方程式を教える場合、学校では 1次方程式→連立方程式→2次方程式 と3年間で教えるが、最初から「あてはまるxを求めよ」という具合にして2次方程式も含めて出題する。その上で、各論として1次方程式もやる、という感じ。

タグ:

posted at 19:11:58

積分定数 @sekibunnteisuu

18年5月17日

割合や速さをちゃんと理解していれば、授業で「はじき」を教わっても、「くだらねー教え方」と鼻でせせら笑うことができる。

だから、塾では可能な限り先のことを教えるようにしている。むやみに前倒しで教えるという意味ではない。

タグ:

posted at 19:10:21

積分定数 @sekibunnteisuu

18年5月17日

twitter.com/selmo_sugebanb...
同様の事例が近隣の中学でもあった。
対策は、十分理解した状態で授業を受けること、と悟った。理解するために授業を受けるのだから、理解したら受ける意味がないのだが、それはさておき、理解しないで受けると有害な授業も、理解していれば無害にできる。

タグ:

posted at 19:07:26

積分定数 @sekibunnteisuu

18年5月17日

@vecchio_ciao @kamo_hiroyasu この人自身が、高校数学の問題がお手上げで苦手を克服していないのに、掛け算は1あたり量が重要とか言って「3こ/さら」などという表記を強要している。

タグ:

posted at 18:54:27

積分定数 @sekibunnteisuu

18年5月17日

@vecchio_ciao @kamo_hiroyasu www5b.biglobe.ne.jp/~nabe2051/sann...
>いまが、正念場。 私も、全員の子が『免許皆伝』になるように、しごきますぞ。 覚悟!!!!!

>・かけ算は、
寝ても覚めても
「1あたり量」のことばかり

タグ:

posted at 18:50:43

積分定数 @sekibunnteisuu

18年5月17日

@vecchio_ciao @kamo_hiroyasu 日本福祉大学の渡辺靖敏氏の事ですね。

19452051.at.webry.info/201804/article...
>「数学がすらすらできてしまう人ほど、子どものつまずきがみえないから、子どもの側に立った教え方ができないもんだよ」

19452051.at.webry.info/201801/article...
>高校数学の問題になると、私はお手上げ

タグ:

posted at 18:46:48

Robert Geller; ロバート・ @rjgeller

18年5月17日

この頃iPhoneでほぼ毎日スパムSMSを受信している。1つ1つをすぐ削除しているので大した問題にならない。でも送信者をどうやってブロックするかを知らなかった。やっとこのページをみつけた。簡単だ。まぁ、モグラ叩きになりそうだが。。。 www.pcworld.com/article/284898...

タグ:

posted at 18:41:56

あおじるPPPP @kale_aojiru

18年5月17日

「一人くらいは逆張りマンがいたほうがいいよね」程度の理由であの数々の悪行をなかったコトにできるワケねえだろ思いつきでテキトーなこと口走ってんじゃねえ twitter.com/Simon_Sin/stat...

タグ:

posted at 17:31:17

おがたけいこ @Keikolein

18年5月17日

本日高校に呼ばれて、模擬授業(大学広報の一環)を2回。あなたは時給800円でバイトの約束をしました。愛知県の最賃は871円です。さて、あなたの時給はいくら?生徒「800円です」私「なぜ?」生徒「約束したから」「高校生だから」「バイトだから」。2回とも、この回答。やりがいあったわー。

タグ:

posted at 17:15:27

砂___の___女 @vecchio_ciao

18年5月17日

@kamo_hiroyasu しかも、「(俺らが決めた)邪道に従わない者を罰する、なぜならそれが(俺らが決めた)ルールだから!」という「教育者」まで現れて有害ですね。

タグ:

posted at 16:48:53

非公開

タグ:

posted at xx:xx:xx

弁護士 中村優介 @yusukenkmr

18年5月17日

何度も言います。高プロは必要性なし、内容も問題だらけ、さらに審議もボロボロ。絶対導入してはいけません。ご賛同、お願いします!! www.change.org/p/%E9%81%8E%E5...

タグ:

posted at 16:45:09

suetsumu_hana @suetsumu_hana

18年5月17日

自然派育児も反ワクも反放射〇も、それ間違ってますよ、証拠はこれですよ、って言われて「な~んだそっかぁ」と戻ってこられないのは「子供のことをよく考えて勉強してる賢い行動力のある母親」から「風説に流されて子供を危険にさらした愚かで情弱な母親」への転落だから、そりゃ簡単には無理だろう。

タグ:

posted at 16:27:39

suetsumu_hana @suetsumu_hana

18年5月17日

反ワクチンもそうだけど、自然派育児みたいなのに嵌るママって中途半端に高学歴だったり暇だったりするんだよね。結局のところは「みんなと違ってよく考えてる私」「子供のために学んでいる私」を自己演出して承認欲求を満たしてるだけなんじゃないかと思う。放射能騒ぎの時もそうだったけど。

タグ:

posted at 16:19:16

Gabriel Peyré @gabrielpeyre

18年5月17日

Nonlinearity matters. Linear diffusion (heat) has non-compactly supported solutions. Non-linear diffusion (porous medium) drives dynamics with compactly supported solutions. The porous medium is the simplest case, studied in details by Otto. www.mis.mpg.de/preprints/1999... pic.twitter.com/mLomvyaWCF

タグ:

posted at 15:17:08

くるる @kururu_goedel

18年5月17日

@KKenNakamura 「リアリティ」を自然数論を含むような体系のモデル、「言葉」は帰納的に定義できるそのモデル上で真となる文の集合、「共有」をその文の集合を元に最初のモデルを正確に再構成することと考えれば、不完全性定理によりそれが不可能なことは言えます。

タグ:

posted at 14:21:10

RussianGoFederation @GoFederationRu

18年5月17日

San-san invasion instead of kakari on 9 stones handicap by Cho Chikun, 9p.
Is it a good plan? pic.twitter.com/TZV8mHXMFu

タグ:

posted at 13:57:18

闇のapj @apj

18年5月17日

確かに……高プロが通るくらいなら,モリカケだけやってる方が,国会運営の費用が無駄になるだけで死人は出ないからまだマシだわ。

タグ:

posted at 13:49:26

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

18年5月17日

#超算数 現実にとある教科書出版社が勧ている #掛算 順序固定強制指導については以下のリンク先を参照。x,yのような文字を使う段階になってもこんな感じ。8×xだと8円のノートx冊の意味なると主張している。等号の左辺と右辺の順序にも一方的なお勧めがあるらしい。酷すぎ。

twitter.com/genkuroki/stat...

タグ: 掛算 超算数

posted at 13:00:32

黒木玄 Gen Kuroki @genkuroki

18年5月17日

#超算数 現実の #掛算 順序問題に関する議論としては以下に引用するめーじんさんの側が一方的に正しい。

現実にどのような教え方が勧められているかについて何も調べずに、自分勝手な想像をもとにした意見を繰り返す人が理系高学歴者の中からよく出て来ている。

twitter.com/ogtkzk/status/...

タグ: 掛算 超算数

posted at 13:00:30

雅なラクダ @kaz_hiramatsu

18年5月17日

ゲーデルの不完全性定理の説明、これだから例え話は嫌いなんだよな。この説明は正しい、わかってる人にはわかるっていうことを言われたらどうしようもない

タグ:

posted at 12:34:47

FXAce @Zoukers

18年5月17日

鈴木 亘(すずき わたる、1970年(昭和45年)9月21日[1] - )は、日本の経済学者。専門は社会保障、医療経済学、福祉経済学。学習院大学経済学部教授。博士(経済学)(大阪大学、2001年)。

日銀在籍 1994~1998年
三重野、松下時代 twitter.com/zoukers/status...

タグ:

posted at 12:19:12

Takayuki Kihara @tri_iro

18年5月17日

@phasetr 算術全般については、Hajek-Pudlakのmetamathematics of first order arithmeticの方が全体としては話題が幅広いですが、超準モデルの話題がなかなか出てこないので、そこに辿り着くまでに力尽きる人が多そうです。

タグ:

posted at 12:15:56

Takayuki Kihara @tri_iro

18年5月17日

@phasetr 算術の超準モデル論の基本的な教科書は Richard Kaye の Models of Peano Arithmetic だと思います。ただこの本は不完全性定理周りはそんなに詳しくないです。算術のモデル論の更に発展的なものとしてはKossak-SchmerlのThe Structure of Models of Peano Arithmeticという本もあります。

タグ:

posted at 12:14:50

K Ken Nakamura @KKenNakamura

18年5月17日

@kururu_goedel 一応不完全定理のことは知っているつもりですが、この比喩は全く理解不能です。

タグ:

posted at 12:07:47

FXAce @Zoukers

18年5月17日

長期的には日銀はダメ組織のまま今後も日本人を苦しめそう。

@Bank_of_Japan_j
@AbeShinzo
@sugawitter twitter.com/zoukers/status...

タグ:

posted at 11:57:15

くるる @kururu_goedel

18年5月17日

@KKenNakamura 例えば、ゲーデルの不完全性定理は【人は言葉だけでは絶対にリアリティを共有できない】という定理だとあるのですが、ここの「言葉」「リアリティ」が何を指しているのかが曖昧で、予備知識がない人が読むとほぼ確実にこの定理を誤解するだろうと思います。

タグ:

posted at 11:49:46

Takayuki Kihara @tri_iro

18年5月17日

@tadamago まあ、新井敏康先生とはちょくちょく会うので、適当なタイミングで本人に聞いてみます。

タグ:

posted at 11:42:03

Takayuki Kihara @tri_iro

18年5月17日

@tadamago ただ、わざわざ新井敏康先生を持ち出して、新井敏康先生も同じような説明をしているという主張をされていたのですが、こんな誤解を招きかねない説明をしているのか、それとも単にモデル論的な説明をしているという部分が一致しているだけなのか気になったところです。後者なら問題ないのですが。

タグ:

posted at 11:40:53

Takayuki Kihara @tri_iro

18年5月17日

@tadamago ええ、もちろんあの手の対談で詳細を正確に話すのは難しいと思うので、それについて批判する意図はないです。

タグ:

posted at 11:36:59

Hiroyasu Kamo @kamo_hiroyasu

18年5月17日

さいわい、今は不完全性定理の良い入門書が入手可能なので、昔よりはましになりました。
専門家の書いた良書の例:照井一成『コンピュータは数学者になれるのか?』www.seidosha.co.jp/book/index.php...
非専門家の書いた良書の例:結城浩『数学ガール/ゲーデルの不完全性定理』www.sbcr.jp/products/47973...

タグ:

posted at 10:57:21

K Ken Nakamura @KKenNakamura

18年5月17日

@kururu_goedel 誤解を招く表現とはどのようなものなのですか?

タグ:

posted at 10:55:14

じにお @ginioh

18年5月17日

新井さんのAI~はキンドル版を購入して、ふーんと言う程度の読み流しだったのだけど、色々誤魔化ししているのが気になった記憶。特に統計において意図時に誤読狙っている表現がいくつか

タグ:

posted at 10:36:54

黒木玄 Gen Kuroki @genkuroki

18年5月17日

おまけ:添付画像は

japan.zdnet.com/article/350404...

からの東ロボくんの答案の孫引き。実閉体の体系に関する数理論理学の結果を使っている様子が見えます。RCFはReal Closed Fieldの略。 pic.twitter.com/gYk4a2cXqZ

タグ:

posted at 10:32:45

黒木玄 Gen Kuroki @genkuroki

18年5月17日

照井さんの本は結構難しいので結城さんの本で予習しておいた方が読みやすいかもしれません。

タグ:

posted at 10:21:28

黒木玄 Gen Kuroki @genkuroki

18年5月17日

東ロボくん方面から数学に興味を持った人にとって、次に読むべき本として照井一成さんの本は極めて適切。「ずさんなセールストーク」とは正反対のスタイルで書かれた非常に面白い本です。著者の個人的意見についても明瞭に書かれており、無難で手堅い話だけで終わっている本でもありません。

タグ:

posted at 10:21:27

黒木玄 Gen Kuroki @genkuroki

18年5月17日

数理論理学的由来の道具に限っても、東ロボくんはすべてを使い切っているわけではありません。

上で紹介した照井さんの本の最後には証明支援系の紹介がある。証明支援系で得られた「データ」を使った機械学習でどれだけ自動証明が可能になったかに関する結果も紹介されています(上掲書pp.338-343)。

タグ:

posted at 10:21:26

黒木玄 Gen Kuroki @genkuroki

18年5月17日

実閉体の決定可能性のまとまった数学的解説は、例えば、

板井昌典、実閉体の決定可能性 そして順序極小理論、数学のたのしみ、2006秋号、pp.81-100

にあります。Lefschetzの原理が代数閉体の理論の完全性の帰結であることも書いてある。

タグ:

posted at 10:21:26

黒木玄 Gen Kuroki @genkuroki

18年5月17日

東ロボくん数学班が具体的に何をやっていたかについては

repository.kulib.kyoto-u.ac.jp/dspace/bitstre...

www.fujitsu.com/downloads/JP/a...

pc.watch.impress.co.jp/docs/column/ky...

を参照しました。森山さんの記事は数学班に限らず、東ロボくんが何をやっているかをわかりやすく解説しています。

タグ:

posted at 10:21:25

黒木玄 Gen Kuroki @genkuroki

18年5月17日

あと、東ロボくんが用いた数理論理学の道具は、ゲーデルの不完全性定理が適用でき**ない**場合に含まれます。

完全で決定可能な数学的体系も存在し、その中では原理的にはコンピューターであらゆる定理を証明できます。東ロボくんはそのような体系の一例である実閉体の理論を使っています。続く

タグ:

posted at 10:21:23

黒木玄 Gen Kuroki @genkuroki

18年5月17日

twitter.com/perfect_inside...

シータさんの言う通りだと思いました。

「ずさんなセールストーク」の「正しい解釈」を探すのは時間の無駄。

私のTLでは

照井さんの本
www.amazon.co.jp/dp/4791768515

結城さんの本
www.amazon.co.jp/dp/4797352965

が人気。こういう真に面白い本が広まれば良いと思う。 pic.twitter.com/GYFqW9sXY2

タグ:

posted at 09:28:17

非公開

タグ:

posted at xx:xx:xx

OokuboTact 大久保中二病中年 @OokuboTact

18年5月17日

ニュー赤の不完全性定理が時代錯誤なのは、パラドクス史観だから。
しかも解釈が間違いだらけ。
私も彼らの解釈を素直に信じて、大恥をかいた
黒歴史

タグ:

posted at 08:07:19

OokuboTact 大久保中二病中年 @OokuboTact

18年5月17日

講談社文藝文庫からは、小説家の森小説家森敦の、意味の変容とマンダラ紀行が合本で復刊。これも不完全性定理の話で、解説に柄谷行人と浅田彰と岩井克人が寄稿。

タグ:

posted at 08:03:31

OokuboTact 大久保中二病中年 @OokuboTact

18年5月17日

最近、講談社文藝文庫から、柄谷行人の『内省と遡行』が復刊した。解説は浅田彰で1988年に書かれた解説と同じ。何を言ってるのか理解できないので、誰か解説して欲しい。

タグ:

posted at 07:59:33

OokuboTact 大久保中二病中年 @OokuboTact

18年5月17日

新井氏の不完全性定理が話題。
私はニューアカ世代なんで、数理論理学の専門家から見れば、ニュー赤で流行した時代錯誤の上にトンデモなゲーデル解釈で、初めて不完全性定理を知った。

タグ:

posted at 07:52:19

@onsen_zuki

18年5月17日

@tjmlab 東ロボ君東大入学断念したのに「失敗が無い」とは旧日本軍の「転進」みたいなんもんだと思いますが、そもそもプロジェクトをやらず何も挑戦しないと「不敗の人」になれると思います

タグ:

posted at 04:49:13

非公開

タグ:

posted at xx:xx:xx

薮内新太 @yabooarat

18年5月17日

「…実際には不完全性定理は、「形式体系の無矛盾性と完全性についての定理」である。確かに「矛盾」「無矛盾」「完全」「不完全」「体系(システム)」という語は、専門用語でない言語とも結びつきがあるが、およそこのような結びつきは不完全性定理と関係が無い。」

タグ:

posted at 02:11:20

薮内新太 @yabooarat

18年5月17日

「…フランセーンによれば、ゲーデルの不完全性定理と結び付けられるテーマはロジック、数学、計算、哲学、物理学、進化論、政治、宗教、無神論、神学、文学、詩歌、写真、建築、音楽、ヒップホップ、デートなど多岐にわたる。」

タグ:

posted at 02:06:49

薮内新太 @yabooarat

18年5月17日

「数学者の田中一之によれば、ゲーデルの名や定理は「知的会話」に頻出している。フランセーンが述べたように、インターネットのどんなニュースグループでも、遅かれ早かれ誰かがゲーデルの定理を持ち出す。」遅かれ早かれ…。 ゲーデルの不完全性定理 - Wikipedia ja.wikipedia.org/wiki/%E3%82%B2...

タグ:

posted at 02:04:10

江添亮@足首靭帯の手術から14週間 @EzoeRyou

18年5月17日

取引先という立場を持ち出して批評を封じるのは倫理的にどうなんだ。
twitter.com/kiji0621_/stat...

タグ:

posted at 01:08:18

タクラミックス @takuramix

18年5月17日

山本太郎さんは放射線デマと福島差別に加担した人物であり、国会での質問も経済の勉強はよくしていると評価出来る面もあるが、人を侮辱しこき下ろす悪趣味な言説が繰り返されており、知識があろうが実行力があろうが人間性を信用できない。そういう人物を支持する麻木さんも信用出来ない。 twitter.com/kunikoasagi/st...

タグ:

posted at 01:07:46

鰹節猫吉 @sunchanuiguru

18年5月17日

真面目に考えると、最高点に到達するまで無限に時間がかかるので、果たして最高点まで到達すると言ってよいか迷ってしまう。

タグ:

posted at 00:00:33

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました