Intuitionistic Logic

is a system of symbolic logic that differs from classical logic by replacing the traditional concept of truth with the concept of constructive provability.

Intuition, a phenomenon of the mind, describes the ability to acquire knowledge without inference or the use of reason. The word "intuition" comes from Latin verb intueri translated as consider or from late middle English word intuit, "to contemplate". Intuition is often interpreted with varied meaning from intuition being glimpses of greater knowledge to only a function of mind; however, processe  ...