L'Internaute > Expressions > Culture > Logique intuitionniste


Rechercher une expression
 


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 


Rechercher une expression
 




Encyclopédie des expressions | Contact