Un resultado de completud para progresiones transfinitas de sistemas axiomáticos recursivamente enumerables

Examen profesional presentado por Antonio Nakid ( de Ciencias de la UNAM) el jueves 23 de agosto del 2018 en el Aula Sotero Prieto I del Amoxcalli, en la Facultad de Ciencias de la UNAM

Video de la plática
https://youtu.be/BXEy-eG3dO4

Fotos de miniatura y cartel del :
https://photos.app.goo.gl/9mmiXjfVydYMErNd6

Antonio Nakid en:

Facultad de Ciencias de la UNAM
www.fciencias.unam.mx/directorio/75326

Página de de Ciencias TV
https://www.facebook.com/Ciencias-TV-170487220017476

Videos más vistos del primer semestre del 2018
https://www.facebook.com/Ciencias.TV/playlist/2152932171611110/

Videos Académicos de (pláticas grabadas)
https://www.youtube.com/playlist?list=PLrg-5oUhFeiqvXI_Bxb5iOH25gXprez6o

Videos Académicos publicados
https://www.youtube.com/playlist?list=PLrg-5oUhFeirZBmxs7kDn_KrKHUJradjz

Agradecemos el apoyo de

Luis Ramos y Emilio Estevez quienes grabaron la plática

universo.math
http://universo.math.org.mx/
https://www.facebook.com/universo.math

Departamento de Matemáticas del CINVESTAV
http://www.math.cinvestav.mx/

Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/