¡Más rápido que el navegador!
31 relaciones: Alemania, Alfred Tarski, Algoritmo, Análisis real, Aritmética, Axioma, Axiomas de Peano, Axiomas de Zermelo-Fraenkel, Consecuencia lógica, Cuerpo algebraicamente cerrado, David Hilbert, Decidibilidad, Finitismo, Formalismo matemático, Fundamentos de las matemáticas, Geometría analítica, Geometría euclidiana, Gerhard Gentzen, Imperio austrohúngaro, Inducción transfinita, Kurt Gödel, Lógica de primer orden, Lógica matemática, Matemáticas, Número ordinal (teoría de conjuntos), Oxford University Press, Paradoja, Sistema formal, Teoría de conjuntos, Teoría de la demostración, Teoremas de incompletitud de Gödel.
Alemania
Alemania, oficialmente República Federal de Alemania, es uno de los veintisiete Estados soberanos que forman la Unión Europea.
¡Nuevo!!: Programa de Hilbert y Alemania · Ver más »
Alfred Tarski
Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco.
¡Nuevo!!: Programa de Hilbert y Alfred Tarski · Ver más »
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!!: Programa de Hilbert y Algoritmo · Ver más »
Análisis real
El análisis real o teoría de las funciones de variable real es la rama del análisis matemático que tiene que ver con el conjunto de los números reales y las funciones de números reales.
¡Nuevo!!: Programa de Hilbert y Análisis real · 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!!: Programa de Hilbert y Aritmética · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Programa de Hilbert y Axioma · Ver más »
Axiomas de Peano
Los axiomas de Peano o postulados de Peano son un sistema de axiomas de segundo orden para la aritmética ideados por el matemático Giuseppe Peano en el, para definir los números naturales.
¡Nuevo!!: Programa de Hilbert y Axiomas de Peano · Ver más »
Axiomas de Zermelo-Fraenkel
En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos.
¡Nuevo!!: Programa de Hilbert y Axiomas de Zermelo-Fraenkel · Ver más »
Consecuencia lógica
En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.
¡Nuevo!!: Programa de Hilbert y Consecuencia lógica · Ver más »
Cuerpo algebraicamente cerrado
En matemáticas, un cuerpo F se dice algebraicamente cerrado si cada polinomio de grado al menos 1, con coeficientes en F, tiene un cero en F. En ese caso, cada polinomio de tal clase se descompone en factores lineales.
¡Nuevo!!: Programa de Hilbert y Cuerpo algebraicamente cerrado · 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!!: Programa de Hilbert y David Hilbert · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Programa de Hilbert y Decidibilidad · Ver más »
Finitismo
En filosofía de las matemáticas, el finitismo es una forma extrema de constructivismo, de acuerdo a la cual un objeto matemático no existe a menos que sea construido partiendo de los números naturales en un número de pasos finitos.
¡Nuevo!!: Programa de Hilbert y Finitismo · Ver más »
Formalismo matemático
En fundamentos de las matemáticas, filosofía de las matemáticas y filosofía de la lógica, el formalismo matemático es una teoría que sostiene que las proposiciones de las matemáticas y la lógica pueden considerarse como declaraciones sobre las consecuencias de ciertas reglas de manipulación de símbolos o términos o cadena de caracteres.
¡Nuevo!!: Programa de Hilbert y Formalismo matemático · 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!!: Programa de Hilbert y Fundamentos de las matemáticas · Ver más »
Geometría analítica
La geometría analítica es una rama de las matemáticas que estudia las figuras, sus distancias, sus áreas, puntos de intersección, ángulos de inclinación, puntos de división, volúmenes, etcétera.
¡Nuevo!!: Programa de Hilbert y Geometría analítica · Ver más »
Geometría euclidiana
La geometría euclidiana es un sistema matemático atribuido al antiguo matemático griego Euclides, que describió en su libro de texto sobre geometría: ''Los'' ''Elementos''.
¡Nuevo!!: Programa de Hilbert y Geometría euclidiana · 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!!: Programa de Hilbert y Gerhard Gentzen · Ver más »
Imperio austrohúngaro
El Imperio austrohúngaro o Austria-Hungría (en sus idiomas oficiales, Monarquía austrohúngara;;; o sencillamente la Doble Monarquía), fue un Estado europeo creado en 1867 tras el llamado compromiso austrohúngaro, el cual equiparó el estatus del Reino de Hungría con el del Imperio austríaco, ambos bajo el mismo monarca.
¡Nuevo!!: Programa de Hilbert e Imperio austrohúngaro · Ver más »
Inducción transfinita
La inducción transfinita es una extensión de la inducción matemática a (grandes) conjuntos bien ordenados, tales como conjuntos de ordinales o cardinales.
¡Nuevo!!: Programa de Hilbert e Inducción transfinita · 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!!: Programa de Hilbert y Kurt Gödel · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Programa de Hilbert y Lógica de primer orden · 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!!: Programa de Hilbert y Lógica matemática · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Programa de Hilbert y Matemáticas · Ver más »
Número ordinal (teoría de conjuntos)
En teoría de conjuntos, un número ordinal, o simplemente ordinal, es un representante del tipo de orden de un conjunto bien ordenado.
¡Nuevo!!: Programa de Hilbert y Número ordinal (teoría de conjuntos) · Ver más »
Oxford University Press
Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.
¡Nuevo!!: Programa de Hilbert y Oxford University Press · 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!!: Programa de Hilbert y Paradoja · 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!!: Programa de Hilbert y Sistema formal · 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!!: Programa de Hilbert y Teoría de conjuntos · Ver más »
Teoría de la demostración
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas.
¡Nuevo!!: Programa de Hilbert y Teoría de la demostración · 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!!: Programa de Hilbert y Teoremas de incompletitud de Gödel · Ver más »
