Search results- English - English

Keyword:

intuitionistically

Adverb

not-comparable

In an intuitionistic way.

Japanese Meaning

直感主義的に

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

intuitionist

Noun

A person who studies intuitionistic mathematics

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

intuitionists

（ plural ）

Details

intuitionistic

Adjective

not-comparable

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

intuitionists

Noun

form-of plural

plural of intuitionist

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

intuitionistic logic

Noun

(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.

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

intuitionistic logics

（ plural ）

Details

intuitionistic logics

Noun

form-of plural

plural of intuitionistic logic

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Search by Web