MECÁNICA CUÁNTICA: 🔎 👥

una teoria fisica que trata de la estructura atómica, emisión y absorción de radiaciones por la materia.
(Haack, 1978).

La mecánica cuántica es una disciplina de la física encargada de brindar una descripción fundamental de la naturaleza a escalas espaciales pequeñas. Surge tímidamente en los inicios del siglo XX dentro de las tradiciones más profundas de la física para dar una solución a problemas para los que las teorías conocidas hasta el momento habían agotado su capacidad de explicar, como la llamada catástrofe ultravioleta en la radiación de cuerpo negro predicha por la física estadística clásica y la inestabilidad de los átomos en el modelo atómico de Rutherford. La primera propuesta de un principio propiamente cuántico se debe a Max Planck en 1900, para resolver el problema de la radiación de cuerpo negro, que será duramente cuestionado, hasta que Albert Einstein lo convierte en el principio que exitosamente pueda explicar el efecto fotoeléctrico. Las primeras formulaciones matemáticas completas de la mecánica cuántica no se alcanzan hasta mediados de la década de 1920, sin que hasta el día de hoy se tenga una interpretación coherente de la teoría, en particular del problema de la medición.

La mecánica cuántica propiamente dicha no incorpora a la relatividad en su formulación matemática. La parte de la mecánica cuántica que incorpora elementos relativistas de manera formal para abordar diversos problemas se conoce como mecánica cuántica relativista o ya, en forma más correcta y acabada, teoría cuántica de campos (que incluye a su vez a la electrodinámica cuántica, cromodinámica cuántica y teoría electrodébil dentro del modelo estándar) y más generalmente, la teoría cuántica de campos en espacio-tiempo curvo. La única interacción elemental que no se ha podido cuantizar hasta el momento ha sido la interacción gravitatoria. Este problema constituye entonces uno de los mayores desafíos de la física del siglo XXI.

La mecánica cuántica proporciona el fundamento de la fenomenología del átomo, de su núcleo y de las partículas elementales (lo cual requiere necesariamente el enfoque relativista). También su impacto en teoría de la información, criptografía y química ha sido decisivo entre esta misma.

(Wikipedia).

PRIMITIVO: 🔎

en lógica "primitivo", (sinonimo de básico, fundamental o noción primitiva), es un calificativo de los sustantivos conceptos o símbolos, que indica un concepto o símbolo no definido en un contexto determinado.

Particularmente, en una teoría (sistema hipotético-deductivo), es un concepto no definido que se postula en un axioma. Que un concepto primitivo sea no definido, no implica que su significado sea impreciso, pues las relaciones entre los conceptos primitivos en los axiomas, primero, y entre los conceptos primitivos y las definiciones y teoremas, después, le otorgan un significado preciso.

Por lo anterior, se dice en ocasiones que los conceptos primitivos en las teorías están "definidos" por uno o más axiomas, pero esto puede llevar a errores. Para evitarlos, más precisamente, el sentido ascendente (un componente del significado) de un concepto primitivo es igual al conjunto de axiomas en el que se presenta ese concepto. Las teorías no pueden dispensar de los conceptos primitivos, so pena del problema de regresión infinita.
(Wikipedia)

Término no definido. (Haack, 1978).

AXIOMA: 🔎 🌐

es una proposición aceptada dentro de un cuerpo teórico sobre la cual descansan otros razonamientos y proposiciones deducidas de ella.

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).

Actualmente se busca qué consecuencias lógicas comportan un conjunto de axiomas, y de hecho en algunos casos se opta por introducir un axioma o bien su contrario, viendo que ninguna de las dos parece una proposición evidente. Así, si tradicionalmente los axiomas se elegían de entre «afirmaciones evidentes», con el objetivo de deducir el resto de proposiciones, en la moderna teoría de modelos un axioma es sólo una asunción, y en modo alguno se considera que la verdad o falsedad de los axiomas dependa del sentido intuitivo que se le pueda atribuir, o se recurre a que puedan ser autoevidentes.

En lógica un postulado es una proposición no necesariamente evidente: una fbf (planteada) de un lenguaje formal utilizada en una deducción para llegar a una conclusión.

En un lenguaje formal, (L), fórmula universalmente válida, satisfecha por cualquier estructura y por cualquier función variable.

En términos coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier interpretación posible, con cualquier asignación de valores. Comúnmente se toma como axioma un conjunto mínimo de tautologías suficientes para probar una teoría. (Wikipedia)

Una fbf A es un axioma de L si A está establecida y su verdad incuestionada en el sistema de L; (trivialmente todos los axiomas de L son teoremas de L). Una presentación axiomática de la lógica utiliza axiomas así como reglas de inferencia. (Haack, 1978).