Autor Tema: ¿Demostraciones de infinitos pasos?

0 Usuarios y 1 Visitante están viendo este tema.

28 Abril, 2011, 12:29 pm
Leído 695 veces

Raúl Aparicio Bustillo

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,113
  • Karma: +0/-3
  • Sexo: Masculino
Hola

QUería saber:

¿Por qué las demostraciones de los enunciados de una teoría matemática sólo pueden constar de un numero finito de símbolos del lenguaje formal?


¿Una teoría ω inconsistente en lógica de primer orden, es necesariamente inconsistente en logica infinitaria, es decir, se puede llegar a una contradicción despues de un número infinito de pasos?