Hablar sobre el número entero más grande en un sentido absoluto sin restricciones aplicadas es una afirmación puramente ilógica.
Prueba por contradicción:
Supongamos que hay un número entero mayor N. [Debemos deducir una contradicción.] Entonces
Para cada número entero n, N ≥ n.
Sea M = N + 1. Ahora M es un número entero. [Dado que es una suma de enteros.] Además, M> N [porque M = N + 1].
- ¿Cómo debo calcular la suma de las series infinitas dadas (ver detalles)?
- ¿Qué significa que la construcción de números reales es no algebraica?
- ¿Cómo ejecutó Alan Turing un ataque de texto sin formato conocido en el código cifrado Enigma? ¿Cómo sabía qué texto cifrado y texto plano comparar?
- ¿Cómo podrían los alemanes determinar el número primo p que se usa para la aritmética modular para ejecutar un ataque de texto sin formato conocido contra el Código de Turing?
- ¿Cuántos enteros positivos menores o iguales a 1000 no son divisibles por 7,11 y 13?
Por lo tanto, M es un número entero mayor que el número entero más grande, lo cual es una contradicción.
Suponiendo que lea una declaración de este tipo en un libro basado en Métodos Computacionales , la pregunta correcta debería haber sido “¿Existe un entero más grande posible que satisfaga ciertas condiciones?”
La respuesta a esta pregunta, si es decidible o indecidible a nivel computacional, depende totalmente de las condiciones que se mencionan.