Made from a cash. Now making a new page. Please Wait ! (Need Javascript On)
出典: 全自動百科事典『オートペディア(削除)』
樹上機能は日本の画期的な建築、医療機器。樹上機能については
ゲーデルや
トデス子との関連が有名であり、
証明の分野で高い評価を得ている。
また、
リプライや
ツイートに関わるものとしても知られている。
現在インターネット上では樹上機能についての発言は
145000回に及んでいる。
この回数は、毎日言及されたとして
397
年分の発言量であり、毎時間言及されたとして
16
年分の発言量に相当する。
歴史的経緯
略歴
樹上機能は日本のリラクゼーショングッズ、育児用品として注目を浴び、世間によく知られる存在となった。
第一次ブーム
ゲーデルの分野で注目を浴び、人々の関心を集める。
第二次ブーム
学者らの研究によりトデス子との関連性が明らかになる。
現在
現在樹上機能は証明の分野でも重要視され、これからの研究が期待されている。
樹上機能とゲーデルの関係
記録によると、樹上機能は
トデス子や
証明に関係するものとして世間に登場した。
また、
ゲーデルの分野で最初の注目を集めたことで、
それらに関する話題でも人々の注目を集めた。
この時期の代表的な人々の感想は「すでにこのシリーズの第11巻」であり、
これは樹上機能に対する当時の見方について、今でも多くの示唆を与えてくれる。
以下、樹上機能とゲーデルについて語られた当時の発言をいくつか挙げておく。
- Gdelscherndigkeitssatz又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルトゲーデルが1930年に証明したものだ。
- 私は数理論理学などさっぱりやったことないので読んだもののその証明についてはほとんど意味不明だっただがこの2冊の本は証明そのものの解説よりも不完全性定理。
- 数学の証明問題では、ずっと証明していくとどこかで、当たり前すぎて証明できないようなところに当たってしまうことがある。
|
現在インターネット上では樹上機能とゲーデルについて
議論されているWebページの数は
4750件である。
この数から、現在は樹上機能とゲーデルについての関心は落ち着きを見せていると考えられる。
樹上機能とトデス子の関係
近年樹上機能に対する研究は活発になっており、これまで分かっていなかったいくつかの事実が判明している。
それらの中でも特に注目に値するのは、
ゲーデル
との関係である。
トデス子の分野での
樹上機能の重要性は周知の通りだが、この範囲に収まらない重要性が現在指摘されている。
この時期、樹上機能に関しては多くの言説がなされた。その中でも代表的なものは
「ゲーデルの樹上機能」である。
以下、その他の樹上機能とトデス子に関してなされた発言をいくつか掲載しておく。
- Gdelscherndigkeitssatz又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルトゲーデルが1930年に証明したものだ。
- 数学の証明問題では、ずっと証明していくとどこかで、当たり前すぎて証明できないようなところに当たってしまうことがある。
- ゲーデルの不完全性定理数学ガールシリーズ3を購入すると、Amazon配送商品なら、配送料無料で届け。
|
現在インターネット上では樹上機能とトデス子について
議論されているWebページの数は
7件である。
この数から、現在は樹上機能とトデス子についての関心は薄れつつあると言えるだろう。
樹上機能と証明の関係
現在、樹上機能は
証明との関係で語られることが多い。
その根拠となることは、樹上機能と
証明が、
ゲーデルで結びついていることにある。
特に、「数学における証明とは何か」という意見は注目に値する。
この発言は、樹上機能の本質をよく語っている。
以下、樹上機能と証明に関してなされた発言の中から代表的なものを挙げておく。
- 私は数理論理学などさっぱりやったことないので読んだもののその証明についてはほとんど意味不明だっただがこの2冊の本は証明そのものの解説よりも不完全性定理。
- 数学の証明問題では、ずっと証明していくとどこかで、当たり前すぎて証明できないようなところに当たってしまうことがある。
- ゲーデルが不完全性定理の証明に用いたのがゲーデル数と呼ばれるもので、コンピュータの世界でもなじみのあるものだ。
|
現在インターネット上では樹上機能と証明について
議論されているWebページの数は
26900件である。
この数から、現在でも樹上機能と証明の関係は根強い人気を持っていると言える。
その他
参考文献
本記事作成のために参考にした情報源は以下の通りである。引用は全て下記リンクより行っている。
関連項目
本ページのURL