Semana del 18 de Septiembre

Lecturas:
– Fichas (1 y 2) de Teoría de Conjuntos
– Cap 4 Ficha Metalógica (hasta Metateorema 4.6)

Actividades:

Reflexione

– ¿Por que no puede encontrarse un argumento diagonal para probar que hay más números naturales que impares?
– ¿Puede existir un conjunto universal?
– ¿Cuál es el tamaño del conjunto de fórmulas del lenguaje de la lógica proposicional?
– ¿Cómo podemos hacer pruebas acerca de objetos cuyo tamaño no sólo es infinito, sino que no es numerable?
– ¿Qué es una prueba? Para qué hacemos pruebas?
– Cuántos pasos puede tener una prueba?
– ¿Qué ralación hay entre un sistema axiomático y uno de deducción natural?
– ¿Qué metapropiedades tiene la noción de prueba?

Leave a Reply

Your email address will not be published. Required fields are marked *