この曲には気分を落ち着かせるヒーリング効果もあるとされ、例えば病院における血圧測定中に心身の緊張をほぐすBGMとして流されたり、精神科などでは音楽療法の治療の一環として使用されることもある。また、演劇やTV番組の静かな場面でのBGMとして流されることも多い。
数学基礎論
概要.
他.
歴史.
論理主義は、数学を論理学の上に基礎づける立場で、フレーゲの独創的な仕事に始まる。実は、ラッセルのパラドックスはフレーゲによる論理体系の矛盾を指摘したものであったが、その後、ラッセルは『数学原理』によってラッセルのパラドックスも解決する。
しかし、そこに用いられた公理は、もはや論理的に自明とはいえず、本来の数学の基礎付けの目的を達成したとはいえないものとなった。
直観主義は、数学的な対象や真理が、精神活動によって直接とらえられるものとする立場で、ブラウワーが提唱した。彼は数学における構成的方法を重視したが、そのため排中律の無制限な使用が不当であると非難した。たとえば、「自然数の狭義減少数列は、かならずある項で最小値をとる」という定理は、「自然数の狭義減少数列で、どの項をとってもその先により小さい項をもつものがある」という前提から矛盾を導くことで証明されるが、一方、任意の自然数の狭義減少数列に対して、どの項が最小値となるか具体的に構成する方法があるわけではない。したがって、直観主義の立場では「自然数の狭義減少数列は、かならずある項で最小値をとる」とはいえず、「自然数の狭義減少数列は、かならずある項で最小値をとることがないとはいえない」と二重否定の形で述べざるを得ないことになる。排中律を制限した非古典論理としての直観主義論理に基づく数学は、通常の排中律を認める古典論理に基づく数学とは異なる形のものとなる。