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

Sense（1）

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

Intuitionistic type theory is based on a certain analogy or isomorphism between propositions and types: a proposition is identified with the type of its proofs. This identification is usually called the Curry–Howard isomorphism, which was originally formulated for intuitionistic logic and simply typed lambda calculus. Type Theory extends this identification to predicate logic by introducing dependent types, that is types which contain values. Type Theory internalizes the interpretation of intuitionistic logic proposed by Brouwer, Heyting and Kolmogorov, the so called BHK interpretation. The types of Type Theory play a similar role to sets in set theory but functions definable in Type Theory are always computable.ᵂᴾ

Google Translation / DeepL Translation