Un ejemplo que conozco es algo llamado lógica de demostrabilidad. Este es un tipo de lógica modal en la que el operador alethic por necesidad es interpretado como un operador por demostrabilidad. Esto se utiliza principalmente para probar resultados sobre afirmaciones autorreferenciales en aritmética.
A menudo se le conoce como GL, por sus fundadores, Kürt Gödel y Martin Hugo Löb. Uno llega a GL comenzando con el sistema K. El sistema K, llamado así por Saul Kripke, a menudo se usa como base para lógicas modales más extensas, es decir, se agregan más ‘reglas’ a las del sistema K.
Al agregar el axioma GL al sistema K, que también se conoce como Teorema de Löb, se obtiene el sistema GL: □ (□ A → A ) → □ A. Tenga en cuenta que el operador de necesidad se interpreta como un operador de demostrabilidad (¡esto no es un cambio trivial!), Por lo que la afirmación significa que, (en una teoría con la aritmética de Peano), si es demostrable que si P es demostrable, entonces P es verdadero, entonces P es demostrable.
- ¿Qué campos \ conceptos matemáticos deben conocer los lingüistas?
- ¿Cómo puede aprovechar al máximo una prueba de Mathematica 9?
- ¿Cuáles son los pasos que debo seguir para dominar las matemáticas? ¿Y cuál es la forma más rápida de alcanzar este objetivo?
- Cómo demostrar que existe un conjunto de movimientos para que todos los elementos de la matriz se conviertan en 0, donde en un movimiento tienes que elegir dos elementos distintos de cero y restar uno de los dos dada una condición
- Si tengo un número (ej .: n = 28), ¿existe una fórmula cerrada para saber cuántos son los pares ordenados de números enteros (a, b) de manera que [matemáticas] a \ cdot b = n [/ matemáticas]?
Si desea leer más sobre esto, le recomendaría el excelente artículo sobre el SEP sobre la lógica de probabilidad