捜査情報の流出という法治国家の根幹に関わる重大事を誰も厳しく追及しようとせず、芸能人のスキャンダルだの八百長だのに汲々としているこの国じゃ、そりゃ尖閣ビデオ流出犯も英雄になるわな。 http://t.co/q9OTmlX http://t.co/8V4pmKK

posted at 23:51:06

RT @MISHIMA_ESSAY: バルザックが恐ろしいことを言っています。すなわち、「希望は過去にしかない」と。人生で、いちばん空しく、みじめなことは何でしょうか？それは「かつては……だった」「かつては美しかった」「かつては強かった」「かつては有名だった」等々、生きながら、自分の長所に過去形を使うことです。

posted at 23:51:43

厳密には、集合 {0, 1} 上の二項演算 φ: {0, 1}^2→{0, 1} を論理演算と呼ぶならば、φ(x, y)＝x と φ(x, y)＝y も結合律を充たしますね。二項論理演算の総数は 2^(2^2)＝16 通りですから、その半分が結合的です。 @shz_fsmy

posted at 01:00:25

RT @kururu_goedel: どう見ても「ユダヤ人でもないのにピアノをうまくひきたいなら俺に掘らせろ」もしか解釈できません。RT @ongaku_meigen 『ピアニストには３種類の人間しかいない。ホモかユダヤ人かヘタクソだけだ。』ウラディミール・ホロヴィッツ

posted at 16:23:35

風邪（？）を引いたらしい。ぼくにはよくある症候で、頭と喉と鼻とに来るのだが、熱だけが出ない。風邪ではなく、何か死亡フラグ的なものかも知れないが、とりあえず養生しよう。

posted at 13:14:58

自明な論理演算（A, B の値と無関係に True を返す、等）を除くと、結合律を充たす論理演算は論理和・論理積・同値・排他的論理和の四つしかないようですネ。 @bonitoprince @shz_fsmy

posted at 17:28:33

ご心配ありがとうございますです。いちお、市販薬飲んどきました。 @rukumi0715 @Arquero_Takezo

posted at 17:37:48

RT @aqn_purple: 「発言した時点で発言する資格を失う」ということは多いな。

posted at 17:53:38

@jun0inoue すみません、アレフが出せずオメガで表記しましたｗ　丁寧なご説明、有難うございました。なるほど納得です。もっとも、基数は順序数の部分クラスなので、任意の有限順序数 n に対して n⊂κ⊂ω となる κ が存在しないことを言えば、基数の場合に通用する気も。

posted at 07:14:11

@jun0inoue 順序数なら、κ⊂ω の仮定から x∈ω－κ なる有限順序数 x が存在してしまうことを利用して、矛盾を導けそうです。……それとも、構成から自明……でしょうか？　順序数の定義もうろ覚えになってますｗ

posted at 07:23:13

@shz_fsmy A∧B∧C⇒A xor B xor C なら、まだ何とか。A, B 共に真であるため「A, B いずれか一方だけが真」の方が成立せず、C の方が成立している、と考えれば、納得出来ないこともないです。

posted at 14:35:38

わーっ、またも誤解を招く表現をしてしまったようですみません！　順序数はノイマン式に構成されたものを考えていて、x∈ω－κ は順序数演算ではなく差集合のつもりでした。例によってバックスラッシュが（ｒｙ　RT @jun0inoue 無限順序数って引き算できるんでしたっけ。

posted at 16:03:40

@jun0inoue しかし仰る通り、最小に取っているのだから証明の必要はなさそうですね。連続体仮説なら連続体濃度の構成が順序数や基数の構成と独立なので一筋縄にゆきませんが、ω_0 の構成は定義とべったりですもんね。お騒がせしました、また勉強して出直しますｗ

posted at 16:12:34

「可算濃度より小さい無限基数は存在しない話」をトゥギャりました。 http://t.co/EdjVvXo

posted at 21:24:19

@jun0inoue この度は混乱を招いてすみませんでした。自戒を込めてまとめておきましたｗ　http://t.co/EdjVvXo

posted at 21:26:15

@shz_fsmy まあヴェン図なり真理表なりを書いてみれば、双対的な演算になっていますからね。しかし、人間の論理的直観というものは、よく分からないものですね。

posted at 03:55:47

たまに読書しに入る喫茶店に、いつ行っても必ずヤクザがいる。組員の普段使いの喫茶店になっているらしい。人待ちや連絡待ちに使う分には気にならないのだが、借金の取り立ては事務所でやれと言いたい。

posted at 20:27:14

まあ、事務所だと相手方が怖じ気づいて来てくれないのでしょうね。難儀な商売だ。

posted at 20:28:54

パーテルノストロ＆ヴュルッテンベルクフィルのブルックナー全集で、テ・デウム＆第0番を聴いている。 http://t.co/YHsoObs

posted at 21:30:45

古典命題計算を考える。命題変数 x_1, …, x_n と論理式 A＝B(x_1, …, x_n)⇔C(x_1, …, x_n) とに対して、x_i を含まない論理式 D が存在して、A⇔(x_i⇔D) がトートロジーとなるためには、A はどんな条件を充たせば十分だろうか？

posted at 22:04:08

「A⇔E なる論理式 E で x_i を含まない E が存在しないこと」は必要条件ではあるが、十分条件ではないね（反例： A＝x∧y⇔z, x_i＝x と置けばよい）。

posted at 22:09:29

なお、これが解けたら何か凄い定理が証明されるとか、そうしたことは一切ありませんｗ　暇つぶしです。

posted at 22:12:03

えーと、任意の有限基数 n に対して n＜κ で κ＜ω_0 となる無限基数 κ が存在しないことは、なぜ言えるのだったかしら。

posted at 22:30:23

あらー、同値の論理演算は結合律を充たすのかー。なんか直観に反する。

posted at 05:08:39

（1）「A が『B は C と同値』という命題である」と、（2）「C が『A は B と同値』という命題である」とは、全然違うことのように思えるけどなー。しかし、真理表書いてもトートロジー判定機通しても、（1）⇔（2）はトートロジーなのらしい。

posted at 05:16:54

このとき、発言空間を＜批判‐擁護＞同値関係で割った商空間を考えると、これは２ちゃんねる空間と自然に同一視される。

posted at 07:17:26

RT @goodmad: 哲学道場・地域別開催回数。 http://t.co/baV0bW1

posted at 07:20:59

読んでいる。 河野伊三郎『位相空間論』（共立出版） http://t.co/s6OdWEW

posted at 22:58:01

クヌースの矢印表記を使うと、ε_0＝ω↑↑ω＝ω↑↑↑2 と表せる。順序数のことは全然知らないのだが、当然気になるのは λ_0＝ω↑…(ω個)…↑ω とか、λ_(n+1)＝ω↑…(λ_n個)…↑ω としたときの λ_ω とかですね。名前付いてるのかしら。

posted at 23:24:13

図書館で借りて読書中。 竹内外史『新装版 集合とはなにか』（講談社ブルーバックス） http://t.co/u4FQZT3

posted at 15:54:12

それにしても、ブラリ＝フォルティのパラドックスが、ブラリとフォルティの二人の数学者による共同研究で発見されたわけではなかったとは、驚きである。

posted at 15:59:25

レーヴェンハイム＝スコーレムの定理も、レーヴェンハイム＝スコーレム氏という長い名前の数学者によって発見されたのではないかとか考えると、そら恐ろしくなって来るな……。

posted at 16:02:13

だそうです。調べてみますね。 RT @yoriyuki2009 一票の格差是正運動は、一人一票実現国民会議が(も)推進しています。升永弁護士の個人的な思いに端を発しています。 #ippyo

posted at 16:04:05

ゲームのルール自体を改変可能であるところにメタ・ゲームの成立を可能にする余地がある。

posted at 16:06:36

輸入食品のお店に売っている Camel の Honey Almonds が好きです。 http://t.co/Z5asvFM

posted at 16:34:46

一票の格差是正運動って、どんな勢力が推進しているのだろうか？　宝籤の一等賞が「貴方の一票を二票にする権利」だったとしても余り魅力的でないのは明らかだから、個人的な利害関係が運動の原動力である筈がない。だとすれば、何らかの社会的勢力の利害関係が絡んでいるに違いないのだが……。

posted at 01:23:37

数学的帰納法による証明を読んでいて、n＝1 の場合しか成立することが理解出来ない程度の能力。

posted at 18:48:15

RT 「Wikipediaで削除依頼された記事の審議過程を可視化したNotabilia」 http://t.co/fDPftD1

posted at 15:25:47

#このハッシュタグは証明できない

posted at 15:31:19

鰻、というか調理した魚介類全般。 #人に話すとありえないと言われる嫌いな食べ物

posted at 15:36:20

つ「ここにウィキペディアを建てよう」

posted at 15:39:46

@MUMUMU4yyk ま、魚嫌いはそれなりにいますからね。貝とか海老とかは味以前に、なんであんな気持の悪い形状の物体を喰べなきゃならんのだ、と思いますが。

posted at 15:43:47

RT @goodmad: 人数にまだ余裕があります。飛び入りされる方もおられるようです。 [08/21日曜][参加者募集中]第08回哲学道場高円寺(第２期)「意識」 http://t.co/4j9plCT

posted at 23:11:54

@goodmad 確認済みです。毎度お待たせして済みません。

posted at 23:16:29

「ポモンセンスがない」とか言われてるし。死んでも要らないわそのセンスｗ

posted at 17:23:45

RT @SISIRON: 「哲学道場」って単語の意識の高さやべぇな……

posted at 17:26:20

logic は中国語では「逻辑（邏輯）」になるらしい。「邏り輯める」では意味が通らないから、単に音写なのだろう。

posted at 17:33:20

もはや酒の肴と化しているカオスラまとめ。あ、飲んでるのは焼酎です。 http://t.co/8Ag9ksS

posted at 21:40:39

懐かしいなー、長崎で暮らしていたあの頃。

posted at 23:24:15

嘉村礒多を読んでみよう。

posted at 16:18:16