Los sistemas lógicos estándar no tienen ni permiten el operador de descalificación que utiliza. Sí, esto a pesar del hecho de que la codificación de Goedel se define de manera individual. Nadie discute que podemos establecer una biyección entre los números naturales y los objetos sintácticos que son oraciones. No obstante, no existe un predicado definible P sobre números naturales, de modo que la oración “P (1 + 1 + 1 + … + 1)” con n muchos 1s sea generalmente demostrable equivalente a la oración codificada por n. De manera relacionada y, además, una teoría puede tener modelos con números naturales no estándar (infinitamente grandes), que corresponden bajo la codificación de Goedel a oraciones no estándar (infinitamente grandes) y, por lo tanto, no a oraciones reales permitidas en pruebas reales.
Esta observación equivale, en cierto sentido, al teorema de indefinibilidad de Tarski.
- Cómo hacer matemáticas y pensar matemáticamente
- 9 personas deben estar sentadas en una fila. Dos de ellos, A y B, deben sentarse uno al lado del otro, y otros dos, C y D, no deben sentarse uno al lado del otro. ¿Cuántos arreglos diferentes para sentarse son posibles?
- ¿Cuál es la diferencia entre 2a y a2 en álgebra?
- ¿Por qué interpretamos frecuencias en seno y coseno y no ondas cuadradas?
- ¿Alguien con un doctorado en matemáticas aplicadas (a diferencia de las matemáticas puras) todavía se considera matemático?