La interpretación de Dialectica de Gödel fue diseñada para obtener una prueba de consistencia relativa para la aritmética de Heyting, para ser utilizada junto con la interpretación de doble negación para obtener la consistencia de la aritmética de Peano. En los últimos años, las transformaciones de la teoría de la prueba (las llamadas interpretaciones de la prueba) que se basan en la interpretación de Dialectica de Gödel se han utilizado sistemáticamente para extraer nuevo contenido de las pruebas, por lo que la interpretación ha encontrado aplicaciones relevantes en varias áreas de las matemáticas y la informática.

Los editores esperan impulsar las poderosas técnicas de Freedman de regreso a la corriente principal del pensamiento matemático. La tercera parte del libro detalla los mayores problemas abiertos en la topología de cuatro dimensiones que los investigadores podrían abordar una vez equipados con el conocimiento de la prueba de Freedman.

Se presenta una crónica que describe el contexto histórico y el desarrollo de ideas y experimentos que llevaron al descubrimiento del fenómeno de flexión inversa en núcleos atómicos en rápida rotación hace unos 50 años. El momento de inercia de algunos núcleos atómicos aumenta de forma anómala a una cierta frecuencia de rotación, revelando pistas importantes para nuestra comprensión de la estructura nuclear

Muchos físicos han pensado que el tiempo absoluto se volvió innecesario con la introducción de la Relatividad Especial. William Lane Craig no está de acuerdo y sostiene que aunque la relatividad es empíricamente adecuada dentro de un dominio de aplicación, la relatividad debería ser suplantada por una alternativa neo-lorentziana que permita el tiempo absoluto.

El primer ministro de Israel, Naftali Bennett, dijo el lunes que Irán había violado todas las «líneas rojas» destinadas a frenar su programa de armas nucleares, pero que Israel «no permitirá» que Teherán obtenga la bomba.

La división justa es un problema importante y de larga data y está estrechamente relacionado con la justicia social y económica. Cortar pasteles es una metáfora común de la división justa y ha atraído una atención significativa por parte de economistas, matemáticos, informáticos y politólogos. Existen métodos de división ampliamente estudiados que se basan en ciertas nociones de equidad, como la ausencia de envidia y la proporcionalidad. Sin embargo, estos métodos difícilmente se pueden aplicar a problemas del mundo real en los que los bienes heterogéneos deben dividirse equitativamente entre múltiples jugadores, y los jugadores tienen diferentes factores clave como contribuciones, necesidades o preferencias con respecto a ciertas partes de los bienes.

Introducimos el concepto de un sistema de evolución abstracto, que proporciona un marco conveniente para estudiar estructuras matemáticas genéricas y sus propiedades. En términos generales, un sistema de evolución es una categoría dotada de una clase seleccionada de morfismos llamados transiciones y de un objeto seleccionado llamado origen. Lo ilustramos con una serie de ejemplos de varias áreas de las matemáticas.

Generalizamos la lógica intuicionista del tiempo al caso multimodal colocando la lógica gramatical sobre una base intuicionista. Proporcionamos axiomatizaciones para una clase de lógicas gramaticales intuicionistas básicas, así como también proporcionamos axiomatizaciones para extensiones con combinaciones de axiomas de serialidad y lo que llamamos «axiomas de trayectoria intuicionista». Demostramos que cada axiomatización es sólida y completa, mostrando la integridad a través de una construcción de modelo canónico típico.

TalCual Octubre 24, 2021 De visita en Anzoátegui, como parte de la agenda proselitista de Unión y Progreso, Eduardo Fernández dijo que las elecciones regionales del el 21N son una oportunidad para castigar a los malos gobiernos en todos sus niveles y que el cambio político solo es posible a través del voto. En la […]

23.OCT.21 | PostaPorteña 2240  El ‘Pollo Carvajal’ fue un diputado chavista y jefe de los servicios secretos venezolanos durante la etapa de Hugo Chávez. Carvajal está acusado de narcotráfico, blanqueo de capitales y colaboración con las FARC para introducir drogas en territorio estadounidense. El Pollo’ Carvajal también confiesa que Venezuela envió 21 millones en maletas […]