¡Más rápido que el navegador!
14 relaciones: Arend Heyting, Constructivismo (matemática), Contradicción, David Hilbert, Intuicionismo, Lógica clásica, Lógica modal, Lógica proposicional, Luitzen Egbertus Jan Brouwer, Principio de explosión, Principio del tercero excluido, Semántica, Sistema formal, Valor de verdad.
Arend Heyting
Arend Heyting (9 de mayo de 1898 en Ámsterdam - † 9 de julio en 1980 en Lugano, Suiza) fue un matemático especializado en lógica.
¡Nuevo!!: Lógica intuicionista y Arend Heyting · Ver más »
Constructivismo (matemática)
En filosofía de las matemáticas, el constructivismo o escuela constructivista requiere para la prueba de la existencia de un objeto matemático, que este pueda ser encontrado o «construido».
¡Nuevo!!: Lógica intuicionista y Constructivismo (matemática) · Ver más »
Contradicción
En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones.
¡Nuevo!!: Lógica intuicionista y Contradicción · Ver más »
David Hilbert
David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.
¡Nuevo!!: Lógica intuicionista y David Hilbert · Ver más »
Intuicionismo
En filosofía de las matemáticas, el intuicionismo o neointuicionismo (contrario a preintuicionismo) es una aproximación a las matemáticas que considera todo objeto matemático como producto de la mente humana.
¡Nuevo!!: Lógica intuicionista e Intuicionismo · Ver más »
Lógica clásica
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.
¡Nuevo!!: Lógica intuicionista y Lógica clásica · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Lógica intuicionista y Lógica modal · Ver más »
Lógica proposicional
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Lógica intuicionista y Lógica proposicional · Ver más »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer (por lo general citado como L.E.J. Brouwer y conocido entre sus amigos como Bertus) (27 de febrero de 1881 - 2 de diciembre de 1966), fue un matemático y filósofo holandés, que trabajó en topología, teoría de conjuntos, teoría métrica y análisis complejo.
¡Nuevo!!: Lógica intuicionista y Luitzen Egbertus Jan Brouwer · Ver más »
Principio de explosión
El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición.
¡Nuevo!!: Lógica intuicionista y Principio de explosión · Ver más »
Principio del tercero excluido
El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.
¡Nuevo!!: Lógica intuicionista y Principio del tercero excluido · Ver más »
Semántica
El término semántica se refiere al estudio de diversos aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales.
¡Nuevo!!: Lógica intuicionista y Semántica · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Lógica intuicionista y Sistema formal · Ver más »
Valor de verdad
En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
¡Nuevo!!: Lógica intuicionista y Valor de verdad · Ver más »
Redirecciona aquí:
Logica Intuicionista, Logica intuicionista, Lógica Intuicionista.
