X



【ソーカル】矢田部俊介【ゲーデル】 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0001考える名無しさん
垢版 |
2016/01/15(金) 22:08:32.250
偉そうに奔放な発言をするdaisenseiを馬鹿にしておきながら
自分が偉そうに奔放な発言をするdaisenseiになってしまっているという愚を犯し
密かにフォロアーに疎まれていることに気づかないところが最大の魅力のytb様に萌えるスレです。
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日
■ このスレッドは過去ログ倉庫に格納されています

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