14 relaciones: Algoritmo, Aritmética de Heyting, Axioma, Conjetura de Goldbach, Cuantificador, Filosofía de las matemáticas, Intuicionismo, Luitzen Egbertus Jan Brouwer, Nicolas Bourbaki, Objeto matemático, Platonismo matemático, Principio del tercero excluido, Realismo filosófico, Reductio ad absurdum.
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Constructivismo (matemática) y Algoritmo · Ver más »
Aritmética de Heyting
En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista.
¡Nuevo!!: Constructivismo (matemática) y Aritmética de Heyting · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Constructivismo (matemática) y Axioma · Ver más »
Conjetura de Goldbach
En teoría de números, la conjetura de Goldbach es uno de los problemas abiertos más antiguos en matemáticas.
¡Nuevo!!: Constructivismo (matemática) y Conjetura de Goldbach · Ver más »
Cuantificador
En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden).
¡Nuevo!!: Constructivismo (matemática) y Cuantificador · Ver más »
Filosofía de las matemáticas
La filosofía de las matemáticas es un área de la filosofía teórica que trata de comprender y explicar los requisitos, el objeto, el método y la naturaleza de las matemáticas.
¡Nuevo!!: Constructivismo (matemática) y Filosofía de las matemáticas · 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!!: Constructivismo (matemática) e Intuicionismo · 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!!: Constructivismo (matemática) y Luitzen Egbertus Jan Brouwer · Ver más »
Nicolas Bourbaki
Nicolas Bourbaki es el nombre colectivo de un grupo de matemáticos franceses que, en los años 1930, se propusieron revisar los fundamentos de la matemática con una exigencia de rigor mucho mayor que la que entonces era moneda corriente en esta ciencia.
¡Nuevo!!: Constructivismo (matemática) y Nicolas Bourbaki · Ver más »
Objeto matemático
Un objeto matemático es un objeto abstracto estudiado en matemáticas.
¡Nuevo!!: Constructivismo (matemática) y Objeto matemático · Ver más »
Platonismo matemático
En filosofía de las matemáticas, el platonismo matemático o realismo matemático es una corriente de pensamiento que afirma que los objetos matemáticos (números, figuras geométricas, funciones, etc.) no son simples invenciones humanas, sino objetos abstractos que existen por sí mismos, independientemente de la mente humana, es decir, que los objetos y teoremas matemáticos existen en forma aislada del mundo material e independientemente del espacio y del tiempo.
¡Nuevo!!: Constructivismo (matemática) y Platonismo matemático · 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!!: Constructivismo (matemática) y Principio del tercero excluido · Ver más »
Realismo filosófico
En metafísica, el realismo filosófico es aquella postura que manifiesta que los objetos tienen una existencia independiente del sujeto que lo observa.
¡Nuevo!!: Constructivismo (matemática) y Realismo filosófico · Ver más »
Reductio ad absurdum
Reductio ad absurdum, expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas para demostrar la validez (o invalidez) de proposiciones categóricas.
¡Nuevo!!: Constructivismo (matemática) y Reductio ad absurdum · Ver más »
Redirecciona aquí:
Constructivismo (matematicas), Constructivismo (matemáticas).