Objetivos

• Se revisarán distintas nociones clave en busca de mayor precisión conceptual y terminológica, considerando autores como Barendregt, Bolander, Grim y Rescher, entre otros, y sus definiciones de reflexividad y auto-referencialidad.

Lecturas

• Bolander, Self-reference ✅
• Bolander, Self-reference and Logic ✅
• Grim ✅
• Lim ✅
  • GoL en Haskell: ‣
• GEB ✅
• Sullyman ✅
• The Philosophical Computer ✅
  • Toda la introducción sirve de justificación para el trabajo

Notas

• https://gitmind.com/app/docs/mq49wc1f

• Vicious circles y The Liar

  Vicious circles

  The Liar

Set theory

Introduction to Infinity, 1 Essence of Set Theory

https://ncatlab.org/nlab/show/pure+set

Programación de paradojas

“Esta oración” es “Esta oración es falsa”

• El mentiroso reforzado