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

posted at 23:51:43

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

posted at 23:51:06

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

posted at 16:23:35

厳密には、集合 {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 @aqn_purple: 「発言した時点で発言する資格を失う」ということは多いな。

posted at 17:53:38

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

posted at 17:37:48

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

posted at 17:28:33

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

posted at 13:14:58

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

posted at 21:24:19

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

posted at 16:03:40

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

posted at 22:30:23

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

posted at 22:12:03

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

posted at 22:09:29

古典命題計算を考える。命題変数 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

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

posted at 21:30:45

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

posted at 20:28:54

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

posted at 20:27:14

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

posted at 05:16:54

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

posted at 05:08:39

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

posted at 23:24:13

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

posted at 22:58:01

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

posted at 07:20:59

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

posted at 07:17:26

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

posted at 16:34:46

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

posted at 16:06:36

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

posted at 16:04:05

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

posted at 16:02:13

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

posted at 15:59:25

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

posted at 15:54:12

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

posted at 01:23:37

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

posted at 18:48:15

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

posted at 23:11:54

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

posted at 15:39:46

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

posted at 15:36:20

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

posted at 15:31:19

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

posted at 15:25:47

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

posted at 23:24:15

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

posted at 21:40:39

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

posted at 17:33:20

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

posted at 17:26:20

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

posted at 17:23:45

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

posted at 16:18:16

意図された正解は「細胞があるかどうか」でしたが、まあウイルスとか、例外はいろいろありますよねー。「本質的差異は無し」も、悪くない回答だと思いますね。小論文でそう答えられる度胸は、なかなかのものだと思いますがｗ　@suppatenkoh

posted at 23:28:02

因みに、その質問をした生物の教師は、後に「絶滅危惧種のカブトムシを密輸入しようとした」とかいう廉でオーストラリア当局に拘束され、学校を馘になりましたｗ　おもしろい先生だったのですがｗ

posted at 23:24:06

中学に入って最初の生物の授業で、先生が「生物と無生物の違いは何か？　何があれば生命と言えるか？」という質問を出して、誰も答えないからぼくが手を挙げて、「はい、魂があるかどうかです！」と言ったら教室が爆笑に包まれたけど、あの答えは特に間違いではなかったと今でも思ってる。

posted at 23:18:33

18世紀のカントの時代から、いきなり1970年代の京都大学の林忠四郎に飛ぶのですかｗ　さすが地学、いまもっとも熱い学問分野というだけはある！　RT @ShunkichiTamai カントとラプラスで太陽系形成の理論書いてたとか http://t.co/ZJWQe8C

posted at 22:38:52

……その割にサイトがあの状態なのは、だいたい当方の不徳の致すところでありますが。

posted at 22:32:21

哲学道場の常連参加者さんにはコンピューター技術系の方が多いなあ。哲学道場技術部でも作れそうだ（ニコニコ技術部的なノリで）。アート系の方は存外少ない？　そんなこともないか。

posted at 22:31:02

大哲02のレジュメのリンク、確認しました。報告と共に、近い内にサイトに反映させていただきますねー。 @goodmad @hazigin

posted at 22:20:43

廣松渉の著作を、実は一冊も最後まで読み切ったことがない。まア、常にポケットに『物象化論の構図』とか入れて持ち歩いてたら格好いいだろうなー、とは思いますが。

posted at 22:12:47