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"

El tokenizer de Rexx. "Comentarios sobre sentido y referencia"

Lectura de "A tokenizer for Rexx and ooRexx"

"Comentarios sobre sentido y referencia"

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

Qué es el psicoanálisis. Psiquismo sin interioridad

Freud, Popper y el sentido común

Atribución y violencia simbólica

SQL. Rexx y las interfaces naturales. Regímenes de intensidad

Indicaciones para la preparación de un trabajo sobre el problema de la demarcación en Popper


Copyright © EPBCN, 1996-2024.