カリーのパラドックス（英: Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されることを示す。名称の由来は論理学者のハスケル・カリーから。 ドイツの数学者マルティン・フーゴー・レープ（Martin...

para-:反対の + δόξα, dóxa: 意見）。有名なものに、自己言及のパラドックス、リシャールのパラドックス、ベリーのパラドックスがある。 以下、辞書における定義を引用する： 一般に容認される前提から、反駁しがたい推論によって、一般に容認し難い結論を導く論説を逆理（パラドックス...

哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。...

ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡においてフレーゲの『算術の...

であると仮定してもいずれも矛盾を生じる。 カリーのパラドックス X = {a | ( a ∈ X ) → Y} という集合を考える。いかなるYも真となるため、結果として矛盾を生じる。 リシャールのパラドックス ベリーのパラドックス ただし、ツェルメロの公理的集合論では内包公理は以下の...

ハスケル・ブルックス・カリー（Haskell Brooks Curry、1900年9月12日 - 1982年9月1日）は、アメリカの数学者、論理学者。 マサチューセッツ州ミリスで教育者サミュエル・サイラス・カリーの子として生まれる。ハーバード大学を卒業後、1930年、ゲッティンゲン大学でダフィット・ヒルベルトに師事し、博士号を得た。...

親殺しのパラドックス（おやごろしのパラドックス）は、タイムトラベルにまつわるパラドックスで、SF作家ルネ・バルジャベルが1943年の著作 Le Voyageur Imprudent（軽はずみな旅行者）で最初に（この正確な形式で）描いた。英語では grandfather paradox（祖父のパラドックス...

ジェボンズのパラドックス（英語: Jevons paradox）とは、技術の進歩により資源利用の効率性が向上したにもかかわらず、資源の消費量は減らずにむしろ増加してしまうというパラドックス。1865年、イギリスの経済学者ウィリアム・スタンレー・ジェヴォンズが著書『石炭問題』の中で、技術の...

1975年9月には、その後何十年にもわたって使用された1968年のロゴのデザインを踏襲し、ブルーの濃淡でシンプルなロゴに変更した。パラマウント・テレビジョンでは、1968年からこのロゴを使用していた。 1986年12月には、湖と星をCGで表現した全く新しいロゴを発表した。このバージョンのパラマウントの...

seidosha.co.jp/index.php?9784791767526。  ジム・アル＝カリーリ「第1章 クイズ番組のパラドックス」『物理パラドックスを解く』松浦俊輔 訳、SBクリエイティブ、2013年3月7日。ISBN 978-4-7973-6937-3。http://www...

カントールの理論およびその他の非形式的システムの初期・後期版。 ラッセルのパラドックスを生み出したフレーゲの理論や、ジュゼッペ・ペアノとリヒャルト・デーデキントの理論など、明らかに矛盾した理論（公理的かどうかにかかわらず）。 任意の性質を用いて、制限なしに集合を構築できるという仮定は、パラドックス...