Libros de Lecturas, Cursos Universitarios

El Teorema de Gödel

Descargas: 473         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

  • El amante de mis sueños
    El amante de mis sueños Estudios Gay por Milagro Gabriel
    El amante de mis sueños
    El amante de mis sueños

    Descargas:
    1

    Páginas:
    133

    Publicado:
    Feb 2014

    Este relato contiene escenas de sexo explicito entre personajes de un mismo sexo. Hombre-Hombre. Si alguien no está de acuerdo con esta temática aconsejo no l...

    Formatos: PDF, Kindle

  • El viaje de Ossei
    El viaje de Ossei Acción, Aventura por Manuel de Juan
    El viaje de Ossei
    El viaje de Ossei

    Descargas:
    1

    Páginas:
    454

    Publicado:
    Nov 2013

    El viaje de Ossei es una historia de coraje, de aventura, de denuncia y de descubrimiento. Es la historia se Ossei, un joven procedente de algún recóndito rin...

    Formatos: PDF, Epub, Kindle, TXT

  • Las tierras de Melampó
    Las tierras de Melampó Novela Historica por a.floridolozano@gmail.com
    Las tierras de Melampó
    Las tierras de Melampó

    Descargas:
    1

    Páginas:
    243

    Publicado:
    May 2014

    La historia de la emigración de una familia del norte de España a América del Sur durante el siglo XVIII, con todas sus vicisitudes, amores y desencuentros.

    Formatos: PDF, Epub, Kindle

  • ¿Cómo viajar fuera del tiempo?
    ¿Cómo viajar fuera del tiempo? Autoayuda por Joselito Montero
    ¿Cómo viajar fuera del tiempo?
    ¿Cómo viajar fuera del tiempo?

    Descargas:
    3

    Páginas:
    19

    Publicado:
    Feb 2014

    Si eres poeta o pintor, en el mundo astral encontrarás paisajes de inimaginables bellezas; si buscas la verdad, allí encontrarás los verdaderos sabios; si des...

    Formatos: PDF, TXT