Sistema axiomático

En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante

deducciones, para demostrar teoremas. Ejemplos de sistemas axiomáticos deductivos son la geometría
euclidiana compilada por Euclides en los Elementos1 y el sistema axiomático de la lógica proposicional.

 axioma es una proposición asumida dentro de un cuerpo teórico sobre la cual descansan otros razonamientos y proposiciones deducidas de esas
premisas.
Introducido originalmente por los matemáticos griegos del período helenístico, el axioma se consideraba como una proposición «evidente» y que se
aceptaba sin requerir demostración previa. Posteriormente, en un sistema hipotético-deductivo, un axioma era toda proposición no deducida de otras,
sino que constituye una regla general de pensamiento lógico (por oposición a los postulados).

teorema de completitud de Gödel es un importante teorema de la lógica matemática, que fue demostrado por primera vez por Kurt Gödel en 1929 y
que en su forma más conocida establece lo siguiente:
La palabra "demostrable" significa que existe una deducción formal de la fórmula. La deducción consiste en una lista finita de pasos en los que cada
paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una básica regla de inferencia. A partir de dicha deducción, es posible
verificar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo mediante una computadora, o a mano).

teorema de capacidad
El desarrollo de la teoría de la información de Claude Shannon durante la Segunda Guerra Mundial estimuló el siguiente gran paso para entender qué
cantidad de información se podría comunicar, sin errores y de manera fiable, a través de canales con ruido gausiano de fondo.
Fundamentado sobre las ideas de Hartley, el teorema de Shannon de la codificación de canales con ruido (1948) describe la máxima eficiencia posible
de los métodos de corrección de errores versus los niveles de interferencia de ruido y corrupción de datos. La prueba del teorema muestra que un
código corrector de errores construido aleatoriamente es, esencialmente, igual de bueno que el mejor código posible. El teorema se prueba con la
estadística de tales códigos aleatorios.

Problema de decisión

En teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases
resultantes también de longitud finita. Un problema de decisión es un problema en donde las respuestas posibles son
«sí» o «no». Un ejemplo típico de problema de decisión es la pregunta: ¿Es un número entero dado primo? Una
instancia de este problema sería: ¿Es 17 primo?

máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una
máquina de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las
funciones de una CPU dentro de un computador.

 estructura de datos es una forma particular de organizar datos en una computadora para que pueda ser utilizado de manera eficiente.
Diferentes tipos de estructuras de datos son adecuados para diferentes tipos de aplicaciones, y algunos son altamente especializados para tareas
específicas.
Las estructuras de datos son un medio para manejar grandes cantidades de datos de manera eficiente para usos tales como grandes bases de datosy
servicios de indización de Internet. Por lo general, las estructuras de datos eficientes son clave para diseñar algoritmos eficientes. Algunos métodos
formales de diseño y lenguajes de programación destacan las estructuras de datos, en lugar de los algoritmos, como el factor clave de organización en
el diseño de software.
 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). Por ejemplo, la regla de inferencia llamada Modus ponendo ponens toma dos premisas, uno en la forma "Si p
entonces q" y otra en la forma "p", y vuelve la conclusión "q". La regla es válida con respecto a la semántica de la lógica clásica (así como la semántica
de muchas otras lógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será la
conclusión.

Modulación engloba el conjunto de técnicas que se usan para transportar información sobre una onda portadora, típicamente una onda sinusoidal.
Estas técnicas permiten un mejor aprovechamiento del canal de comunicación lo que posibilita transmitir más información de forma simultánea además
de mejorar la resistencia contra posibles ruidos e interferencias. Según la American National Standard for Telecommunications, la modulación es el
proceso, o el resultado del proceso, de variar una característica de una onda portadora de acuerdo con una señal que transporta información. El
1
propósito de la modulación es sobreponer señales en las ondas portadoras.

Semántica

El término semántica se refiere a los aspectos del significado, sentido o interpretación de signos lingüísticos como

símbolos, palabras, expresiones o representaciones formales. En principio las expresiones del lenguaje formal o de
una lengua natural admiten algún tipo de correspondencia con situaciones o conjuntos de cosas que se encuentran en
el mundo físico o abstracto que puede ser descrito por dicho medio de expresión.
teoría de conjuntos es una rama de las matemáticas que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos,
consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier
teoría matemática.1
La teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de interés en
matemáticas: números, funciones, figuras geométricas,...; y, junto con la lógica, permite estudiar los fundamentos de aquella. En la actualidad se
acepta que el conjunto de axiomas de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la matemática.

Recurrencia, recursión o recursividad es la forma en la cual se especifica un proceso basado en su propia definición, siendo ésta característica
discernible en términos de autorreferencialidad, autopoiesis, fractalidad, o, en otras palabras, construcción a partir de un mismo tipo. Con ánimo de una
mayor precisión, y para evitar la aparente circularidad en esta definición, se formula el concepto de recursión de la siguiente manera:
Un problema que pueda ser definido en función de su tamaño, sea este N, pueda ser dividido en instancias más pequeñas (< N) del mismo problema y
se conozca la solución explícita a las instancias más simples, lo que se conoce como casos base, se puede aplicar inducción sobre las llamadas más
pequeñas y suponer que estas quedan resueltas.

 Fundamentos de la matemática es el estudio de conceptos matemáticos básicos como números, figuras geométricas, conjuntos, funciones, etc. y

cómo forman jerarquías de estructuras y conceptos más complejos, especialmente las estructuras fundamentalmente importantes que forman el
lenguaje de la matemática: fórmulas, teorías y sus modelos, dando un significado a las fórmulas, definiciones, pruebas, algoritmos, etc. también
llamados conceptos metamatemáticos, con atención a los aspectos filosóficos y la unidad de la matemática. La búsqueda por los fundamentos de la
matemática es una pregunta central de la filosofía de las matemáticas; la naturaleza abstracta de los objetos matemáticos presenta desafíos filosóficos
especiales.