Logique intuitionniste"

Signification

Concept philosophique et mathématique basé sur l'intuition.

Origine

Définie par le mathématicien Jan Brouwer, et formalisée par son élève Arend Heyting, la logique intuitionniste est un concept philosophique appliqué aux mathématiques, alternative à la logique classique. Son nom lui vient de son principe même, basé sur l'intuition.

Expression suivante : Logique modale

Envoyer à un ami |

Imprimer

Haut de page

Encyclopédie des expressions | Contact

Expression du Jour

à qui mieux mieux"
Signification : En cherchant à faire mieux que les autres.
Origine : Expression datant du XIIIe siècle, sous la forme "qui mieux mieux", elle ne gagne son "à" qu'au XVe. Orale et populaire, sa première trace écrite remonte au XIXe, dans un dictionnaire qui explique sa forme elliptique et donne sa phrase d'origine : "Nous vous aimons à ce point de telle façon que celle qui de nous deux vous aime déjà mieux que l'autre vous aime encore mieux".
Toutes les expressions

Expressions du Jour

"Affirmer son point de vue"

"Aménager un logement"

"Caracoler en tête"

"Cercle d'amis"

"Coopérer avec la police"

"Etre au bord des larmes"

"Evolue avec lenteur"

"Imposer une obligation"

"Outil stratégique."

"Plaisir visuel."