El universo de Gödel : La problemática de la consistencia y la lógica proposicional

¿Puede un ser humano racional estar en una posición en la que no le es posible creer que es consistente, sin por ello perder su consistencia?

Esta es la principal pregunta que subyace al compendio de ejercicios que nos presenta Smullyan. Los acertijos y las paradojas reunidos aquí están inspirados en los célebres teoremas de la incompletitud y la indecibilidad de Kurt Gödel. Gran parte de la acción del libro transcurre en una imaginaria isla poblada por caballeros y bribones: los primeros siempre formulan enunciados verdaderos, mientras que los segundos siempre formulan enunciados falsos, y cada habitante pertenece necesariamente a uno de los dos grupos. En este escenario, conocerás a una serie de excéntricos personajes que acuden a ese lugar mágico para descubrir la verdadera identidad de los nativos. ¿Cómo podrá saber el señor McGregor si le engaña algún habitante? ¡Desconfía de honestos y mentirosos a la par y acude a la lógica simbólica para ayudarle! Con esta valiosa técnica podrás, además, resolver sistemáticamente grupos enteros de acertijos del tipo caballero-bribón.

Start din 14-dagers gratis prøveperiode

  • Full tilgang til hundretusener av lydbøker og e-bøker i vårt bibliotek
  • Opprett opptil 4 profiler – inkludert barneprofiler
  • Les og lytt offline
  • Abonnement fra 149 kr per måned
Prøv gratis nå

Si opp abonnementet når som helst

El universo de Gödel : La problemática de la consistencia y la lógica proposicional

¿Puede un ser humano racional estar en una posición en la que no le es posible creer que es consistente, sin por ello perder su consistencia?

Esta es la principal pregunta que subyace al compendio de ejercicios que nos presenta Smullyan. Los acertijos y las paradojas reunidos aquí están inspirados en los célebres teoremas de la incompletitud y la indecibilidad de Kurt Gödel. Gran parte de la acción del libro transcurre en una imaginaria isla poblada por caballeros y bribones: los primeros siempre formulan enunciados verdaderos, mientras que los segundos siempre formulan enunciados falsos, y cada habitante pertenece necesariamente a uno de los dos grupos. En este escenario, conocerás a una serie de excéntricos personajes que acuden a ese lugar mágico para descubrir la verdadera identidad de los nativos. ¿Cómo podrá saber el señor McGregor si le engaña algún habitante? ¡Desconfía de honestos y mentirosos a la par y acude a la lógica simbólica para ayudarle! Con esta valiosa técnica podrás, además, resolver sistemáticamente grupos enteros de acertijos del tipo caballero-bribón.