ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
【参考文献】○『エニグマ アラン・チューリング伝（上）』amzn.to/3G0Zzje○『エニグマ アラン・チューリング伝（下） 』amzn.to/3zNBs5t→この世で一番詳しいチューリングの伝記。上下巻で1000ページぐらいある。どうしてもチューリングについて詳しく知りたければこちらを。○『暗号解読（上・下）』amzn.to/3BJHi9m→世界一おもしろいサイエンスライター（私見）であるサイモン・シンが書いた、超エキサイティングな暗号の歴史と仕組みの本。歴史ドラマは熱いし、仕組み解説は好奇心をくすぐられます。最高。○『チューリングの計算理論入門』amzn.to/3BLQIkF→安定のブルーバックス。チューリングマシンについてざっくり理解したいならオススメ。なんとなく雰囲気が分かります。○『チューリングを読む コンピュータサイエンスの金字塔を楽しもう』amzn.to/3Q3piv6→チューリングの論文を全文引用しながら丁寧に読解する本。難しいがおもしろい。この手の骨太本には珍しく、うんちく力が高い。前提知識の説明でうんちくメモを取りまくった。○『デカルトはそんなこと言ってない』amzn.to/3phPbeF→水野が言っている「心身二元論の誤解多すぎ本」はこれ。【サポーターコミュニティ加入はこちらから】yurugengo.com/support【親チャンネル：ゆる言語学ラジオ】th-cam.com/channels/mpkIzF3xFzhPez7gXOyhVg.html
このチャンネルはエアプの面白さで成り立ってるので、これからも原典に当たらずエアプを貫いてほしい
ゲーデルの不完全性定理をなるべく誤解されないように、かつ分かりやすく書こうとしてる本で思い当たるのは『数学ガール第3巻 ゲーデルの不完全性定理（結城浩・著）』ですかね。数学ガールシリーズは同じように丁寧なスタンスで、第2巻 フェルマーの最終定理第4巻 乱択アルゴリズム第5巻 ガロア理論第6巻 ポアンカレ予想というテーマを扱っているので、興味あるものが取り上げられてるのがあれば読んでみると面白いかもです。
言及されていた不完全性定理の誤用を整理した本、フランセーン, トルケル 著、田中一之 訳 『ゲーデルの定理：利用と誤用の不完全ガイド』、いい本です。
科学の「無いことが解った」がどれだけすごいかを解説してほしいです！
科学に限らず何でもだけど、あるか無いか分からないなら、あるかもしれないから探す(しかし無いかもしれない)という作業が発生するけど、無い事が分かっているなら、そこに労力を割かなくて良いのですよ。ちなみに今、世界で最も有名な数学の問題の一つは、「ナビエ─ストークス方程式の解の存在と滑らかさ」についての問題で、もしも「ナビエ─ストークス方程式」に(数学的に一般的な)解が存在しない事が分かったら、100万ドル貰えます。
5:28ドイツ語とラテン語とギリシア語を勉強した自分にめちゃくちゃ刺さるメッセージ
みんな大好きガロア理論の話が出てきて嬉しいです。根号による解の公式が存在しないのは五次以上ですね。てか堀元さんガロアの名言引用してましたね！
自分の周囲では物を取ってあげるなどのちよっとした動作の時に「bitte（ビテ）」というのが流行ってます。英語のpleaseより日本語の「どうぞ」の意味に近く、さらにどうぞより短いため効率的です。
高1のとき、3次方程式の解の公式の導出してたら、夏休み溶けました。
聴き終わったあとしばらくはまじでナチュラルにコテンラジオだと思ってしまい、続きは15日の夜かと思ってました🥺
形式的数学とメタ数学とか、主張自体に出てくるメタ構造がとにかくややこしいせいもあるけどゲーデルの不完全性定理は本当に誤解されがち
ゲーデルの不完全性定理を引用して「というわけで、神は死にました。」っていうとんでもない雑引用を披露してる著書を見て以来、苫○地先生とは距離をおくことにしました
数理論理学とか数学基礎論とかの分野って、不完全性定理への解像度の低さからして二人ともちゃんと勉強したことないっぽいし、二人が一緒に勉強するゆるゼミの様子とか見てみたい……と、ちょっと思った。というか、不完全性定理への二人の解像度の低さはちょっと気になってたんで言及されて良かった。
コンピュータサイエンスやってる人がゲーデル数を知った時の反応は気になる
まあ圏論でわかる範囲も限られているし、むしろ不完全性定理はそこらへんの解像度高い人じゃ無いと厳しい物でもある。
これ見てからバベッジについて調べててようやく気づいたけど伊藤計劃の『the indifference engine』って階差機関（difference engine）のパロディだったんだ
なるほど欲しいのは『｢答え｣を導く手引き書』なのか
数学には他にも Nullstellensatz とかドイツ語のまま定着した用語があるので、チューリングだけをいじるのやめたげてw
アーベルはスンゲェ数学者でガウスをも凌ぐという人もいます。コーシーという当時の大数学者がアーベルの論文の審査を引き受けておきながら、紛失して放置したのは数学史的に有名です。因みにコーシーはガロアの論文も紛失して放置してます。アーベルもガロアと同じく二十代で死んだので、なんだかガロアとアーベルは似てますね。
ゲーデルの不完全性定理は特に誤解されやすい印象ですね。"形式"体系の条件が省かれたり、"不完全"という数学用語も定義から離れ拡大解釈されたり。五次方程式についても誤解をよく見ます。解を"代数的"(加減乗除と根号の有限回の組み合わせ)に表示できないというだけで、解があるのは勿論のこと、超越的には公式として表現できます。学部しか出ていないので自分の理解も相当怪しいのですが......
新概念を提案する論文だと、その概念の価値を説明するため既存の問題に応用して解いてみせるから『〜への応用』付きがちでもその新概念が画期的か大したことないかは別問題なので、水野さんの感覚も否定はできないですw
6:57 掘元さんのやっちゃったねー！が早すぎて
チューリングはコンピュータの祖父…ノイマンはコンピュータの父…チューリングとノイマンは血が繋がってない…コンピュータって複雑な家庭に育ったんだね〜😢
母方の祖父だった可能性
のび太としずかとジャイ子とセワシみたいなもので、途中でどうにか入れたんだよ。
数学基礎論、期待して待ってます。ヒルベルトは偉大です。
仕事柄よくお客さんのメールアドレスを見るのですが、偉人の名前はアルアルですね。今でも覚えているのがビスマルクとヴィットーリオ・エマヌエーレ２世をアドレスにしていた人ですね。声かけたくて仕方なかったですが、気持ち悪いだろうし恥ずかしいだろうからマスクの下でニヤニヤしながら「あざーすw」って言いました。
これは疾風怒濤の時代Sturm und Drang(シュトゥルムウントドラング)
最後は「グ」ではなく「ク」にして欲しかった...
やっちゃったメールアドレスにするのはみんなが通る道でしょ？え？違うの？
チューリングの映画、観た！印象そのものは、今日聞いた話と細部まで一致してる！
待望の数学基礎論・記号論理学回がついに来るかな
ゲーデルの不完全性定理、誤解を生まないうまい比喩ができないものですかね。「完全な比喩」である必要はないですが、現在皆が誤解している点を払拭するような例えがあるとよいのではないかと思います。それにより別の誤解が生まれたとしても、現状より皆の理解が有意に進むならよい気がします。ゆるコンピュータ科学ラジオ（＆数学基礎論の先生）ならできるんじゃないかと思います。
楽しみに待ってました
Danke schön!(圧倒的感謝！)
意訳すこ
まってましたー！
Schreibkrampf（シュライプクランプフ）がかっこいい、書痙という意味
好きなドイツ語 „duzen”„Du kannst mich duzen!”
まってました！好きなドイツ語はRAMMSTEIN
数学の用語にはドイツ語から来ているものも結構あり、ヒルベルトが使ったことから定着した用語・記号もあるので、当時のドイツ語の影響力が伺い知れますね。好きなドイツ語はabgeschlossene Mengeです、対戦よろしくお願いします(閉集合の記号がclosedのCではなくAだったことに昔疑問を持っていたため)
16:30 「リトマス試験紙ということですね。水野さん、分かります？」って煽る流れかと思った。
漫画とかの少女のルビでフロイラインってなってるの好き
『ツァラトゥストラはかく語りき』マンガでわかるシリーズだと物語になっていたと語っておられますが、原著もおおよそ物語形式です。たしかに、マンガでわかるシリーズは物語化されてるパターン多いですが。
好きなドイツ語はAngelです天使と同じ綴りだけど意味は「釣り竿」
ダックスフントのTシャツ可愛い
お勧めのドイツ語、ゲーテの「ファウスト」の最後の一文から、das Ewig-Weibliche（永遠に女性的なるもの）を推薦させていただきます。
ドイツ語 イジられる で思い出したけど、“ボールペンは”は忘れられないな笑笑
そういや、Splatoonの武器として実装されているそうですね。
やめて！Mr.堀元のライフはもうゼロよ！
@@voidundefined8266 🧐？
@@kamome3663 スプラトゥーンに、クーゲルシュライバーという名前のよく見るたくさん芯があって色を選べるボールペンみたいな武器があるんです(見当違いのこと言ってたらすみません)
好きなドイツ語は、オーストリア人しか使わない挨拶 Gruess Gott（グリュースゴット）Guten Tag（こんにちは）に変わる挨拶です。
好きなドイツ語は論理哲学論考（ヴィトゲンシュタイン）のWovon man nicht sprechen kann, darüber muss man schweigen.（語りえないことについては、沈黙するほかない）です。
16:08 ×有理数 ◯実数の中で解を持つ
グーテンターク！ノイマンが世界初のノイマン型コンピュータを作った時に言い放った一言クリシェお2人好きそうなのに話題に出なくて寂しいです。
エアプの懺悔からしか得られない知識と栄養をありがとうございます
1週間ごとにこれ聞くのアクセスポイントが遠すぎてしんどいカッコいいドイツ語はSturm und Drangかなぁ
問題に解があるか証明する問題に解が無いことを証明しちゃったの意味わかんなすぎて好き
「分からない（解が無い）」ということを証明することによって、後進研究者の研究計画の効率が上がる、てなことの蓄積が研究ってやつなんでしょうね。
中学数学のレベルでも、ある二次方程式を解こうとしたら、その方程式に(実数の)解が無い事を示すことになるということもありますけど、それと同じ話ですよ
世界的インパクトファクターが高い論文！？
やはりドイツ語(風)といえば「イッヒ・フンバルト・ヘーデル」でしょう！
ぷぅ〜（高音）
私の記憶が確かならば、イッヒ・フンバルト・デル・ウンチ、だったはず・・・(笑)
原典（笑）は激長でこうですイッヒ フンバルト デル ウンコハイル! フンデルベン! ミーデルベン! ヘーヒルト ベンデル!フンバルト ヘーデル! ベンダシタイナー!フンデルト モレル ケッツカラデルド! フンベン モルゲン!モーデルワ イッヒ アーデル ゲーベン! ワーデル!
ヒルベルトというと、フラクタルの話にはコッホ曲線とならんで必ずと言っていいほど出てくるヒルベルト曲線。一次元の線のくせに極限まで行くと面を埋めて2次元になってしまう変な奴。
難解なものを比喩を用いて非専門家向けにわかりやすく説明しようとすると、どうしても正しい理解からは離れる。非専門家の方が数が多いからその理解が伝言ゲームのように広まっていき、誤解が定着する。正確さとわかりやすさは両立しないから、やむを得ないといえばやむを得ない。
もうそろそろコンピューター科学の祖父とか曾祖父とか言い出しそう
コンピューターおばあちゃん、っていうのは居ましたねうろ覚えだけど
@@fontono 興奮したカブトムシよりは遅いやつですか？
@@taiki7826 ワシモじゃなくてみんなのうたの方ですね
@@らすたしあん あっちはロボットか。。。
ゲーデルの不完全性定理の誤解の話を聞くと、心理学実験結果の過度な一般化が思い出されますね。あちらも「〇〇という条件においては、××のときに△△となる」という実験結果がいつのまにか「××のとき必ず△△となる」と歪まされがちな気がしますが、数論理学においても同じことが起きていたのですね。
ゲームをすると頭が良くなるとか。
本当に面白い
好きなドイツ語...ベタですがクーゲルシュライバー-Kugelschreiber-ですかね
好きなドイツ語「ゲナウ（Genau ）」「それそれ、そうそうそんな感じ」英語だとexactlyだけど、若干語意が広い気がする。語感がいい。固有ベクトルeigenvector、固有値eigenvalueもドイツ語由来？
2:21 ここルサンチマン？（ニーチェつながり）
やらかしてないメールアドレスを設定するのも、私には同じくらい難しいのですがわかる方います？なにかいいアルゴリズムはないでしょうか。
ランダム生成されるメルアドを使用されるといいと思います。ただ迷惑メールに間違われる可能性が微レ存
岩波の不完全性定理本の解説にも雑な引用に対して苦言が述べられていたなあ。
好きなドイツ語はやっぱり、ゲゼルシャフトですかねー(エアプ)
好きなドイツ語、、、、綴りは分かんないですけど「エイヴィヒカイト・ゲフェングニス」とかですかねぇ、、、、()
だいぶ前の動画にコメント申し訳ありません。どうしても同類の水野さんに伝えてたくてコメントします。私もメルアド、ウィスキーの語源にしてました。ドイツ語ではないですが。ゲール語らしいです。
面白いなと思ったドイツ語はFlugzeugabwehrkanone（対空砲）みたいな意味をガンガン繋げて一単語長くしていく系の言葉印象に残っているドイツ語はベートーヴェン交響曲第9番の歌詞に出てくるGötterfunken（神々の火花）コンピュータ「科学」の父、分かりやすくSpecifyされた感じで好きです
Kugelschreiber（クーゲルシュライバー:ボールペン）はかっこいいドイツ語クリシェですね
ゆる言語学ラジオ外伝・ガチふざけコンピュータ科学ラジオ
ガチふざけコンピュータ科学ラジオはガチ（真剣）にふざけるので、たとえばTH-cam Shortsの3Dプリンター芸人とコラボして階差機関を再現したりプリンキピア・マセマティカを解説したりする
シュタインズゲートはチューリングリスペクトだったんだな（違う
エル・プサイ・コングルーはスペイン語っぽい響きがある
今更だけどコンピュータ科学って不思議な響き普通は計算機科学かコンピュータサイエンスだと思うんだけど
日本語を学習してる方Mr.ニーチェだったか
超人と言うとキン肉マンの面々が最初に思い浮かんでくるのでニーチェのはÜbermenschが良いと思ったり
SFの父、ジュール・ヴェルヌ(仏)から宇宙旅行の父、ツィオルコフスキー(露)、アメリカのロケットの父、ゴダード(米)、ロケット工学の父、オーベルト(独)が生まれ、オーベルトからドイツのロケットの父、フォン・ブラウン(独→米)が生まれた。フォン・ブラウンはジュール・ヴェルヌから受け継がれたバトン、月面着陸を成功させた。父しかいない……。宇宙SUGEEE。
ドイツ語といえば、Kugelschreiberですね。Kugelなschreiberですから。
本日たまたま読んでいた『多様性の科学』にエニグマ解読の話が出ていて、勝手にタイムリーな気分になっていました。(こちらでは、解読に一般のクロスワードオタクが招集された話が載っていて面白かったので興味ある方は是非)
好きなドイツ語Eigenwert英語になってもeigenだけは残った ( eigenvalue ) 謎の学術用語
好きなドイツ語はシュパッツ好きなラテン語はパッセル・モンタヌススズメが飛び出て留まらない。
07:00 携帯のメールアドレスは高校時代に設定したウィトゲンシュタインの論理哲学論考の一節（ドイツ語）のままですが、何か？
主題と関係ないが、後ろの棚の高さの差が錯視効果になって、同じような頭の高さに見える。堀元さんの方が目線付近で棚が低く頭が高く見え、水野さんの方は棚が高く頭部にあるので低く見え、気を抜くと同じくらいの大きさに見える。。。。と、錯視かなと書き始めてから、より重大な事に気が付いた。今回カメラ傾いてね？ｗ実際の立って並んだ時に身長差に驚くのも、こういう錯視マジックが積み重なってるんだなとｗ
イッヒリーベディッヒ、強そうですきです
ゲーデルの不完全性定理について、youtubeでは th-cam.com/video/zFML_YmTCWM/w-d-xo.html なんかが、誤解なく学べるのではないかと思います。また、不完全性定理はチューリングの停止性問題を利用して証明することもできます（詳細はwikipediaなどを参照）。この方法は、堀本さんのように計算機科学を知っておられる方にはなじみやすいのではないでしょうか。(実際、不完全性定理の証明は、まさにコーディングを延々とやっています）思い出せる、それらしいドイツ語の単語は「Zitterbewegung」くらいですね～
ドイツ語はまだしも、ラテン語、ギリシャ語まで言ってしまったら…これは逆に、今後タイトルに使われて、未来永劫イジられるフラグなのでは…？
コンピュータのシリコンに家紋刻んだのは嶋パイセンだけじゃなかろうか
ドイツ語でかっこいいと思うのは、男性名でよくある「Wilhelm」ですね～ Wilhelm Furtwänglerとか名前を聴いただけで厨二病にかかると思います。
自分の頭の中ではチューリング→ノイマン→ショックレーの流れかなあ。「無いことがわかった」の重要性は学校で教えて欲しいですね。Mr.WF／フルニーチェ水野。名前が増えてなによりです。
冒頭のÜbermenschenは、正しくはÜbermenschですね。
ベーエムベーってカッコいいよね！
シュトュルム！ウンド！ドラーーンク！！
ドイツ語といえば、建築学科方面には「ラーメン構造」という言葉があるらしいです。「トンコツ」とも「家系」とも無関係で、ドイツ語の Rahmen（日本語で「枠」を意味する名詞）からきているそうです。
説明が不正確すぎる。「真の命題は必ず(有限の手続で)証明できるか？」という問いに対して、チューリングマシンというコンピュータの原型のような概念の停止問題を考えることによって、証明不可能な真の命題が存在することを証明した。というのがチューリングの仕事。
「マニュアル」とか「アルゴリズム」を求めていたという説明は見当違い
つめたまる↔︎あつまるかと思った
14:09 証明可能と言うことは真か偽か定まるということで合ってるのか？
その流れでいくとゲーデルの不完全性定理が発表される以前の人々は命題が必ず真か偽か定まると信じて証明に取り組んでいたはずだし…うん？
Wovon man nicht sprechen kann, darüber muss man schweigen.
ウーバーメンシェンじゃないですか。ユーリカの方をエウレカじゃなくユーにして欲しいです。ウーバーもユーバーと言い始めるかな
ドイツ語？えーっと…Backpfeifengesicht（拳で殴りたくなる酷い顔🥸
ドイツ語使って厨二病扱いされてる可能性w
複雑な家庭環境で育ったコンピュータ君
足し算に電卓が不要なように、コンピュータ科学にコンピュータは不要なのだ。
シャイセ！
ツークツワンク
でかい資産を得たで草
【参考文献】
○『エニグマ アラン・チューリング伝（上）』
amzn.to/3G0Zzje
○『エニグマ アラン・チューリング伝（下） 』
amzn.to/3zNBs5t
→この世で一番詳しいチューリングの伝記。上下巻で1000ページぐらいある。どうしてもチューリングについて詳しく知りたければこちらを。
○『暗号解読（上・下）』
amzn.to/3BJHi9m
→世界一おもしろいサイエンスライター（私見）であるサイモン・シンが書いた、超エキサイティングな暗号の歴史と仕組みの本。歴史ドラマは熱いし、仕組み解説は好奇心をくすぐられます。最高。
○『チューリングの計算理論入門』
amzn.to/3BLQIkF
→安定のブルーバックス。チューリングマシンについてざっくり理解したいならオススメ。なんとなく雰囲気が分かります。
○『チューリングを読む コンピュータサイエンスの金字塔を楽しもう』
amzn.to/3Q3piv6
→チューリングの論文を全文引用しながら丁寧に読解する本。難しいがおもしろい。この手の骨太本には珍しく、うんちく力が高い。前提知識の説明でうんちくメモを取りまくった。
○『デカルトはそんなこと言ってない』
amzn.to/3phPbeF
→水野が言っている「心身二元論の誤解多すぎ本」はこれ。
【サポーターコミュニティ加入はこちらから】
yurugengo.com/support
【親チャンネル：ゆる言語学ラジオ】
th-cam.com/channels/mpkIzF3xFzhPez7gXOyhVg.html
このチャンネルはエアプの面白さで成り立ってるので、これからも原典に当たらずエアプを貫いてほしい
ゲーデルの不完全性定理をなるべく誤解されないように、かつ分かりやすく書こうとしてる本で思い当たるのは『数学ガール第3巻 ゲーデルの不完全性定理（結城浩・著）』ですかね。
数学ガールシリーズは同じように丁寧なスタンスで、
第2巻 フェルマーの最終定理
第4巻 乱択アルゴリズム
第5巻 ガロア理論
第6巻 ポアンカレ予想
というテーマを扱っているので、興味あるものが取り上げられてるのがあれば読んでみると面白いかもです。
言及されていた不完全性定理の誤用を整理した本、フランセーン, トルケル 著、田中一之 訳 『ゲーデルの定理：利用と誤用の不完全ガイド』、いい本です。
科学の「無いことが解った」がどれだけすごいかを解説してほしいです！
科学に限らず何でもだけど、あるか無いか分からないなら、あるかもしれないから探す(しかし無いかもしれない)という作業が発生するけど、無い事が分かっているなら、そこに労力を割かなくて良いのですよ。
ちなみに今、世界で最も有名な数学の問題の一つは、「ナビエ─ストークス方程式の解の存在と滑らかさ」についての問題で、もしも「ナビエ─ストークス方程式」に(数学的に一般的な)解が存在しない事が分かったら、100万ドル貰えます。
5:28
ドイツ語とラテン語とギリシア語を勉強した自分にめちゃくちゃ刺さるメッセージ
みんな大好きガロア理論の話が出てきて嬉しいです。根号による解の公式が存在しないのは五次以上ですね。てか堀元さんガロアの名言引用してましたね！
自分の周囲では物を取ってあげるなどのちよっとした動作の時に「bitte（ビテ）」というのが流行ってます。英語のpleaseより日本語の「どうぞ」の意味に近く、さらにどうぞより短いため効率的です。
高1のとき、3次方程式の解の公式の導出してたら、夏休み溶けました。
聴き終わったあとしばらくはまじでナチュラルにコテンラジオだと思ってしまい、続きは15日の夜かと思ってました🥺
形式的数学とメタ数学とか、主張自体に出てくるメタ構造がとにかくややこしいせいもあるけど
ゲーデルの不完全性定理は本当に誤解されがち
ゲーデルの不完全性定理を引用して「というわけで、神は死にました。」っていうとんでもない雑引用を披露してる著書を見て以来、苫○地先生とは距離をおくことにしました
数理論理学とか数学基礎論とかの分野って、不完全性定理への解像度の低さからして二人ともちゃんと勉強したことないっぽいし、二人が一緒に勉強するゆるゼミの様子とか見てみたい……と、ちょっと思った。というか、不完全性定理への二人の解像度の低さはちょっと気になってたんで言及されて良かった。
コンピュータサイエンスやってる人がゲーデル数を知った時の反応は気になる
まあ圏論でわかる範囲も限られているし、むしろ不完全性定理はそこらへんの解像度高い人じゃ無いと厳しい物でもある。
これ見てからバベッジについて調べててようやく気づいたけど伊藤計劃の『the indifference engine』って階差機関（difference engine）のパロディだったんだ
なるほど欲しいのは『｢答え｣を導く手引き書』なのか
数学には他にも Nullstellensatz とかドイツ語のまま定着した用語があるので、チューリングだけをいじるのやめたげてw
アーベルはスンゲェ数学者でガウスをも凌ぐという人もいます。
コーシーという当時の大数学者がアーベルの論文の審査を引き受けておきながら、紛失して放置したのは数学史的に有名です。
因みにコーシーはガロアの論文も紛失して放置してます。
アーベルもガロアと同じく二十代で死んだので、なんだかガロアとアーベルは似てますね。
ゲーデルの不完全性定理は特に誤解されやすい印象ですね。
"形式"体系の条件が省かれたり、"不完全"という数学用語も定義から離れ拡大解釈されたり。
五次方程式についても誤解をよく見ます。
解を"代数的"(加減乗除と根号の有限回の組み合わせ)に表示できないというだけで、
解があるのは勿論のこと、超越的には公式として表現できます。
学部しか出ていないので自分の理解も相当怪しいのですが......
新概念を提案する論文だと、その概念の価値を説明するため既存の問題に応用して解いてみせるから『〜への応用』付きがち
でもその新概念が画期的か大したことないかは別問題なので、水野さんの感覚も否定はできないですw
6:57 掘元さんのやっちゃったねー！が早すぎて
チューリングはコンピュータの祖父…
ノイマンはコンピュータの父…
チューリングとノイマンは血が繋がってない…
コンピュータって複雑な家庭に育ったんだね〜😢
母方の祖父だった可能性
のび太としずかとジャイ子とセワシみたいなもので、途中でどうにか入れたんだよ。
数学基礎論、期待して待ってます。ヒルベルトは偉大です。
仕事柄よくお客さんのメールアドレスを見るのですが、偉人の名前はアルアルですね。
今でも覚えているのがビスマルクとヴィットーリオ・エマヌエーレ２世をアドレスにしていた人ですね。
声かけたくて仕方なかったですが、気持ち悪いだろうし恥ずかしいだろうからマスクの下でニヤニヤしながら「あざーすw」って言いました。
これは疾風怒濤の時代Sturm und Drang(シュトゥルムウントドラング)
最後は「グ」ではなく「ク」にして欲しかった...
やっちゃったメールアドレスにするのはみんなが通る道でしょ？え？違うの？
チューリングの映画、観た！
印象そのものは、今日聞いた話と細部まで一致してる！
待望の数学基礎論・記号論理学回がついに来るかな
ゲーデルの不完全性定理、誤解を生まないうまい比喩ができないものですかね。
「完全な比喩」である必要はないですが、現在皆が誤解している点を払拭するような例えがあるとよいのではないかと思います。
それにより別の誤解が生まれたとしても、現状より皆の理解が有意に進むならよい気がします。
ゆるコンピュータ科学ラジオ（＆数学基礎論の先生）ならできるんじゃないかと思います。
楽しみに待ってました
Danke schön!(圧倒的感謝！)
意訳すこ
まってましたー！
Schreibkrampf（シュライプクランプフ）がかっこいい、書痙という意味
好きなドイツ語 „duzen”
„Du kannst mich duzen!”
まってました！
好きなドイツ語はRAMMSTEIN
数学の用語にはドイツ語から来ているものも結構あり、ヒルベルトが使ったことから定着した用語・記号もあるので、当時のドイツ語の影響力が伺い知れますね。好きなドイツ語はabgeschlossene Mengeです、対戦よろしくお願いします(閉集合の記号がclosedのCではなくAだったことに昔疑問を持っていたため)
16:30 「リトマス試験紙ということですね。水野さん、分かります？」って煽る流れかと思った。
漫画とかの少女のルビでフロイラインってなってるの好き
『ツァラトゥストラはかく語りき』マンガでわかるシリーズだと物語になっていたと語っておられますが、原著もおおよそ物語形式です。
たしかに、マンガでわかるシリーズは物語化されてるパターン多いですが。
好きなドイツ語はAngelです
天使と同じ綴りだけど意味は「釣り竿」
ダックスフントのTシャツ可愛い
お勧めのドイツ語、ゲーテの「ファウスト」の最後の一文から、das Ewig-Weibliche（永遠に女性的なるもの）を推薦させていただきます。
ドイツ語 イジられる で思い出したけど、“ボールペンは”は忘れられないな笑笑
そういや、Splatoonの武器として実装されているそうですね。
やめて！Mr.堀元のライフはもうゼロよ！
@@voidundefined8266 🧐？
@@kamome3663 スプラトゥーンに、クーゲルシュライバーという名前のよく見るたくさん芯があって色を選べるボールペンみたいな武器があるんです(見当違いのこと言ってたらすみません)
好きなドイツ語は、オーストリア人しか使わない挨拶 Gruess Gott（グリュースゴット）
Guten Tag（こんにちは）に変わる挨拶です。
好きなドイツ語は論理哲学論考（ヴィトゲンシュタイン）の
Wovon man nicht sprechen kann, darüber muss man schweigen.
（語りえないことについては、沈黙するほかない）
です。
16:08 ×有理数 ◯実数の中で解を持つ
グーテンターク！
ノイマンが世界初のノイマン型コンピュータを作った時に言い放った一言クリシェお2人好きそうなのに話題に出なくて寂しいです。
エアプの懺悔からしか得られない知識と栄養をありがとうございます
1週間ごとにこれ聞くのアクセスポイントが遠すぎてしんどい
カッコいいドイツ語はSturm und Drang
かなぁ
問題に解があるか証明する問題に解が無いことを証明しちゃったの意味わかんなすぎて好き
「分からない（解が無い）」ということを証明することによって、後進研究者の研究計画の効率が上がる、てなことの蓄積が研究ってやつなんでしょうね。
中学数学のレベルでも、ある二次方程式を解こうとしたら、その方程式に(実数の)解が無い事を示すことになるということもありますけど、それと同じ話ですよ
世界的インパクトファクターが高い論文！？
やはりドイツ語(風)といえば「イッヒ・フンバルト・ヘーデル」でしょう！
ぷぅ〜（高音）
私の記憶が確かならば、イッヒ・フンバルト・デル・ウンチ、だったはず・・・(笑)
原典（笑）は激長でこうです
イッヒ フンバルト デル ウンコ
ハイル! フンデルベン! ミーデルベン! ヘーヒルト ベンデル!
フンバルト ヘーデル! ベンダシタイナー!
フンデルト モレル ケッツカラデルド! フンベン モルゲン!
モーデルワ イッヒ アーデル ゲーベン! ワーデル!
ヒルベルトというと、フラクタルの話にはコッホ曲線とならんで必ずと言っていいほど出てくるヒルベルト曲線。
一次元の線のくせに極限まで行くと面を埋めて2次元になってしまう変な奴。
難解なものを比喩を用いて非専門家向けにわかりやすく説明しようとすると、どうしても正しい理解からは離れる。
非専門家の方が数が多いからその理解が伝言ゲームのように広まっていき、誤解が定着する。
正確さとわかりやすさは両立しないから、やむを得ないといえばやむを得ない。
もうそろそろコンピューター科学の祖父とか曾祖父とか言い出しそう
コンピューターおばあちゃん、っていうのは居ましたねうろ覚えだけど
@@fontono 興奮したカブトムシよりは遅いやつですか？
@@taiki7826 ワシモじゃなくてみんなのうたの方ですね
@@らすたしあん あっちはロボットか。。。
ゲーデルの不完全性定理の誤解の話を聞くと、心理学実験結果の過度な一般化が思い出されますね。
あちらも「〇〇という条件においては、××のときに△△となる」という実験結果がいつのまにか「××のとき必ず△△となる」と歪まされがちな気がしますが、数論理学においても同じことが起きていたのですね。
ゲームをすると頭が良くなるとか。
本当に面白い
好きなドイツ語...ベタですが
クーゲルシュライバー-Kugelschreiber-ですかね
好きなドイツ語「ゲナウ（Genau ）」
「それそれ、そうそうそんな感じ」
英語だとexactlyだけど、若干語意が広い気がする。語感がいい。
固有ベクトルeigenvector、固有値eigenvalueもドイツ語由来？
2:21 ここルサンチマン？（ニーチェつながり）
やらかしてないメールアドレスを設定するのも、私には同じくらい難しいのですがわかる方います？
なにかいいアルゴリズムはないでしょうか。
ランダム生成されるメルアドを使用されるといいと思います。ただ迷惑メールに間違われる可能性が微レ存
岩波の不完全性定理本の解説にも雑な引用に対して苦言が述べられていたなあ。
好きなドイツ語はやっぱり、ゲゼルシャフトですかねー(エアプ)
好きなドイツ語、、、、
綴りは分かんないですけど
「エイヴィヒカイト・ゲフェングニス」
とかですかねぇ、、、、()
だいぶ前の動画にコメント申し訳ありません。
どうしても同類の水野さんに伝えてたくてコメントします。
私もメルアド、ウィスキーの語源にしてました。
ドイツ語ではないですが。ゲール語らしいです。
面白いなと思ったドイツ語はFlugzeugabwehrkanone（対空砲）みたいな意味をガンガン繋げて一単語長くしていく系の言葉
印象に残っているドイツ語はベートーヴェン交響曲第9番の歌詞に出てくるGötterfunken（神々の火花）
コンピュータ「科学」の父、分かりやすくSpecifyされた感じで好きです
Kugelschreiber（クーゲルシュライバー:ボールペン）はかっこいいドイツ語クリシェですね
ゆる言語学ラジオ外伝・ガチふざけコンピュータ科学ラジオ
ガチふざけコンピュータ科学ラジオはガチ（真剣）にふざけるので、たとえばTH-cam Shortsの3Dプリンター芸人とコラボして階差機関を再現したりプリンキピア・マセマティカを解説したりする
シュタインズゲートはチューリングリスペクトだったんだな（違う
エル・プサイ・コングルーはスペイン語っぽい響きがある
今更だけどコンピュータ科学って不思議な響き
普通は計算機科学かコンピュータサイエンスだと思うんだけど
日本語を学習してる方Mr.ニーチェだったか
超人と言うとキン肉マンの面々が最初に思い浮かんでくるのでニーチェのはÜbermenschが良いと思ったり
SFの父、ジュール・ヴェルヌ(仏)から
宇宙旅行の父、ツィオルコフスキー(露)、
アメリカのロケットの父、ゴダード(米)、
ロケット工学の父、オーベルト(独)
が生まれ、オーベルトから
ドイツのロケットの父、フォン・ブラウン(独→米)が生まれた。
フォン・ブラウンはジュール・ヴェルヌから受け継がれたバトン、月面着陸を成功させた。
父しかいない……。宇宙SUGEEE。
ドイツ語といえば、Kugelschreiberですね。Kugelなschreiberですから。
本日たまたま読んでいた『多様性の科学』にエニグマ解読の話が出ていて、勝手にタイムリーな気分になっていました。
(こちらでは、解読に一般のクロスワードオタクが招集された話が載っていて面白かったので興味ある方は是非)
好きなドイツ語
Eigenwert
英語になってもeigenだけは残った ( eigenvalue ) 謎の学術用語
好きなドイツ語はシュパッツ
好きなラテン語はパッセル・モンタヌス
スズメが飛び出て留まらない。
07:00 携帯のメールアドレスは高校時代に設定したウィトゲンシュタインの論理哲学論考の一節（ドイツ語）のままですが、何か？
主題と関係ないが、後ろの棚の高さの差が錯視効果になって、同じような頭の高さに見える。
堀元さんの方が目線付近で棚が低く頭が高く見え、水野さんの方は棚が高く頭部にあるので低く見え、気を抜くと同じくらいの大きさに見える。
。。。と、錯視かなと書き始めてから、より重大な事に気が付いた。今回カメラ傾いてね？ｗ
実際の立って並んだ時に身長差に驚くのも、こういう錯視マジックが積み重なってるんだなとｗ
イッヒリーベディッヒ、強そうですきです
ゲーデルの不完全性定理について、youtubeでは th-cam.com/video/zFML_YmTCWM/w-d-xo.html なんかが、誤解なく学べるのではないかと思います。
また、不完全性定理はチューリングの停止性問題を利用して証明することもできます（詳細はwikipediaなどを参照）。この方法は、堀本さんのように計算機科学を知っておられる方にはなじみやすいのではないでしょうか。(実際、不完全性定理の証明は、まさにコーディングを延々とやっています）
思い出せる、それらしいドイツ語の単語は「Zitterbewegung」くらいですね～
ドイツ語はまだしも、ラテン語、ギリシャ語まで言ってしまったら…
これは逆に、今後タイトルに使われて、未来永劫イジられるフラグなのでは…？
コンピュータのシリコンに家紋刻んだのは嶋パイセンだけじゃなかろうか
ドイツ語でかっこいいと思うのは、男性名でよくある「Wilhelm」ですね～ Wilhelm Furtwänglerとか名前を聴いただけで厨二病にかかると思います。
自分の頭の中ではチューリング→ノイマン→ショックレーの流れかなあ。
「無いことがわかった」の重要性は学校で教えて欲しいですね。
Mr.WF／フルニーチェ水野。名前が増えてなによりです。
冒頭のÜbermenschenは、正しくはÜbermenschですね。
ベーエムベーってカッコいいよね！
シュトュルム！ウンド！ドラーーンク！！
ドイツ語といえば、建築学科方面には「ラーメン構造」という言葉があるらしいです。「トンコツ」とも「家系」とも無関係で、ドイツ語の Rahmen（日本語で「枠」を意味する名詞）からきているそうです。
説明が不正確すぎる。「真の命題は必ず(有限の手続で)証明できるか？」という問いに対して、チューリングマシンというコンピュータの原型のような概念の停止問題を考えることによって、証明不可能な真の命題が存在することを証明した。というのがチューリングの仕事。
「マニュアル」とか「アルゴリズム」を求めていたという説明は見当違い
つめたまる↔︎あつまる
かと思った
14:09 証明可能と言うことは真か偽か定まるということで合ってるのか？
その流れでいくとゲーデルの不完全性定理が発表される以前の人々は命題が必ず真か偽か定まると信じて証明に取り組んでいたはずだし…うん？
Wovon man nicht sprechen kann, darüber muss man schweigen.
ウーバーメンシェンじゃないですか。ユーリカの方をエウレカじゃなくユーにして欲しいです。ウーバーもユーバーと言い始めるかな
ドイツ語？えーっと…
Backpfeifengesicht（拳で殴りたくなる酷い顔🥸
ドイツ語使って厨二病扱いされてる可能性w
複雑な家庭環境で育ったコンピュータ君
足し算に電卓が不要なように、
コンピュータ科学にコンピュータは不要なのだ。
シャイセ！
ツークツワンク
でかい資産を得たで草