44 relaciones: Alfred North Whitehead, Aristóteles, Axioma, Axiomas de Hilbert, Axiomas de Peano, Órganon, Bertrand Russell, Completitud (lógica), Conectiva lógica, Cuantificador, David Hilbert, Definición, Elementos de Euclides, Euclides, Física, Fórmula bien formada, Función (matemática), Geometría, Geometría euclidiana, Giuseppe Peano, Gottlob Frege, Kurt Gödel, Lógica, Lógica matemática, Lógica proposicional, Lengua natural, Lenguaje formal, Lenguaje formalizado, Matemáticas, Paradoja de Russell, Platón, Postulado, Proposición, Razonamiento deductivo, Regla de inferencia, Relación matemática, Richard Dedekind, Sistema formal, Teoría (lógica), Teoría de grupos, Teoría de la demostración, Teoría de modelos, Teorema, Teoremas de incompletitud de Gödel.
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!!: Sistema axiomático y Alfred North Whitehead · Ver más »
Aristóteles
Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.
¡Nuevo!!: Sistema axiomático y Aristóteles · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Sistema axiomático y Axioma · Ver más »
Axiomas de Hilbert
Los axiomas de Hilbert son un conjunto de 20 (originalmente 21) hipótesis propuestas por David Hilbert en 1899 como el fundamento para un tratamiento moderno de la geometría euclídea.
¡Nuevo!!: Sistema axiomático y Axiomas de Hilbert · 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!!: Sistema axiomático y Axiomas de Peano · Ver más »
Órganon
El Órganon (del griego antiguo όργανον, "instrumento") es un conjunto de obras de lógica escritas por Aristóteles y compiladas por Andrónico de Rodas siglos más tarde.
¡Nuevo!!: Sistema axiomático y Órganon · 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!!: Sistema axiomático y Bertrand Russell · Ver más »
Completitud (lógica)
En metalógica, la completitud o completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.
¡Nuevo!!: Sistema axiomático y Completitud (lógica) · Ver más »
Conectiva lógica
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
¡Nuevo!!: Sistema axiomático y Conectiva lógica · 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!!: Sistema axiomático y Cuantificador · 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!!: Sistema axiomático y David Hilbert · Ver más »
Definición
Una definición es una proposición o conjunto de proposiciones que exponen de manera unívoca y con precisión la comprensión de un concepto, término o dicción o –si consta de dos o más palabras– de una expresión o locución.
¡Nuevo!!: Sistema axiomático y Definición · Ver más »
Elementos de Euclides
Los Elementos de Euclides (en griego:, stoicheia, y conocido como geometría euclidiana; en griego: Ευκλειδης Γεωμετρια) es un tratado matemático y geométrico que se compone de trece libros, escrito por el matemático y geómetra griego Euclides, cerca del 177 a. C., en Alejandría.
¡Nuevo!!: Sistema axiomático y Elementos de Euclides · Ver más »
Euclides
Euclides (en griego Εὐκλείδης, Eukleidēs, latín Euclīdēs) fue un matemático y geómetra griego (ca. 325 a. C.-ca. 265 a. C.). Se le conoce como "el padre de la geometría".
¡Nuevo!!: Sistema axiomático y Euclides · Ver más »
Física
La física (del latín physica, y este del griego antiguo φυσικός physikós «natural, relativo a la naturaleza») es la ciencia natural que estudia la naturaleza de los componentes y fenómenos más fundamentales del Universo como lo son la energía, la materia, la fuerza, el movimiento, el espacio-tiempo, las magnitudes físicas, las propiedades físicas y las interacciones fundamentales.
¡Nuevo!!: Sistema axiomático y Física · Ver más »
Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Sistema axiomático y Fórmula bien formada · Ver más »
Función (matemática)
En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.
¡Nuevo!!: Sistema axiomático y Función (matemática) · Ver más »
Geometría
La geometría (del latín geometrĭa, y este del griego γεωμετρία de γῆ gē, ‘tierra’, y μετρία metría, ‘medida’) es una rama de las matemáticas que se ocupa del estudio de las propiedades de las figuras en el plano o el espacio, incluyendo: puntos, rectas, planos, politopos (como paralelas, perpendiculares, curvas, superficies, polígonos, poliedros, etc.). Es la base teórica de la geometría descriptiva o del dibujo técnico.
¡Nuevo!!: Sistema axiomático y Geometría · 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!!: Sistema axiomático y Geometría euclidiana · Ver más »
Giuseppe Peano
Giuseppe Peano (Spinetta, 27 de agosto de 1858 - Turín, 20 de abril de 1932) fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números.
¡Nuevo!!: Sistema axiomático y Giuseppe Peano · 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!!: Sistema axiomático y Gottlob Frege · 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!!: Sistema axiomático y Kurt Gödel · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Sistema axiomático y Lógica · 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!!: Sistema axiomático y Lógica matemática · 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!!: Sistema axiomático y Lógica proposicional · Ver más »
Lengua natural
Una lengua natural es una variedad lingüística o forma de lenguaje humano generada espontáneamente en un grupo de hablantes con propósito de comunicarse, a diferencia de otras lenguas, como puedan ser una lengua construida, los lenguajes de programación o los lenguajes formales usados en el estudio de la lógica formal, especialmente la lógica matemática.
¡Nuevo!!: Sistema axiomático y Lengua natural · 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!!: Sistema axiomático y Lenguaje formal · Ver más »
Lenguaje formalizado
El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados».
¡Nuevo!!: Sistema axiomático y Lenguaje formalizado · 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!!: Sistema axiomático y Matemáticas · 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!!: Sistema axiomático y Paradoja de Russell · Ver más »
Platón
PlatónRefiere la tradición que su nombre verdadero habría sido Aristocles y que "Platón" o "el de espalda ancha" sería un pseudónimo debido a su constitución física de atleta, práctica que habría desarrollado en su juventud.
¡Nuevo!!: Sistema axiomático y Platón · Ver más »
Postulado
Un postulado es una proposición no evidente por sí misma ni demostrada, pero que se acepta, ya que no existe otro principio al que pueda ser referida.
¡Nuevo!!: Sistema axiomático y Postulado · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Sistema axiomático y Proposición · Ver más »
Razonamiento deductivo
El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.
¡Nuevo!!: Sistema axiomático y Razonamiento deductivo · 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!!: Sistema axiomático y Regla de inferencia · Ver más »
Relación matemática
En matemáticas, una relación en un conjunto es alguna clase de vínculo que puede darse o puede no darse (sin posibilidad de estados intermedios) entre dos miembros de un conjunto determinado.
¡Nuevo!!: Sistema axiomático y Relación matemática · Ver más »
Richard Dedekind
Julius Wilhelm Richard Dedekind (6 de octubre de 1831-12 de febrero de 1916) fue un matemático alemán.
¡Nuevo!!: Sistema axiomático y Richard Dedekind · 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!!: Sistema axiomático y Sistema formal · Ver más »
Teoría (lógica)
En lógica, una teoría es un conjunto de proposiciones dentro de un lenguaje formal que es semánticamente completo en el sentido de que todo que satisface todas las proposiciones de la teoría también satisface cualquier otra proposición que sea consecuencia de la misma.
¡Nuevo!!: Sistema axiomático y Teoría (lógica) · Ver más »
Teoría de grupos
En álgebra abstracta, la teoría de grupos estudia la estructura algebraica conocida como grupo, que es un conjunto no vacío dotado de una operación interna.
¡Nuevo!!: Sistema axiomático y Teoría de grupos · 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!!: Sistema axiomático y Teoría de la demostración · 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!!: Sistema axiomático y Teoría de modelos · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Sistema axiomático y Teorema · 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!!: Sistema axiomático y Teoremas de incompletitud de Gödel · Ver más »
Redirecciona aquí:
Axiomatizacion, Axiomatización, Axiomatizar, Teoría axiomática.