ブラウザよりも高速アクセス！
10 関係: なぞなぞ、停止性問題、チューリングマシン、バートランド・ラッセル、ラッセルのパラドックス、パラドックス、イギリス、ゲーデルの不完全性定理、ジョーク、落ち。
なぞなぞ
なぞなぞ（謎謎、なぞ）は、問いかけに対して、とんちを利かせた答えを要求する言葉遊びを用いたクイズである。ただし普通のクイズとは違って正解は事実に基づくものではなく、言葉の意味をこじつけた駄洒落・洒落が多い。韻を踏んでいたり、何かに見立てられたりする。転じて、言葉によって婉曲的にわからせる事についてもなぞなぞという。.
新しい！!: 床屋のパラドックスとなぞなぞ · 続きを見る »
停止性問題
計算可能性理論において停止(性)問題（ていしせいもんだい・ていしもんだい、halting problem）は、あるチューリング機械（≒コンピュータプログラム・アルゴリズム）が、そのテープのある初期状態（≒入力）に対し、有限時間で停止するか、という問題。アラン・チューリングが1936年、停止性問題を解くチューリング機械が存在しない事をある種の対角線論法のようにして証明した。すなわち、そのようなチューリング機械の存在を仮定すると「自身が停止すると判定したならば無限ループを行い、停止しないと判定したならば停止する」ような別のチューリング機械が構成でき、矛盾となる。.
新しい！!: 床屋のパラドックスと停止性問題 · 続きを見る »
チューリングマシン
チューリングマシン (Turing Machine) は計算模型のひとつで、計算機を数学的に議論するための単純化・理想化された仮想機械である。.
新しい！!: 床屋のパラドックスとチューリングマシン · 続きを見る »
バートランド・ラッセル
3代ラッセル伯爵、バートランド・アーサー・ウィリアム・ラッセル（Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS、1872年5月18日 - 1970年2月2日）は、イギリスの哲学者、論理学者、数学者であり、社会批評家、政治活動家である。ラッセル伯爵家の貴族であり、イギリスの首相を2度務めた初代ラッセル伯ジョン・ラッセルは祖父にあたる。名付け親は同じくイギリスの哲学者ジョン・スチュアート・ミル。ミルはラッセル誕生の翌年に死去したが、その著作はラッセルの生涯に大きな影響を与えた。生涯に4度結婚し、最後の結婚は80歳のときであった。1950年にノーベル文学賞を受賞している。.
新しい！!: 床屋のパラドックスとバートランド・ラッセル · 続きを見る »
ラッセルのパラドックス
ラッセルのパラドックス（Russell's paradox）とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡における、フレーゲの『算術の基本法則』における矛盾を指摘する記述に表れる。これは1903年に出版されたフレーゲの『算術の基本法則』第II巻（Grundgesetze der Arithmetik II）の後書きに収録されている。同じパラドックスはツェルメロが1年先に発見していたが、彼はその発見を公開せず、ヒルベルトやフッサールなどのゲッティンゲン大学の同僚たちだけに知られているだけだった。 ラッセルが型理論（階型理論）を生み出した目的にはこの種のパラドックスを解消するということも含まれていた。.
新しい！!: 床屋のパラドックスとラッセルのパラドックス · 続きを見る »
パラドックス
パラドックス（）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。.
新しい！!: 床屋のパラドックスとパラドックス · 続きを見る »
イギリス
レートブリテン及び北アイルランド連合王国（グレートブリテンおよびきたアイルランドれんごうおうこく、United Kingdom of Great Britain and Northern Ireland）、通称の一例としてイギリス、あるいは英国（えいこく）は、ヨーロッパ大陸の北西岸に位置するグレートブリテン島・アイルランド島北東部・その他多くの島々から成る同君連合型の主権国家である。イングランド、ウェールズ、スコットランド、北アイルランドの4つの国で構成されている。 また、イギリスの擬人化にジョン・ブル、ブリタニアがある。.
新しい！!: 床屋のパラドックスとイギリス · 続きを見る »
ゲーデルの不完全性定理
ーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
新しい！!: 床屋のパラドックスとゲーデルの不完全性定理 · 続きを見る »
ジョーク
ョーク（joke）または冗談（じょうだん）は聞き手や読み手を笑わせたり、ユーモアを感じさせる小咄や短い文の事。日本語では音と意味の近い冗句（じょうく）と当て字されることがある。ここでいう「ジョーク」は、悪ふざけ (practical joke) とは異なる。.
新しい！!: 床屋のパラドックスとジョーク · 続きを見る »
落ち
落ち（おち）とは、笑い話など物語の結末のこと。多くの場合おかしみのある部分だが怪談などの結末も指すため一概には言えない。下げ（さげ）とも言う。 演者が下げると客が落ちるという関係にあり、厳密には下げには演者の技量も含まれる。.
新しい！!: 床屋のパラドックスと落ち · 続きを見る »
