来学期の論理学の授業で、感覚的には自明に思えるけどペアノ公理系的には帰納法が必要となる命題を扱おうと思ってるのだけど、∀x∀y∀z(x+y→x+z=y+z) がいちばん手数少なく証明できるのかなあ。
posted at 10:01:01
Stats | Twitter歴 5,648日(2008/10/12より) |
ツイート数 78,276(13.8件/日) |
表示するツイート :
来学期の論理学の授業で、感覚的には自明に思えるけどペアノ公理系的には帰納法が必要となる命題を扱おうと思ってるのだけど、∀x∀y∀z(x+y→x+z=y+z) がいちばん手数少なく証明できるのかなあ。
posted at 10:01:01
こんな感じの惨状。 https://pic.twitter.com/sHUEXi7wNH
posted at 21:09:54
なにやってんだおれは……。
posted at 21:02:53
ペアノの公理にげんみつに則り ∀x∀y(x+y=y+x) を示していたら夜が明けてきた。
posted at 21:02:36
@spotprawns ぼくはぎゃくに読みたくなりました。
posted at 05:51:30
@xigecix さて、鷲田さんがバルトにちょくせつ言及しなかった理由はいくつかあると思うのですが、今回の件に触発されたバルトの開講の辞をあらためて読んだのですが思いのほかおもしろく、そういう意味でも「ちょろっとでもふれられていたらよかったのにね」と思いました。
posted at 05:51:07
@xigecix メンションをすっかり見落としていました。「返信遅れました」という言葉が欺瞞的に響くほど返信が遅れた非礼をお詫びいたします。
posted at 05:49:15
娘がこのごろ手をひらひらさせているので何かと思ったら幼稚園で手話を習ってるとのこと。そういうこともやるんだね。
posted at 05:43:04
@Saussure_Sielck こういう人とお酒飲むと、ちょう仲良くなるか、取っ組み合いの喧嘩になるか、どっちかだよね。いずれにせよ、たましいがぶつかり合うことはまちがいない。
posted at 11:59:22
@Saussure_Sielck おれもそこまで詳しいわけじゃないから言いっ放しの放言になるけどソーカル事件よりもよほど実り多い対話になる可能性があると思う。
posted at 11:57:43
「クリスタルナハト」ってその言葉から惹起されるイメジのうつくしさがその言葉で名指される事柄の残虐さをきわだたせている。
posted at 10:56:12
しらんゴールデンハムスター
#さぼてぬアザラシったー #shindanmaker
https://shindanmaker.com/779287
posted at 10:47:43
てか、こういうのが学問のたのしみじゃん。ちがう?
posted at 10:36:36
大事なのことは、こういうもっともな(とぼくには思われる)指摘を受けて、「じゃあどうすっかな」と動き出すことだよね。
posted at 10:35:09
ぼくはふつうに哲学の人だと思うのだけど頭に血がのぼるどころか「だよねー」としか思わなかったな。https://nagoya.repo.nii.ac.jp/index.php?action=repository_action_common_download&item_id=28664&item_no=1&attribute_id=17&file_no=1&page_id=28&block_id=27…
posted at 10:30:19
でもまあ、国のお金をもらってる以上、じゃっかんのアカウンタビリティはあるかも。
posted at 09:04:58
ぼくら哲学者はぼくらのやってることにかんして「で、それでなんなの?」と言われることが多いわけですが率直な回答としては「そんなん知らんがな」になります。
posted at 08:52:08
論文、構想練ってるときがいちばんたのしい。
posted at 08:47:04
ともあれ、もろもろ一段落したので、これで新ネタで論文書ける!
posted at 08:45:50
語学は全般的に苦手なので、まあ、しようがない。
posted at 08:43:36
いまは「えっちらおっちら、どうにか」ぐらい。
posted at 08:42:45
ドイツ語、せめて学術論文ぐらいはそれなりにすらすら読めるようになりたい。
posted at 08:42:22
忙しくてツイッターができずそうするとツイッターのない生活が日常になってさらにツイッターを開かなくなっている今日このごろだけど来年からさらに忙しくなることが見こまれるのでどうしたもんかなと思っている。
posted at 03:26:48