¿Las verdades de la informática son absolutas / objetivas?

Answer 1

Para su primera pregunta, la respuesta es sí. Los teoremas de la informática son absoluta y objetivamente verdaderos. Se ha comprobado que utilizan una lógica rigurosa a partir de un conjunto de definiciones básicas. Solo tenga en cuenta que cualquier teorema de matemáticas o ciencias de la computación está realmente prefijado por la condición tácita de “tomar la lógica clásica y las definiciones relevantes como se dan …” y es fácil ver esto. Si una civilización extraterrestre no conociera nuestra Ciencia de la Computación, podría validar cualquier teorema como verdadero usando la misma metodología. Si no hubieran desarrollado los mismos sistemas matemáticos y lógicos, tendrían que aprenderlos primero.

Para su segunda pregunta, la respuesta es más que probable. La razón de “más que probable” en lugar de “seguramente” es mi creencia de que cualquier civilización que tenga la tecnología para el viaje de las estrellas probablemente ha desarrollado la lógica al menos en la medida que tenemos en la tierra en el siglo XXI.

Existe la posibilidad de que los alienígenas se adhieran a un sistema lógico diferente para sus matemáticas, por ejemplo, la lógica constructivista. La lógica constructivista es más débil que la lógica clásica. Cualquier prueba en nuestro CS que use la prueba por contradicción, o la ley del medio excluido, etc., no se reconocerá como válida. Tendrían que rechazar el resultado o encontrar una prueba diferente. Las consecuencias de usar una lógica más débil se extenderían a través de su desarrollo de CS. Probablemente habrían definido conceptos dentro de su sistema que nosotros no tenemos y viceversa. Pero, en su esencia, los dos CS serían similares.

Answer 2

Es difícil de estimar.

Excepto los transistores, que son algo físicos (solo pueden ser ceros y unos), todo lo demás son lógica y convenciones.

Cómo organizamos y usamos esos ceros y unos es completamente arbitrario para cualquiera. En ausencia de especificaciones y planes para un procesador, no hay forma de usarlo.

Tal vez la primera computadora de los alienígenas fue una computadora cuántica.

Answer 3

La ciencia de la computación se rige por la lógica formal y los sistemas, lo que significa que hay una constitución establecida de tokens formales y configuraciones de ruta (algoritmos). Es como un juego de ajedrez: puedes jugar en casi cualquier plataforma, pero mientras no se violen las reglas, el juego no se viola. Puedes usar diferentes lenguajes de programación pero aún así lograr funciones idénticas. La ciencia de la computación se puede realizar de manera múltiple , un término descrito por Haugeland en su libro Inteligencia Artificial: La Muy Idea . La teoría seguirá siendo la misma por lo que sabemos, a menos que un día descubramos que la lógica ya no es plausible y se vuelve trivial.

Answer 4

La teoría de la computación es la misma en todas partes. Fue desarrollado en la tierra antes de que existieran las computadoras.

Hay mucha latitud para la construcción real de dispositivos computacionales. Uno puede imaginar otras formas para su construcción además de la llamada arquitectura de Von Neumann.

Answer 5

Creo que el hombre nunca obtendrá todas las respuestas a una verdad absoluta.
Solo aquellos que son absolutamente arrogantes pueden decir que conocen toda la verdad.
Si usted sigue, por ejemplo, la medicina, puede ver que a medida que pasan los años encontramos nuevas curas para casi todo. Luego, más adelante, encontramos problemas con las curaciones que pueden ser incluso peores de lo que lo estábamos usando. Todo lo que podemos obtener está más lejos de las verdades NO de lo que teníamos en el pasado.