2016/03/14

物理科学における発展をあっというまにパクって...

「ニセ医療は、物理科学における発展をあっというまにパクって、生物学的効果の話に悪用する。100年前はラジウム。ラジウムと同じくらい古い「量子」は今もニセ医療屋「量子ヒーラー」たちに悪用されている。
もちろん「E=MC^2」もホメオパスのアフォネタに使われる。そして直近は「重力波」。

このようなクソのようなアフォネタが垂れ流され続けるのは、それが銭儲けに役立つからに他ならない。「我々」の間では、笑いものになったが、「彼ら」の間ではそうではないからだ。

そして、それらと並んで、ニセ医療屋やニセ科学屋が好むネタに、ゲーデルの不完全性定理がある。もちろん、彼らの不完全性定理もポエティックあるいはスピルチュアルなメタファーで、元々の意味など欠片も残っていない。
Some people get tempted to use Gödel's theorem as an escape hatch for their own pet theories that they consider "true but unprovable". Math cannot prove everything, therefore logical discussion of God is futile, so there! However, Gödel's theorem has a precise mathematical formulation, and so do the mathematical concepts of logical truth and provability; to even consider the truth or provability of a statement, it first needs to be formalized in the language of mathematical logic. "God", as an idea grounded in our imprecise maps of the real world, is clearly not a well-defined logical formula whose truth or falsehood is even meaningful to consider as a consequence of purely mathematical theories. This argument falls into not even wrong territory.

「正しいが証明不可能」と考えるお気に入りの理論のための脱出口として、ゲーデルの定理を使いたがる人々がいる。数学はすべてを証明できるわけではなく、したがって神の論理的議論は意味がない。さあ、どやあ! しかし、ゲーデルの定理は正確な数学的形式を持っており、論理的正しさと証明可能性についての数学概念を持っている。ステートメントの正しさや証明可能性を論じるだけでも、まず数学論理の記述で、定式化しなければならない。リアルワールドの不正確なマップ上に位置する考えである「神」は、純数学理論の帰結として考えるために、真偽が有意味になるように、明確に定義された論理定式でないことは明らかだ。この種の論は、「間違ってすらいない」論でしかない。

[Rationalwiki: Gödel's incompleteness theorems"]
数学者David Joyceは、エグゼクティブサマリーを読んで誤解する人々が多いという点を指摘しつつ...
People are romantics. They desire the unknown and the unknowable. They seek mysteries. The incompleteness theorems say something like "there's something that's true but we can't know it." The theorems justify their desire for mystery, and they latch on to them. Nonetheless, the incompleteness theorems don't apply outside of formal mathematics.

人はロマンティックだ。人は未知や知りえないことを求める。人は謎を求める。不完全性定理は「正しいが、知りえないことがある」というような感じのことを言っている。定理は、謎への欲求を正当化する。人はそれにしがみつく。しかし、不完全性定理は、数学定式化の外側には適用できない。

[David Joyce: Answer #1Why are Gödel's incompleteness theorems so misunderstood and abused?]
posted by Kumicit at 2016/03/14 09:03 | Comment(0) | TrackBack(0) | Others | このブログの読者になる | 更新情報をチェックする
この記事へのコメント
コメントを書く
お名前:

メールアドレス:

ホームページアドレス:

コメント: [必須入力]

この記事へのトラックバックURL
http://blog.seesaa.jp/tb/434909930
※言及リンクのないトラックバックは受信されません。

この記事へのトラックバック