ゲーデルと思想まわりの用語について

はやし @t_hayashi

@tsuruba ということは、そもそも「ゲーデル」という名前を使うこと自体に意味がないのではないですか？

蔓葉信博🌿 @tsuruba

パラオ語で「疲れなおす（意味：一杯飲んでいく？）」が、日本語として間違っていると指摘しても、たいていのパラオの人々は、そんなん知らないよ、と思うだけでしょう。

スマートコン @mr_konn

不完全性定理に関しては、数学科出たと称する人でも、華麗に誤解してることも多々あるし、医学部出てる日本の頭脳とでも云うべき層のひとがトンデモ本を物したりしている。てか、不完全性定理いがいの話題にも触れるべきだろうと……

はやし @t_hayashi

えーと、この擁護の仕方はいかにも苦しいと思うのですが。RT @tsuruba: パラオ語で「疲れなおす（意味：一杯飲んでいく？）」が、日本語として間違っていると指摘しても、たいていのパラオの人々は、そんなん知らないよ、と思うだけでしょう。

はやし @t_hayashi

@tsuruba いえ、自ら蒔いた種（ネタ？）ですので。

Kojima @t33f

論理学の基礎をおさえないでいきなり不完全性定理やろうとすると階段を踏み外して転げ落ちますね

蔓葉信博🌿 @tsuruba

覚悟を決めよう。ちょっと準備します。

はやし @t_hayashi

おれが周期的に（いわゆる）人文系の学問における数学・自然科学用語濫用をちくちく批判するのは、ひとえに、そういう挙措は当の学問のためにまったくなっておらず、ぎゃくにその信憑性を低める結果にもなるので、もったいないなあ、と思うからこそなのだ。ほんとだよ。

@h_kagami

やっぱりゲーデル人気あるなあ。

@h_kagami

みんなこんなにゲーデル大好きなんだから L の勉強しましょう。

Üe🦀 @ranha

はじめてのGodel's System T

はやし @t_hayashi

「人文系」と呼ばれる学問は、それ自体としてじゅうぶんおもしろく興味ぶかいことをやっているのだから、わざわざ数学や自然科学の何やかんやを権威づけに使う必要なんてさらさらないのに。

スマートコン @mr_konn

Gödel が独語表記で Goedel が英語表記なのかな？

はやし @t_hayashi

T があったか！ RT @t33f: そうだ Goedel といえば System T

@h_kagami

完全性定理もよろしくお願いいたします。

はやし @t_hayashi

そして、T と言えば Proofs and Types。http://bit.ly/cz5NSw

スマートコン @mr_konn

そうそう！Gödel の 完全性定理によれば、論理は完全だからミステリの人は安心していいですよ！(典型的なトンデモ論調

はやし @t_hayashi

@mr_konn いえ、じゅんすいにドイツ語の文脈でも、何らかの理由でウムラウトが入力できない場合は、ウムラウトが付くべき文字のあとに e を添記したりします。

@h_kagami

でも完全性定理と関連が深いスコーレム項という考えは集合論で究めて重要です。RT @rakazawa: 確かに影うすいかも QT @h_kagami 完全性定理もよろしくお願いいたします。

はやし @t_hayashi

え、影うすいの？　何かショック。RT @rakazawa: 確かに影うすいかも QT @h_kagami 完全性定理もよろしくお願いいたします。

はやし @t_hayashi

完全性定理とスコーレムの仕事のからみとか、とってもおもしろいのに！

蔓葉信博🌿 @tsuruba

.@t_hayashi お待たせしました。えっとちょっと議論を整理するためにも質問に答える形で。

蔓葉信博🌿 @tsuruba

これは基本ラインでＯＫなのですが、その前に、当学問内での濫用の度合いを誰が測るかが問題になります。 RT @t_hayashi おれが周期的に（いわゆる）人文系の学問における数学・自然科学用語濫用をちくちく批判する……

はやし @t_hayashi

@tsuruba どうぞ蔓葉さんのペースでゆっくりやってください。

蔓葉信博🌿 @tsuruba

@t_hayashi ありがとうございます。