¡Más rápido que el navegador!
42 relaciones: Alfred North Whitehead, Análisis matemático, Antinomia, Aritmética, Axioma, Axioma de elección, Bertrand Russell, Bien definido, Conjunto bien ordenado, Consistencia (lógica), David Hilbert, Demostración en matemática, Entscheidungsproblem, Estructura de datos, Filosofía de las matemáticas, Fundamentos de las matemáticas, Georg Cantor, Gerhard Gentzen, Gottlob Frege, Hermann Weyl, Infinitesimal, Infinito, Kurt Gödel, Lógica matemática, Lenguaje, Lenguaje formal, Número natural, Objeto matemático, Paradoja, Paradoja de Russell, Proposición, Regla de inferencia, Revisión por pares, Rigor matemático, Semántica, Sintaxis, Teoría de conjuntos, Teoría de la computabilidad, Teoría de modelos, Teoremas de incompletitud de Gödel, Verdad, 1931.
Alfred North Whitehead
Alfred North Whitehead, OM, MRS (15 de febrero de 1861- 30 de diciembre de 1947) fue un matemático y filósofo inglés.
¡Nuevo!!: Teoría de la demostración y Alfred North Whitehead · Ver más »
Análisis matemático
El análisis matemático es una rama de la matemática que estudia los conjuntos numéricos (los números reales y los complejos) tanto del punto de vista algebraico como topológico, así como las funciones entre esos conjuntos y construcciones derivadas.
¡Nuevo!!: Teoría de la demostración y Análisis matemático · Ver más »
Antinomia
Antinomia (del griego ἀντί anti-, contra, y νόμος nomos, ley; antinomia, contradicción en la ley) es un término empleado en la lógica y la epistemología que, en sentido laxo, significa paradoja o contradicción irresoluble.
¡Nuevo!!: Teoría de la demostración y Antinomia · Ver más »
Aritmética
La aritmética (del lat. arithmetĭcus, derivado del gr. ἀριθμητικός, a partir de ἀριθμός, «número») es la rama de la matemática cuyo objeto de estudio son los números y las operaciones elementales hechas con ellos: adición, sustracción, multiplicación y división.
¡Nuevo!!: Teoría de la demostración y Aritmética · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Teoría de la demostración y Axioma · Ver más »
Axioma de elección
En teoría de conjuntos, el axioma de elección (o axioma de escogencia), es un axioma que postula que para cada familia de conjuntos no vacíos, existe otro conjunto que contiene un elemento de cada uno de aquellos.
¡Nuevo!!: Teoría de la demostración y Axioma de elección · Ver más »
Bertrand Russell
Bertrand Arthur William Russell (Trellech, Monmouthshire; 18 de mayo de 1872-Penrhyndeudraeth, Gwynedd, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura.
¡Nuevo!!: Teoría de la demostración y Bertrand Russell · Ver más »
Bien definido
En matemáticas, el término bien definido se usa para especificar que un concepto (una función, una propiedad, una relación, etc.) se define de forma lógicamente consistente usando un conjunto de axiomas básicos sin ambigüedad alguna.
¡Nuevo!!: Teoría de la demostración y Bien definido · Ver más »
Conjunto bien ordenado
En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo.
¡Nuevo!!: Teoría de la demostración y Conjunto bien ordenado · Ver más »
Consistencia (lógica)
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
¡Nuevo!!: Teoría de la demostración y Consistencia (lógica) · 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!!: Teoría de la demostración y David Hilbert · Ver más »
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
¡Nuevo!!: Teoría de la demostración y Demostración en matemática · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.
¡Nuevo!!: Teoría de la demostración y Entscheidungsproblem · Ver más »
Estructura de datos
En ciencias de la computación, una estructura de datos es una forma particular de organizar información en un computador para que pueda ser utilizada de manera eficiente.
¡Nuevo!!: Teoría de la demostración y Estructura de datos · 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!!: Teoría de la demostración y Filosofía de las matemáticas · Ver más »
Fundamentos de las matemáticas
Los fundamentos de las matemáticas son el estudio de conceptos matemáticos básicos como números, figuras geométricas, conjuntos, funciones, etc.
¡Nuevo!!: Teoría de la demostración y Fundamentos de las matemáticas · Ver más »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918), conocido como Georg Cantor, fue un matemático nacido en Rusia, nacionalizado alemán, de ascendencia austríaca y judía.
¡Nuevo!!: Teoría de la demostración y Georg Cantor · Ver más »
Gerhard Gentzen
Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán.
¡Nuevo!!: Teoría de la demostración y Gerhard Gentzen · Ver más »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.
¡Nuevo!!: Teoría de la demostración y Gottlob Frege · Ver más »
Hermann Weyl
Hermann Weyl (Elmshorn, Imperio alemán, 9 de noviembre de 1885-Zúrich, Suiza, 8 de diciembre de 1955) fue un matemático alemán.
¡Nuevo!!: Teoría de la demostración y Hermann Weyl · Ver más »
Infinitesimal
Lo infinitesimal o infinitésimo se refiere a una cantidad más cercana a cero que cualquier número real estándar pero diferente de cero.
¡Nuevo!!: Teoría de la demostración e Infinitesimal · Ver más »
Infinito
El concepto de infinito (símbolo) aparece en varias ramas de la matemática, la filosofía y la astronomía, en referencia a una cantidad sin límite o sin final, contrapuesto al concepto de finitud.
¡Nuevo!!: Teoría de la demostración e Infinito · Ver más »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.
¡Nuevo!!: Teoría de la demostración y Kurt Gödel · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Teoría de la demostración y Lógica matemática · Ver más »
Lenguaje
Un lenguaje (del provenzal lenguatge y del latín lingua) es un sistema de comunicación estructurado para el que existe un contexto de uso y ciertos principios combinatorios formales.
¡Nuevo!!: Teoría de la demostración y Lenguaje · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Teoría de la demostración y Lenguaje formal · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Teoría de la demostración y Número natural · Ver más »
Objeto matemático
Un objeto matemático es un objeto abstracto estudiado en matemáticas.
¡Nuevo!!: Teoría de la demostración y Objeto matemático · Ver más »
Paradoja
Una paradoja (del latín paradoxa, ‘lo contrario a la opinión común’) o antilogía es una idea lógicamente contradictoria u opuesta a lo que se considera verdadero a la opinión general.
¡Nuevo!!: Teoría de la demostración y Paradoja · Ver más »
Paradoja de Russell
La paradoja de Russell o paradoja del barbero, acreditada a Bertrand Russell, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria.
¡Nuevo!!: Teoría de la demostración y Paradoja de Russell · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Teoría de la demostración y Proposición · Ver más »
Regla de inferencia
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).
¡Nuevo!!: Teoría de la demostración y Regla de inferencia · Ver más »
Revisión por pares
La revisión por pares o arbitraje es una evaluación usada para valorar trabajos escritos realizada por una o más personas con competencias similares a los productores del trabajo (expertos) pero que no forman parte del personal editorial del trabajo a evaluar, con el fin de asegurar la calidad, factibilidad y rigurosidad científica del trabajo.
¡Nuevo!!: Teoría de la demostración y Revisión por pares · Ver más »
Rigor matemático
Se entiende por rigor matemático (o también, «precisión matemática», aunque en un contexto algo diferente) una manera lógica y clara de trabajar dentro del ámbito de las matemáticas.
¡Nuevo!!: Teoría de la demostración y Rigor matemático · 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!!: Teoría de la demostración y Semántica · Ver más »
Sintaxis
La sintaxis es la parte de la gramática que estudia las reglas y principios que gobiernan la combinatoria de constituyentes sintácticos y la formación de unidades superiores a estos, como los sintagmas y las oraciones gramaticales.
¡Nuevo!!: Teoría de la demostración y Sintaxis · Ver más »
Teoría de conjuntos
La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.
¡Nuevo!!: Teoría de la demostración y Teoría de conjuntos · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Teoría de la demostración y Teoría de la computabilidad · Ver más »
Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.
¡Nuevo!!: Teoría de la demostración y Teoría de modelos · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Teoría de la demostración y Teoremas de incompletitud de Gödel · Ver más »
Verdad
La verdad es la coincidencia entre una afirmación y los hechos, o la realidad a la que dicha afirmación se refiereMerriam-Webster's Online Dictionary,, 2005.
¡Nuevo!!: Teoría de la demostración y Verdad · Ver más »
1931
1931 fue un año común comenzado en jueves según el calendario gregoriano.
¡Nuevo!!: Teoría de la demostración y 1931 · Ver más »
Redirecciona aquí:
Teoria de la demostracion, Teoria de la demostración, Teoria de la prueba, Teoría de la demostracion, Teoría de la prueba.
