Fonoteca
Taller de Lógica, III conv., 2023-2024
Introducción a la aritmética de segundo orden. El axioma de inducción
Satisfactibilidad. Modelos. Axiomas y teoremas. Categoricidad
Espacios no euclidianos. Geodésicas. Categoricidad de la aritmética de segundo orden
Categoricidad de la aritmética de segundo orden (fin)
Programación en Rexx. Alfabeto y léxico básico
La conjetura de Collatz. Spaghetti code. Las instrucciones Signal e Interpret
Logaritmos. Flujo de control. Conjunto de instrucciones. Arquitecturas
Soporte experimental para Unicode en el lenguaje Rexx
Contrario y contradictorio. El cuadrado de las oposiciones y su caída en desgracia
Necesario y suficiente. Contrario y contradictorio
Todo está prohibido. La exclusión del tercero excluido. Siete impertinencias
Todo está prohibido. Consideraciones finales
Todo está prohibido. Postfacio
Frege. Introducción a "Sobre sentido y referencia"
Frege. "Sobre sentido y referencia"
El tokenizer de Rexx. "Comentarios sobre sentido y referencia"
Lectura de "A tokenizer for Rexx and ooRexx"
"Comentarios sobre sentido y referencia"
The Unicode Tools of Rexx
Proposiciones eternas. Inducción y deducción. El problema de la demarcación
El problema de la demarcación. Ciencia y no-ciencia y pseoduciencia
Popper. El problema de la demarcación
La ciencia: economía y poder
Codificaciones. Aritmetización de la lógica. El teorema de Goodstein
Debilidades de la argumentación de Popper
Copyright © EPBCN, 1996-2024.