検索結果- 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

intuitionistic

intuitionistic

比較不可

(mathematics, logic) Dealing strictly in constructive proofs, abstaining from proof by contradiction

日本語の意味

数学や論理学の分野で、構成的証明（実際に具体例や手続きを示す証明）に限定し、背理法などによる非構成的手法を用いない性質や立場を示す

このボタンはなに？

Her intuitionistic approach to the proof avoided any appeal to contradiction, focusing instead on explicit constructions.

彼女の直観主義的なアプローチは背理法に訴えることを避け、代わりに明示的な構成に焦点を当てた。

intuitionistically

比較不可

In an intuitionistic way.

日本語の意味

直感主義的に

このボタンはなに？

He interpreted the theorem intuitionistically, rejecting proofs that rely on the law of excluded middle.

彼はその定理を直観主義的に解釈し、排中律に依存する証明を否定した。

intuitionist

A person who studies intuitionistic mathematics

日本語の意味

直観主義数学を研究する人

このボタンはなに？

The intuitionist presented a novel proof that avoids the law of excluded middle.

その直観主義数学の研究者は、排中律を用いない新しい証明を発表した。

関連語

intuitionists

（ plural ）

intuitionists

活用形複数形

plural of intuitionist

日本語の意味

「intuitionists」は『intuitionist』の複数形です。『intuitionist』は通常、直観主義者、つまり直観主義を信奉または実践する人を指します。

このボタンはなに？

At the conference, intuitionists debated whether mathematical truth is discovered or created.

学会で、直観主義者たちは数学的真理が発見されるのか創造されるのかについて議論した。

intuitionistic logic

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

日本語の意味

直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。

このボタンはなに？

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.

セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。

関連語

intuitionistic logics

（ plural ）

intuitionistic logics

活用形複数形

plural of intuitionistic logic

日本語の意味

直観主義論理の複数形、すなわち複数の直観主義論理体系を指す。

このボタンはなに？

Graduate students in the department studied a range of intuitionistic logics to prepare for the logic seminar.

学部院生たちは論理のゼミに備えて、直観主義論理の諸体系を幅広く学んだ。

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★