Libros de Lecturas, Cursos Universitarios

El Teorema de Gödel

Descargas: 515         Páginas: 172

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

  • Diccionario Español-Hebreo
    Diccionario Español-Hebreo Judaísmo por Paya R. Frank
    Diccionario Español-Hebreo
    Diccionario Español-Hebreo

    Descargas:
    2

    Páginas:
    326

    Publicado:
    Feb 2014

    Conciso y pensado para el hablante hispano que necesita aprender el hebreo y tener el diccionario a la mano. El mejor del mercado

    Formatos: PDF

  • Río Revuelto
    Río Revuelto Novela Historica por Donald Mathews
    Río Revuelto
    Río Revuelto

    Descargas:
    3

    Páginas:
    313

    Publicado:
    Jul 2014

    Dos invasiones inglesas derrotadas por el pueblo de Buenos Aires; un virrey francés fastidiado por la falta de reconocimiento; un amante francesa espía de los...

    Formatos: PDF, Epub, TXT

  • Ellos, sus amigos, tú, su amante
    Ellos, sus amigos, tú, su amante Autoayuda por Ramsés Ancira
    Ellos, sus amigos, tú, su amante
    Ellos, sus amigos, tú, su amante

    Descargas:
    1

    Páginas:
    100

    Publicado:
    May 2014

    Una guía divertida para sobresalir en un mundo de seductores por el mejor ejemplar del sexo opuesto. De la elección de tu pareja depende el éxito de tu vida, ...

    Formatos: PDF, Epub, Kindle, TXT

  • Magna Culpa Nostra
    Magna Culpa Nostra Policial, Suspense por Iñaki Santamaría
    Magna Culpa Nostra
    Magna Culpa Nostra

    Descargas:
    1

    Páginas:
    311

    Publicado:
    Dec 2013

    En la ciudad italiana de Milán, han encontrado asesinado al arzobispo dentro del Duomo. El Comisario Jefe de la capital lombarda, Ricardo Arévali, será el enc...

    Formatos: PDF, Epub, Kindle, TXT