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 » 2013年07月14日
並び順 : 新→古 | 古→新

2013年07月14日(日)

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

optical_frog @optical_frog

13年7月14日

『有限責任会社』をとりあげて,デリダの圧勝と言っている人がいたと記憶している(大澤真幸せんせいか,北田暁大せんせいか,出典を失念).ああいう発言をいくつか収集しておきたい.心当たりのある方はご教示くださいまし.

タグ:

posted at 06:49:53

ytb @ytb_at_twt

13年7月14日

対電波三原則①電波を議論によって説得しようとしてはいけない。電波は聞く耳を持たない。②電波との議論をする場合は公開前提で行うこと。③必要なのは相手を論破することではなく、公衆に相手の電波っぷりについて警告を与えることである。

タグ:

posted at 11:45:46

Hiroyasu Kamo @kamo_hiroyasu

13年7月14日

脱背理法教育については、影響を受けた学生への対応が喫緊の課題だろうと思うけど、現状がわからないので動きようがありません。同僚の方々がうまく無効化していれば良いのですが。

タグ:

posted at 17:46:54

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

@y_bonten twitter.com/functional_yy/... ということです. すなわち, 彼は背理法というのを, 数学者の使う意味でも, ロジシャンの使う意味でもない意味で使っています. (但し, 当初は背理法の定義すら意識せず使っていたようですが.)

タグ:

posted at 18:28:08

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

@y_bonten 実際には「証明不能」ではなく「正しくない」という言い方がされています. 一方でHilbert流の体系は非背理法的であるといった主張もあったため, そのように要約しました. www.ma.kagu.tus.ac.jp/~abe/

タグ:

posted at 18:45:53

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

よくわからないが, このままの意味だと→-introuction的な非形式的証明が使えないのでは

タグ:

posted at 18:49:30

Hiroyasu Kamo @kamo_hiroyasu

13年7月14日

@houji13 @y_bonten 角の三等分屋さんが誤りを指摘されるたびにいつのまにか主張を修整してどんどんと複雑怪奇な理論になっていくのと、そっくりな状況に陥っています。この先には何もありません。批判者が疲弊して徐々に黙っていくパターンですね。

タグ:

posted at 18:56:25

Hiroyasu Kamo @kamo_hiroyasu

13年7月14日

@houji13 @y_bonten 数理論理学的には、「NK = NJ+RAA = NJ+TND = NJ+¬¬E ですが、何か?」でとっくの昔に終わっている話です。

タグ:

posted at 18:59:39

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

www.ma.kagu.tus.ac.jp/~abe/index.html 【「その否定命題を仮定して矛盾を導き、命題を証明する」証明法を背理法とよんでいます。また、仮定つきの証明でも、途中に矛盾がでていなければ、非背理法証明と呼んでいます。】

タグ:

posted at 19:01:00

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

ma.kagu.tus.ac.jp/~abe/index.html 【背理法の仮定は結果的に正しくないので、これから(背理法の)証明中には、暫定的に『正しくない』主張が『導かれ』ます。】

タグ:

posted at 19:03:17

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

www.ma.kagu.tus.ac.jp/~abe/sub1.html 【ここの主張は、仮定の下、(1)が数学的に正しいので、それから(論理規則の)推論により導かれている(2)(3)もすべて数学的に正しく】

タグ:

posted at 19:12:30

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

証明中の論理式 α が(その文脈での仮定 Γ のもと)正しいというの, Γ |= α ということなのだろうか. その場合, 背理法の途中の部分では Γ がunsatisfiableゆえ Γ |= α だから, 何れにしても正しいのでは.

タグ:

posted at 19:16:22

Hiroyasu Kamo @kamo_hiroyasu

13年7月14日

どなたか、『NK = NJ+RAA = NJ+TND = NJ+¬¬E ですが、何か?』という題名の薄い本を書きませんか?

タグ:

posted at 19:17:24

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

あるいは 【途中に矛盾が出るのが駄目】 ということから, 仮定 Γ がunsatisfiableであること自体が駄目だということなのだろうか. よくわからない.

タグ:

posted at 19:17:28

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

脱背理法教育理解の道は嶮しい (完)

タグ:

posted at 19:19:20

カムショット・マリファナコカイン・ハード @amntksr

13年7月14日

Γ, α |- β    Γ |- α∧¬α
-------------   ---------------
Γ |- α→β     Γ |- β
のように一々context明記するようにすれば, 正しくない式とか出てこないのでは.

タグ:

posted at 19:26:24

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました