検索結果- 英語 - 英語

検索内容:

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.

Google翻訳 / DeepL翻訳

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

詳細

intuitionistically

副詞

比較不可

In an intuitionistic way.

日本語の意味

直感主義的に

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

intuitionist

名詞

A person who studies intuitionistic mathematics

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

intuitionists

名詞

活用形複数形

plural of intuitionist

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

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.

Google翻訳 / DeepL翻訳

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

詳細

intuitionistic logics

名詞

活用形複数形

plural of intuitionistic logic

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

Webで検索する