Skip to main content
Glite Dictionary
🤔 Based on feeling 📐 About math theory
intuitionistic

intuitionistic

9.9
A kind of math logic that uses direct reasoning instead of classical logic
  • adjective
  • /ˌɪntuˈɪʃənɪstɪk/
translation icon : intuicionista
  • Curry-Howard connects simply typed lambda calculus with the intuitionistic calculus of sequents.

Examples

  • David Pearce showed that the answer set semantics can be elegantly captured by a non-monotonic variant of the logic of here and there, a logic located between intuitionistic and classical logic.

    Academic text (2011)

  • Are there intuitionistic logic, paraconsistent logic, classical logic, fuzzy logics anyway.

  • Mathematical proofs can sometimes be approached with intuitionistic logic instead of classical logic.

  • In intuitionistic mathematics, a statement is only considered true if it can be proven constructively.

  • The conference included a discussion on intuitionistic methods as alternatives to traditional proof techniques.

Synonyms

intuitionist
vsintuitionistic
  • Formal
9.9

About the belief that mathematical truths come from a person's inner sense not formal rules

is a general theory-like approach in mathematics and logic based on intuition
intuitional
vsintuitionistic
  • Formal
7.7

Acting by following a feeling rather than careful thinking

is a formal mathematical or logical theory rather than simple personal insight

Antonyms

systematic
66 4.6

Done in a careful planned way

formalistic
1 8.8

Following strict rules and fixed forms, especially in art or ceremonies

Surface Forms

intuitionistic positive

Morphology

intuitionistic = intuition (semi-transparent) = intuition + istic

Formally derived from 'intuition' + '-istic', but in mathematics/logic it denotes relation to the specific doctrine of intuitionism, a technical sense that may not be obvious to general learners.

Etymology

Intuitionistic comes from intuition, which means 'a quick, inner knowing', and in mathematics it names a way of thinking that only accepts things you can 'build' or 'show' directly. So intuitionistic in logic means using proofs that give a clear, direct way to reach a result rather than relying on indirect assumptions.