Esta lógica rechaza la ley del tercero excluido
La lógica intuicionista de Heyting desafía el razonamiento clásico. Rechaza la ley del tercero excluido. Exige pruebas constructivas para verdades matemáticas. Influye en campos como la informática.
La lógica clásica dice que una afirmación es verdadera o falsa. Pero la lógica intuicionista de Heyting no está de acuerdo. Arend Heyting la desarrolló en los años 30. Este sistema exige una prueba constructiva para cualquier verdad matemática. Sin ella, una afirmación y su opuesto no pueden asumirse como verdaderas. Esta idea se inspira en el intuicionismo de L.E.J. Brouwer. Ve las matemáticas como una construcción mental. Promueve estándares rigurosos, evitando suposiciones sin base. Por ejemplo, la conjetura de Goldbach sigue sin probarse en lógica intuicionista. Esto es así hasta que se encuentre una prueba. Esta lógica también influye en la informática. Sustenta programas que son demostrablemente correctos.