Libros de Lecturas, Cursos Universitarios

El Teorema de Gödel

Descargas: 487         Páginas: 172

Publicado: Hace 4 años

Calificación:   Calificado: 2 veces Vote

  • 1 estrella
  • 2 estrellas
  • 3 estrellas
  • 4 estrellas
  • 5 estrellas

Autor:

Descripción HTML

El teorema de completitud de Gödel es un importante teorema de la lógica matemática, que fue demostrado por primera vez por Kurt Gödel en 1929 y que en su forma más conocida establece lo siguiente: En una lógica de primer orden, toda fórmula que es válida en un sentido lógico es demostrable. Kurt Gödel La palabra "demostrable" significa que existe una deducción formal de la fórmula. La deducción consiste en una lista finita de pasos en los que cada paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una básica regla de inferencia. A partir de dicha deducción, es posible verificar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo mediante una computadora, o a mano). Una fórmula es lógicamente válida si es verdadera en...

SOBRE EL AUTOR

A León

Le puede interesar...

eBooks a la Venta

  • La cuarta dimensión
    La cuarta dimensión Novela Filosófica por Julián Sanz Pascual
    La cuarta dimensión
    La cuarta dimensión

    Descargas:
    1

    Páginas:
    308

    Publicado:
    Nov 2013

    La cuarta dimensión es un tema de las matemáticas muy controvertido, que originariamente ha sido esotérico. Por otra parte, al espacio se le ha considerado si...

    Formatos: PDF, Epub, Kindle, TXT

  • El Juicio de los Espejos. Las lágrimas d…
    El Juicio de los Espejos. Las lágrimas d… Acción, Aventura por Alexander Copperwhite
    El Juicio de los Espejos. Las lágrimas d…
    El Juicio de los Espejos. Las lágrimas d…

    Descargas:
    1

    Páginas:
    224

    Publicado:
    Feb 2014

    El iridio es un metal poco frecuente en La Tierra, y se cree que todo el que existe proviene de vehículos extraespaciales: cometas y meteoritos que han ido ca...

    Formatos: PDF, Epub, Kindle, TXT

  • Pensando en voz alta
    Pensando en voz alta Humor por Oscar Vélez
    Pensando en voz alta
    Pensando en voz alta

    Descargas:
    2

    Páginas:
    214

    Publicado:
    Nov 2013

    Me llamo Oscar Vélez, soy fracasado profesional e irónico practicante. Con 35 años, soltero, coche de segunda mano, viviendo de alquiler y gracias, incapaz de...

    Formatos: PDF, Epub, Kindle, TXT

  • Darwin ha muerto...¿y ahora qué?
    Darwin ha muerto...¿y ahora qué? Antropología por Daniel Lapazano
    Darwin ha muerto...¿y ahora qué?
    Darwin ha muerto...¿y ahora qué?

    Descargas:
    3

    Páginas:
    291

    Publicado:
    Dec 2013

    Después de la publicación de De Esto no se Habla, donde el autor pone en evidencia la falta de sustentación científica de la teoría de Darwin y cómo la élite ...

    Formatos: PDF, Epub, Kindle, TXT