Libros de Lecturas, Cursos Universitarios

El Teorema de Gödel

Descargas: 449         Páginas: 172

Publicado: Hace 3 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

Antonio León

Otros Libros del autor...

  • Más Allá del Caos
    Más Allá del Caos Ciencias Naturales por Antonio León
    Más Allá del Caos
    Más Allá del Caos

    Descargas:
    315

    Páginas:
    140

    Publicado:
    Feb 2014

    Una forma original y productiva de analizar las interacciones entre sistemas dinámicos es mediante lo que se podría llamar una guerra de funciones . Es la i...

    Formatos: PDF, Epub, Kindle, TXT

  • El fin del Infinito
    El fin del Infinito Ciencias Naturales por Antonio León
    El fin del Infinito
    El fin del Infinito

    Descargas:
    940

    Páginas:
    200

    Publicado:
    Feb 2014

    Algunos de los problemas ma ́s relevantes de la filosof ́ıa contempora ́nea fue- ron ya planteados por los filo ́sofos presocr ́aticos en el siglo VII a.C. (e...

    Formatos: PDF, Epub, Kindle, TXT

  • Relatividad Digital
    Relatividad Digital Ciencias Naturales por Antonio León
    Relatividad Digital
    Relatividad Digital

    Descargas:
    353

    Páginas:
    232

    Publicado:
    Feb 2014

    La teoría de la relatividad está compuesta por la teoría de la relatividad especial y la de la relatividad general, formuladas por Albert Einstein a principio...

    Formatos: PDF, Kindle

Le puede interesar...

eBooks a la Venta

  • 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

  • Epílogo
    Epílogo Policial, Suspense por Iñaki Santamaría Carbajo
    Epílogo
    Epílogo

    Descargas:
    1

    Páginas:
    181

    Publicado:
    Feb 2014

    En una de las estaciones de Metro de Londres han encontrado asesinado a un guarda de seguridad. El Inspector Jefe de Scotland Yard David St. James, junto con ...

    Formatos: PDF, Epub, Kindle, TXT

  • El poseído
    El poseído Bienestar Espiritual por Joselito Montero
    El poseído
    El poseído

    Descargas:
    1

    Páginas:
    25

    Publicado:
    Feb 2014

    Cuando viajes fuera del cuerpo, asegúrate de ir con una bella imagen en tu mente y con deseo de aprender cosas buenas y provechosas; y cuando entres a un mund...

    Formatos: PDF, TXT

  • Una tumba sin nombre, ni cruz, ni luz de…
    Una tumba sin nombre, ni cruz, ni luz de… Terror por Malena Teigeiro
    Una tumba sin nombre, ni cruz, ni luz de…
    Una tumba sin nombre, ni cruz, ni luz de…

    Descargas:
    1

    Páginas:
    170

    Publicado:
    Nov 2013

    "Una tumba sin nombre, ni cruz, ni luz de luna" , que desde que lo empecé a leer no fui capaz de cerrar hasta terminarlo. Me ha encantado. Me han atrapado Gal...

    Formatos: PDF, Epub, Kindle, TXT