Search results- English - English

Keyword:

Girard's paradox

Proper noun
Japanese Meaning
数学的論理学における特定のパラドックス。 / 集合論におけるラッセルのパラドックスに相当する、型理論に基づくパラドックス。
What is this buttons?

ジラールが指摘した逆説は、特定の型生成操作を許すといくつかの型システムで矛盾が生じることを示しています。

Epimenides paradoxes

Noun
form-of plural
Japanese Meaning
「Epimenides paradoxes」は「Epimenides paradox」の複数形、すなわちエピメニデス逆説の複数を指します。
What is this buttons?

ゼミで教授は自己言及の問題を説明するためにエピメニデスの逆説を用いた。

hangman paradox

Noun
Japanese Meaning
予期せぬ処刑の逆説 / 予想外の絞首刑の逆説
What is this buttons?

哲学の学生は論理学のセミナーでしばしば予期せぬ処刑の逆説を議論する。

Epimenides paradox

Noun
Japanese Meaning
エピメニデスの逆説:エピメニデスが自らがクレタ人であるにもかかわらず『全てのクレタ人は嘘つき』という自己言及的な声明により生じる論理的矛盾やパラドックス。
What is this buttons?

哲学の学生たちは、あるクレタ人が『すべてのクレタ人は嘘つきだ』と主張するという自己言及的な逆説(エピメニデスの逆説)が真理の概念を本当に揺るがすかどうかを議論した。

Related Words

plural

Löb's paradox

Proper noun
Japanese Meaning
カリーのパラドックスの同義語
What is this buttons?

講義で教授は、カリーのパラドックスに相当する逆説と形式的証明可能性への影響について説明した。

paradox of fiction

Noun
Japanese Meaning
虚構に対する逆説:人は実際に存在すると信じる対象に対してのみ感情が動かされるはずなのに、虚構の出来事にも感情的反応を示すという矛盾。 / 虚構に関する哲学的パラドックス:虚構であると認識しながらも、感情的な動揺を覚えるという、存在と認知との関係における論理的なジレンマ。 / フィクションの逆説:虚構と知りながらも、感情的な影響を受けるという現象に内在する、理論上の矛盾点を指す。
What is this buttons?

哲学者たちはしばしば虚構に関する逆説について議論する。というのもそれは、私たちが作り物だと分かっている出来事に対してなぜ本当の感情を抱くのかを問いかけるからだ。

Related Words

plural

Curry's paradox

Proper noun
Japanese Meaning
素朴集合論や素朴論理体系におけるパラドックスであり、自己言及的な文と一見無害な論理的演繹規則を用いることで、任意の命題が導出されうる問題を示すパラドックス。
What is this buttons?

カリーの逆説は、一見無害な自己言及的な文が論理体系全体を退化させてしまう仕組みを示している。

Parrondo's paradox

Proper noun
Japanese Meaning
ゲーム理論におけるパラドックス。個々の戦略(例えば、二種類のゲームを交互に行うなど)が、それぞれ単独では負けにつながるにもかかわらず、組み合わせることで全体として勝利をもたらす現象
What is this buttons?

研究者たちは、個別には負けになる2つのゲームを交互に行うことで全体として勝てることがあるというゲーム理論上の逆説を利用して、2つの負けるゲームを勝てるものに変える戦略を設計した。

birthday paradox

Noun
Japanese Meaning
無作為に選ばれた集団において、23人ほどで50%以上の確率で誰かの誕生日が重なるという、直感に反する統計学の現象
What is this buttons?

授業で誕生日のパラドックス、つまり無作為に集めたわずか23人のグループでも2人が同じ誕生日である確率が約50%になるという直感に反する事実を説明したとき、学生たちは驚きました。

Blub paradox

Proper noun
Japanese Meaning
プログラマーが、自分が得意とする言語に対する基準を持つ結果、機能がシンプルな言語は必要な重要機能に欠けると感じ、逆に高機能な言語は不要または奇妙な機能が付加されていると感じる現象を指す。 / 自分の熟知している言語を基準とし、機能が控えめな言語は不十分と見なし、過剰な機能を持つ言語に対しては余計または稚拙な設計がされていると評価するプログラマー心理の一種
What is this buttons?

彼は、自分の使う言語より性能の低いプログラミング言語を本質的に劣ったものと見なす傾向を例に挙げて要点を説明した。

Related Words

canonical

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★