黒木玄 Gen Kuroki
- いいね数 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 を見て下さい。
2014年03月29日(土)
かけ算の順序のいくつ分が後の方が合理的なことのアップは来週にしよう。 しかし、出典元の文章を理解するのがむづかしい。矛盾があるように見えるけど、何度も読み返すとなかったりするし。
タグ：
posted at 21:07:30
硬直化した「正しさ」にすがらないと生きていけない人の「正しさ」のアウトソーシング先が、宗教だったり、エコだったり、ボランティアだったり、「弱者救済」だったり、そしてもちろん「医療」だったり。(例:母乳教)
タグ：
posted at 15:25:40
向こうは向こうで、「正しさ」にすがらないと生きていけないような人だから、そこを否定するのは怪我してる動物にちょっかい出すようなものだから。こっちも硬直化した正義をお題目のようにつきつけても、結局問題解決に至らない
タグ：
posted at 14:36:12
マクロビ信者や放射能忌避で子どもの健康を結果的に危うくしてる親も、動機はあくまで「子供のためを思って」だから、ここに「放射脳親逝ってよし」みたいな「正義」でぶつかると、「正義」vs「正義」でどうにもならんことになる。
タグ：
posted at 14:30:03
全体の流れとしては、間違っているからダメというよりも、何でこんな余計なことを付け足すのかなあという感想を持ちました。
ああそうだ。証明中で「背理法を使って」とあるところはすべて「否定の導入」になっているはずです。普段、背理法と否定の導入を区別しない使い方をしているのでは。
タグ：
posted at 13:50:58
もちろん、元の文章の意図しようとしていることはわかるので、単なる表現の問題に過ぎないのだが。
嘘つきの逆理やラッセルの逆理の周辺については ytb 氏が格段に詳しいので、もう少しうまい表現を考えてくれないかな。
タグ：
posted at 13:37:22
不完全性定理において数学的帰納法や背理法は不可欠なものではないという指摘は既にされているので略。 嘘つきの逆理の解消手段の一つとして、問題の主張は「非文」であるという方法を解説しているが、なんとなく読み流すと「矛盾するので文でないことにする」と読めてしまう可能性がないかと心配。
タグ：
posted at 13:13:31
最近、見たこともないようなひどい骨病変で来る子(大抵瀕死で担ぎ込まれてからうちらに相談くる)、マクロビ信者の親が多い。壊血病とか、いつの時代だよ。くる病っていうか、骨がない位の子も居るし。親は瀕死になるまで病院に連れて来ないし、来たら来たで、「検査のせいでこんなになった」と、、、
タグ：
posted at 12:59:13
寝落ちしていた。続きです。
「証明できない真な命題が存在する」という定理自身は重要な結果であり、命題の真偽を用いた直接の証明はある程度簡明なので、不完全性定理の解説の導入として用いるのはありだと思う。しかし、この定理は不完全性定理そのものではないという区別はするべきではないかと。
タグ：
posted at 12:46:01
昔、妊娠したとき学生に「予定日は遠いけど、万一のことが起きたら迷惑をかけるかもしれません」と告げた。学生は互いにこそこそ話してるので聞いてみたら「どうすんだっけ？」「お湯沸かすんじゃなかったか」と。教室で出産する気はないからタクシー呼んでくれといったら、みんな目の覚めた顔をした。
タグ：
posted at 09:13:30
ところが、この記事にあるように真偽の概念を持ち込むことで証明が格段に易しくなるためか、一般向けにはこの類いの説明で済ませて、後は自分で勉強してねになってしまうことも多い。これが「不完全性定理=真だが証明できない命題がある」という不正確なスローガンの一因となっているのかなと思う。
タグ：
posted at 03:13:21
ここで証明されているのは、「真な算術の命題全体 Th(N) は帰納的に公理化可能でない」という事実で、数理論理学の教科書では「帰納的に公理化可能な算術の理論は完全でない」という第1不完全性定理の系として証明されていることが多い。
タグ：
posted at 02:50:04
第1不完全性定理として紹介している定理を見ると、前原先生のコメントを思い出す。「ここで証明されているのは私が不完全性定理と理解しているものではない。不完全性定理は命題の真偽という概念とは無関係に成立する定理である」という主旨だった。(『ブーロス氏の原稿を見て』現代思想,1989)
タグ：
posted at 02:35:55
遅ればせながら、例の不完全性定理についての話を読んでみた。きちんと勉強している最中の人に対し、そういうことではないから気をつけろと強調したくなるポイントがいくつかあるが、そこでことごとく巷に流れている間違った説明を採用しているように見える。
タグ：
posted at 01:30:22
2014年03月28日(金)
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
ニュートリノ問題の人らは気になりますが、、、という話ではなく？ ^^ まぁ、C-14のほうがよほど、だと思いますが。。。 @kikumaco 物理学者はトリチウムをあまり気にしないのだと思っていた。
タグ：
posted at 23:47:06
@waremokou022 彼女じしんは自分を「震災離婚」と言っていましたけど、身近だった旧友がよもやそこまでの状況になっているとは。胸突かれ、なにもできない無力感。かなり堪えてます
タグ：
posted at 18:12:36
Voevodsky が、自分や関連する論文の証明の誤りが十数年気付かれなかった苦い経験を語った講演のスライド: www.math.ias.edu/~vladimir/Site... ですが、数学者のみなさんはどうお考えでしょう? (@で皆さんのtwitter名を列挙してもよいのですがやめておきます)
タグ：
posted at 17:09:41
それとも、もしかして彼女はまだ完全に「洗脳」されておらず、でもいまさら抜けることもできず、みずからの「業」をあるていど自覚したうえで、その状況を私に知ってもらいたかったのか
タグ：
posted at 14:41:28
いじょう、早春の夜長のちょっとしたホラー的な出来事。しかし私はふとおもう。彼女は、私がEM菌などニセ科学を認めない立場であることを知っていて、なぜ、じぶんの所属する団体の機関誌をかえりがけにわたしたのか。勧誘するつもりがあるのなら、いきなりそれはしないだろうに
タグ：
posted at 14:39:04
もっとも、震災直後は私とカミサンだって、家庭の食事・食材や生活習慣などをめぐりけっこうシビアな衝突があった。公的情報が適切に提供されないことで不安がどんどん増幅したのも事実。彼女と私は3年のあゆみでお互いの立ち位置がとおくはなれてしまったけれど、その間は、ひとつながりの地つづきだ
タグ：
posted at 14:25:52
彼女に目を醒ましてもらう方策を、場合によってはゼミOBとも相談しながらかんがえるいっぽう、セミナー勧誘や浄水器販売などのアプローチがもしあったときには、きちんと対処しなくてはならない。彼女は私の妻子とも顔見知りなので、自分の家庭防衛にも留意しておく必要が
タグ：
posted at 14:06:35
彼女にとっては離婚も実家への帰還もみずからの「選択」の結果だし、割愛するけれど元ダンナもけっこう問題があったひとなので一面では彼女は離婚して正解だったかもしれぬ。が、セガレと同年代の、彼女の息子さんのこれからをおもうと、このままほおっておくわけにもいかない。さて、どうしよう……
タグ：
posted at 14:00:16
しかし自分にとって身近だったひとが、しかも「このひとに限ってそんなことは」とおもっていたひとが、しばらく会わぬ間に、そっち方面に行っていたとは。小さい子どもを抱え夫婦仲もよくなく、そこに東北震災と原発事故がおおいかぶさって、不安な気持ちから抜け出ようとした「選択」がそれかと
タグ：
posted at 13:53:02
彼女はもともとかなりの美人なのだけど、ひさしぶりに会った瞬間、なんというか、かつて有していた「芯」がなくふわっとした雰囲気で、表情に精気がないなー、と、直感した。その直感は、会食で話を聴くうちに、私のなかで確信に変わったのでした
タグ：
posted at 13:41:33
会食のとき、彼女は「帰依」する団体のことはさすがに直接話さなかったが、「私ね、さいきん占い師の資格をとったの。もし悩みがあったらぜひ看させてください。有料なんだけど、○○さんにはおなじ値段で時間を延ばしますよ」
タグ：
posted at 13:36:47
いやな予感はあった。最後に会った2011年の暮れにふたりで恩師の墓参に行ったとき、彼女は言った。「私、占いに凝りだしたの。こんど○○さんのことも診させてくださいね」。あのときはあまり気もとめずに、でも「なぜゼミ生きってのしっかり者だった彼女が？」と内心違和感をもったのだったが
タグ：
posted at 13:28:11
それまで彼女とは、たがいの就学まえの子どもを連れて週末遊んだりしていたが、震災を境に疎遠に。2年半ぶりに会って、その間の話をよくよく聴いたら、これだよ……
タグ：
posted at 13:24:24
おおきな変化がおとずれたのが3年まえ。東北の震災で、息子さんを千葉の自宅から愛知の実家に疎開させ、いったりきたりする生活に。放射能防護に傾倒しEM菌に接近、それを「ニセ科学」と非難する研究者の夫と溝が深まる。そして、先述のいかがわしい団体と出会い、とうとう夫と昨年末に離婚……
タグ：
posted at 13:18:45
彼女は独身時代教員で、京都在勤時代に知り合った研究者の卵と結婚し、私のセガレと同年代の息子さんを出産。私とはゼミの先輩後輩の間柄で、明晰な判断力を持つ、まじめなひとだった
タグ：
posted at 13:14:01
宇宙のパワーを体内にとりこみ、天の声をききわけ、みずからの生きかたを選択し決定する。それを可能にするため専用の浄水器を通した水を飲用する、という。これって、典型的な……
タグ：
posted at 13:09:49
先日出張さきの街で会食した大学時代の後輩。わかれぎわに「○○さんにとっては非科学的とうつるかもしれないけれど」とわたされた冊子を手がかりに、彼女がいまハマっている団体のことをウェブでしらべ、背筋が凍らんばかりにぞわっとしている
タグ：
posted at 13:08:04
届いたので早速読んでます。
今この時期にこれを読めてよかった。むっちゃ面白い。
Amazon.co.jp： 理科だからできる本当の「言語活動」: 西川 純: 本
www.amazon.co.jp/dp/4491030138 pic.twitter.com/y9MBijRIdA
タグ：
posted at 12:37:56
某物理学者が幻冬舎plusに書いている無限世界と不完全性定理 後編（ http://www.gentosh... — 細かい間違いや非本質的な点を強調しすぎな点などが散見され、あまりオススメできませんが、まぁ僕が相対性理論の... ask.fm/a/ad9nad2k
タグ：
posted at 08:20:06
