X



【ソーカル】矢田部俊介【ゲーデル】 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0001考える名無しさん
垢版 |
2016/01/15(金) 22:08:32.250
偉そうに奔放な発言をするdaisenseiを馬鹿にしておきながら
自分が偉そうに奔放な発言をするdaisenseiになってしまっているという愚を犯し
密かにフォロアーに疎まれていることに気づかないところが最大の魅力のytb様に萌えるスレです。
0004考える名無しさん
垢版 |
2016/01/16(土) 10:15:54.620
脇が甘いならその方がマシだとも言える
0005考える名無しさん
垢版 |
2016/01/16(土) 18:59:33.980
こいつのトンデモ叩きブーメランだよなwww
0006考える名無しさん
垢版 |
2016/01/16(土) 19:16:15.200
昔ネットで目立っていた黒木玄が数学者として三流だったのと同じコース
0007考える名無しさん
垢版 |
2016/01/16(土) 20:59:11.990
>黒木玄が数学者として三流だったのと同じコース

認識不足。掛け算の順序の問題で大活躍してる。
0010考える名無しさん
垢版 |
2016/01/17(日) 10:17:01.200
ytb
昔、オーウェルが「我々は皆HG ウェルズの子供たちだ」(みたいなこと)と言ったけど、
その意味で我々の世代は皆、黒木玄氏と山形浩生氏の子供たちだ。
2015年5月10日
0011考える名無しさん
垢版 |
2016/01/17(日) 12:36:30.010
☆ 日本の核武装は早急に必須ですわ。☆
総務省の『憲法改正国民投票法』、でググってみてください。
日本国民の皆様方、2016年7月の『第24回 参議院選挙』で、日本人の悲願である
改憲の成就が決まります。皆様方、必ず投票に自ら足を運んでください。お願い致します。
0012考える名無しさん
垢版 |
2016/01/17(日) 15:19:23.820
せみまる
ダメな論文「今までラーメンにメンマなどが使われていたが、コンニャクを入れた例はない」

いい論文「我々はラーメンに最適な煮卵の作り方を確立した」

流行りの論文「ビッグデータと大規模関連解析により、日本におけるラーメン屋の塩分濃度は経度に比例して高くなる傾向があった」
2014年12月12日

ytb
ダメな論文「我々はラーメンに最適な煮卵の作り方を確立した」

いい論文「スープが醤油味の場合、煮卵の煮汁にグラニュー糖を少量足すと有意に満足度が上昇した」

流行りの論文「ビッグデータと大規模関連解析により、煮卵は卵から作ると多くの人が考えていることが分かった」
2014年12月13日
0013考える名無しさん
垢版 |
2016/01/19(火) 16:54:55.480
おっかなくて誰もytbに逆らえへんのやろなあ
スターリンと同じ構造やな
0017考える名無しさん
垢版 |
2016/01/19(火) 17:02:02.870
あいまいな本日の私(旧)
http://d.hatena.ne.jp/ytb/

檜山正幸のキマイラ飼育記
2014-03-20 (木)
論理学と狭い世間
http://d.hatena.ne.jp/m-hiyama/20140320/

昨日(2014-03-19)、大西琢朗さん、久木田水生さんとお会いしました。二人とも論理学者です。
他の分野の研究もなさっていますが、たぶん「論理学者」でよいんじゃなかろうかと。

大西さんも久木田さんも、Webページ(上記のお名前の部分がリンク)に論文・論説を公開されていて、ダウンロードができます。
大西さんの博士論文である「証明論的意味論と双側面説」(PDF, 175ページあります)とか、
久木田さんの圏論に関する「米田埋め込みと米田の補題」(PDF)とか「イデアル完備化は左随伴である」(PDF)とか、
証明論や圏論に興味を持っているかたなら読みたくなる内容でしょう(読みきれるかどうかは別問題)。

ところで、お二人は丸山善宏さんや矢田部俊介さんと親しいとのことでした。
丸山さんも矢田部さんも僕はお会いしたことはありませんが、
丸山さんに関しては「丸山善宏さんの「圏論的双対性の理論入門」と understanding conferrability」で言及したことがあり、
矢田部さん(id:ytbさん)はこのダイアリーにトラックバックやコメントをいただいたことがあります。

オンライン上のやり取りではありますが、矢田部さんとはまんざら知らない仲でもないでしょう。
「世間は狭い」と思いましたが、論理に興味を持つような人の絶対数が少ないので、狭くて当たり前だというハナシもありますね。
0018考える名無しさん
垢版 |
2016/01/20(水) 19:04:25.060
ytb ?@ytb_at_twt

歴史は、大義に殉じて死んだものではなく、独裁者に尻尾を振って生き抜いたものによって書かれる。
これは歴史の教訓である。だから歴史学者は、厳密な学問の基準と一緒に殉死するよりは、「歴史学は天下国家を論じるために必要なんです、
司馬遼太郎を見てください」と言って宣伝して回った方が(以下略

http://twitter.com/ytb_at_twt/status/689749545186537472


ytbも東ヒロキに近づいてきたな
0019考える名無しさん
垢版 |
2016/01/21(木) 22:26:02.660
>>18
韜晦も重ねると何言ってるのかさっぱり分からなくなるな
0020考える名無しさん
垢版 |
2016/01/21(木) 22:57:53.430
この人は西洋史が好きっぽいし、ユーモアも好きっぽくて、
それは良いのだけど18はちょっと笑いどころが分からなさ過ぎるな
0021考える名無しさん
垢版 |
2016/01/23(土) 17:14:19.650
あー、矢田部さんも恨まれてるんだねえ
まああれだけかましてたら仕方ないか…
0022考える名無しさん
垢版 |
2016/01/23(土) 17:57:02.570
山形浩生と黒田玄なんぞをモデルにしている時点でだめでしょ
0026考える名無しさん
垢版 |
2016/02/09(火) 19:34:03.540
ytb
?@ytb_at_twt

メタ=ネタの連発でしか自分を守れない「人間的」でアイロニカルなコミュニケーションと、ベタな物語に「動物的」に感動してしまう素朴なメンタリティの解離的共存が生まれる。

? ガルパンはいいぞ。

twitter.com/ytb_at_twt/status/696998205469409281
0029考える名無しさん
垢版 |
2016/02/13(土) 22:35:31.380
ytb ?@ytb_at_twt 2 時間2 時間前

自分の知ったこっちゃないことをdisらずにいられない人間は、弱い人間である。
0031考える名無しさん
垢版 |
2016/02/14(日) 22:47:56.500
ytb ?@ytb_at_twt 1時間1時間前

大学生時代の座右の書が「アメリカン・マインドの終焉」だったので、僕のポストモダン嫌いも科学の濫用を許せない心もみんなココ由来だったのか腑に落ちると同時に、
そりゃ他の日本のいわゆる「ソーカル派」の人と話が合わない訳だと(以下略
0032考える名無しさん
垢版 |
2016/02/15(月) 15:53:06.870
ytb
「論理学の一般向け本はカントールが発狂したとかゲーデルが餓死したとかそんな話ばかりだ。それでは肝心な話が書けなくなってしまう」
「『肝心な話』とは?」
「タルスキがセクハラパワハラ大魔王であったこととか、モンタギューが浴室で絞殺死体で発見されたこととか、クリプキが超変人なこととかだ」
2013年11月7日
0033考える名無しさん
垢版 |
2016/03/02(水) 18:09:21.390
ytb
数学分野では、読書量に関しある閾値があって、
その量以上の本や文献を読んでいると、その人の(論文的な意味での)生産性が激減する、ような気がする。
2012年5月20日
0034考える名無しさん
垢版 |
2016/03/05(土) 09:34:14.370
ytb ?@ytb_at_twt 2分2分前

個人的に言われて最も腹が立つ台詞は、洗った皿に洗剤がまだ残っていた時とかに言われる「マジメにやらないのなら、別にやらなくていいから」というセリフなんですが、
分析的形而上学の本で著者が量化子や真理メーカについて書いているのを見ると、そう言いたくなる強い気持ちを感じる。
0035考える名無しさん
垢版 |
2016/03/05(土) 09:49:24.960
>ゲーデルが餓死したとかそんな話ばかりだ。

偶然ではないだろうね。毒をもられることを心配して食事をとれなく
なったんでしょ。周囲で不審死が頻繁にあり、食物を介して毒をもられたの
ではないかと疑われるような状況が多くあれば、論理学者の反応としてそれほど
驚くべきことではない。
0036考える名無しさん
垢版 |
2016/03/05(土) 10:02:46.180
米ドラ観てると、自分の夫/妻の正体が実は...とか、本人自体が自分の正体
を知らなかったとか、組織で自分に与えられていた本当の役割を理解していなかった
とかの類の話が多く出てくるけど、それが日常になってる世界でしょ。日本でも
ようやくそれが当たり前である雰囲気が肌で感じられるようになってきてはいる
けど。
0037考える名無しさん
垢版 |
2016/03/16(水) 15:11:22.160
日本ロジック界のスターリンage
0038考える名無しさん
垢版 |
2016/03/16(水) 15:22:10.080
とにかく人間関係を破壊することが最大の関心事なんだよね、あの人たちは
暇さえあれば、どうやって人間関係を破壊するか策を練ることばかりに頭を
使っている
0039考える名無しさん
垢版 |
2016/03/16(水) 15:50:37.000
中韓の門みたいなのがオンナがぁ~ オンナがぁ~ いいながら
がっちりガードのうえ
新書までだしてきたら
どうなの???
0040考える名無しさん
垢版 |
2016/03/28(月) 21:30:44.600
ytb ?@ytb_at_twt 28分28分前

「科学基礎論研究」第43巻第1・2号が来ていたので、特集「数学と論理学の60年」の野谷啓一先生の
ご論文「形而上学の排除から復権までー哲学と数学・論理学の60年」を読ませていただいたのですが、ないようがないよう!ないようがないよう!ないようがないよう!ないようがないよう!ないようが





↑野家の間違い

ytb ?@ytb_at_twt 21分21分前

…失礼、取り乱しました。野矢先生のご論は、上野健爾氏のご論に比べれば、内容があったと思います。







↑なぜか名字が野矢になってる(野矢氏とんだとばっちり)
0042タガメ
垢版 |
2016/03/29(火) 04:52:09.020
シンケンジャガゥオゥオゥオゥオダガーァ
0043タガメのガキ
垢版 |
2016/03/29(火) 04:57:06.630
シンケンジャガジャガダガダガウォー のダガダガのウオウオのオダベョオ ー
0044考える名無しさん
垢版 |
2016/03/29(火) 11:12:02.190
ヤタベとかノヤとか上野とかレベルでロジックとか、本当笑わせさんなって話だよ。

こいつらはロジックなんかやっちゃいない。
誰かが研究したり作ったりしたロジックについての感想文を垂れ流しているだけ。

いい加減気づけよ。
0045考える名無しさん
垢版 |
2016/03/29(火) 16:26:45.560
こいつ昨日の件スルー決め込むつもりだな

こいつの名前で検索してきた人にこいつの不誠実さがすぐわかるように記録せねばならん
0046考える名無しさん
垢版 |
2016/03/30(水) 09:02:29.700
ytb ?@ytb_at_twt 2時間2時間前

「のえけいいち」先生ですよ。 ? てへっ??



( ´_ゝ`)
0047考える名無しさん
垢版 |
2016/04/18(月) 22:10:53.210
なんか煽ってるけどそんなのに釣られねえから
0048考える名無しさん
垢版 |
2016/04/18(月) 22:17:08.790
おまえ女だろ
0049考える名無しさん
垢版 |
2016/04/18(月) 22:34:49.180
稲葉振一郎さんがリツイート

ytb ?@ytb_at_twt 30 分30 分前

「充分に発達した科学技術は、魔法と見分けが付かない」と言いますが、充分に発達した哲学的論理学+
形式哲学は何と見分けが付かないということになるので…

? 十分に発達した哲学的論理学+形式哲学は、スコラ哲学と区別がつかない。定説です。




稲葉振一郎 ?@shinichiroinaba 17分17分前

少々微妙でしたね
0050考える名無しさん
垢版 |
2016/05/06(金) 21:10:11.910
ytb
本来は、集合とは「性質」を対象化したもののことですしね。
素朴集合論に関するラッセルのパラドックスのことを、
「集合論のパラドックスではなく、性質の理論(property theory)に関するパラドックスだ」とゲーデルがいってましたっけ。
2009年8月13日
0051考える名無しさん
垢版 |
2016/05/13(金) 09:46:44.560
ytb
岡潔の何がそんなにすごいのですか? - 数学の業績はすごいんですが、それ意外に関して(以下略)。
2014年7月1日
0052考える名無しさん
垢版 |
2016/05/28(土) 09:20:45.740
自分の分野に対しては警察ぶりつつ
他分野にはテキトーな事を言う
0053考える名無しさん
垢版 |
2016/06/10(金) 13:52:45.970
気の利いたこと言ってるつもりなんだろけどイタい。
偉そうな事言わなければ大学専任職だったかもなのがイタい。
0056考える名無しさん
垢版 |
2016/06/15(水) 10:58:18.030
きく☆まこ。さんがリツイート
あふらん ?@pinwheel007 4 分4 分前

「ばかやろう!」みたいにどなりつける人たちは「まあ、そういうキャラだし」と見逃され、謝ったりビビッたりしているような人はどんどん追い詰められていくんだなと、
そういうことは過去に何度もあったなと思った。
0057考える名無しさん
垢版 |
2016/06/28(火) 17:20:20.560
math_jin
望月新一氏の宇宙際タイヒミューラー理論(IUTT)によって解決される未解決問題
・強いスピロ予想
・本来の(ε>0)ABC予想(×フェルマーの最終定理の別証明)
・双曲的代数曲線に関するヴォイタ予想
・ファルティングスの定理(モーデル予想)の別証明
・ロスの定理の別証明
(続く)

(続き)
・エルデシュ=ウッズ予想(但し有限個の反例を除く)
・非ヴィーフェリッヒ素数が無限個存在すること
・弱い形のマーシャル・ホール予想
・整数の平方数と立方数の間隔に関する予想
・フェルマー=カタラン予想
・グランヴィル=ランゲヴィン予想
・ティーデマンの定理の一般化
など
2016年6月17日
0061吾輩は名無しである
垢版 |
2016/09/11(日) 10:21:56.300
Piet Hut,Craig Pastro,荒井迅,一宮尚志,西郷甲矢人,中岡宏行,長谷川真人,浜野正浩,春名太一,平岡裕章,蓮尾一郎
0072考える名無しさん
垢版 |
2017/10/08(日) 22:24:13.280
TANI_Ro^hei
岡本賢吾・村上祐子・矢田部俊介を「論理学三悪」と呼ぶ議案が、飲み会で承認された。
2017年9月9日

岡本賢吾(1957〜)

村上祐子
1968年生まれ
0073考える名無しさん
垢版 |
2017/10/18(水) 21:25:13.100
今はスキームの概念でも知られる「20世紀最高の数学者」のフランス人、
グロタンディーク(2014年没)の論文を読み解くため、まとめノートを作っている。魅せられたのは、その発想力だそうだ。

「グロタンディークの考えた理論の一つに降下理論があります。
抜け落ちた部分を補うことができないかという発想から生まれたものですが、
いったいどういう発想でこんな理論を思いつくんだろう、と思います」
https://dot.asahi.com/aera/2017101200054.html?page=2
0074考える名無しさん
垢版 |
2017/10/22(日) 11:36:15.430
ytb
論理学史研究者からも一般に不毛期とされている14世紀から19世紀初めの間の長い停滞期間が論理学にはあったそ...
- 別に不毛であったワケではありません。例えばオッカムが活躍したのは14世紀ですし、中世の哲学者は様相の精密な...
2014年3月6日

Yuki Nakanishi
グリフェル「14 世紀の人を扱うのに、君はアヴィセンナやガザーリー、バグダーディー、ラーズィーのような、
この学者が引用する先行する哲学者・神学者の議論をほとんど知らないね、これは非常によくない」発表者「はい…」私「…」
2016年2月25日
0075考える名無しさん
垢版 |
2017/10/26(木) 15:44:29.710
ユークリッド(紀元前365年? - 紀元前275年?、アレクサンドリア)
アルキメデス(紀元前287年 - 紀元前212年、シチリア)
フィボナッチ(1179年頃-1250年頃、イタリア)

カルダノ(1501-1578、イタリア)
シモン・ステヴィン(Simon Stevin、1548年 - 1620年)
ヴィエート(François Viète、1540年 - 1603年2月13日)

ケプラー(Johannes Kepler 、1571年12月27日 - 1630年11月15日)
デザルグ(1591-1661、フランス)
デカルト(1596-1650、フランス)

フェルマ(1607?-1665、フランス)
ホイヘンス(Christiaan Huygens 、1629年4月14日 - 1695年7月8日)
バーロー(Peter Barlow、1776年10月13日 – 1862年3月1日)

グレゴリー(James Gregory 、1638年11月 – 1675年10月)
0076考える名無しさん
垢版 |
2018/03/11(日) 05:33:26.420
とても簡単な嘘みたいに金の生る木を作れる方法
役に立つかもしれません
グーグル検索『金持ちになりたい 鎌野介メソッド』

0TS6X
0077考える名無しさん
垢版 |
2018/03/18(日) 15:03:54.470
未完成品に謝辞をつけるべきではないのかもしれないが、井田大輔、高麗徹、中村孔一、原
隆、真野博史、宮沢透の各氏には構想の段階からさまざまな有益な議論をしていただいた。ま
た、これを読まれた多くの皆さんから、さまざまなコメント、ご提案、間違いのご指摘をいた
だき、本書の改良に役立てることができた。とくに、井汲景太、井出雄一郎、石井豊、小田啓
太、乙井研二、桂法称、鴨浩靖、河内一樹、川口光雄、九州の酔いどれゾンビ*5、下村明洋、白
石直人、杉田歩、芹澤正、高橋雅裕、竹川敦、時枝正、中川尚子、野瀬田裕樹、廣田正夫、前
野昌弘、増田忠昭、向田寿光、矢田部俊介、吉田正友、和田誠、そして、私の講義をとった学
習院大学物理学科のみなさん、本書をゼミで輪講してくださった茨城大学理学部物理学コース
のみなさんにはお世話になった。一部の演習問題は中川尚子さんと茨城大学理学部物理学コー
スの学生諸君に提供していただいた。
以上、お名前を挙げた方も、挙げきれなかった方も、本書にご協力いただいたすべての皆さ
んに心から感謝します。
2018 年 3 月
田崎晴明
0078考える名無しさん
垢版 |
2018/03/29(木) 17:25:20.670
ytb
まじめな話、数学は自分のプライドに常時強い負荷がかかる分野の一つで、
なんとか精神の平衡を保とうとするなら、自分より立場が弱そうな人間を探して罵倒するって人、
時々いるんですよね。論理学は格好のエジキなんですよ。
2018年1月17日
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況