Seminario Mundo - Lógica - Modelos - Edwin Celis - Aproximación a la teoría de aprendizaje

[Edwin Rodrigo Celis Montealegre]

Continuamos este próximo martes con nuestro Seminario Mundo/Lógica/Modelos.

Martes 9 de abril, 16:15

Enlace: https://meet.google.com/iat-bdgh-qkm

Edwin Celis (UNAL)

Aproximación a la teoría del aprendizaje en matemáticas.

Resumen:En esta charla, presentaremos la propiedad UDTFS (Uniform Definability of Types over Finite Sets) y las fórmulas con la NIP (No Independence Property). Posteriormente, esbozamos un esquema de demostración para una proposición fundamental en la intersección de ambas conceptos: dada una fórmula $\varphi(x,y)$ en el lenguaje $L$ y $T$ una teoría de primer orden en el mismo lenguaje, una fórmula $\varphi(x,y)$ es NIP si y sólo si tiene la propiedad UDTFS  en el contexto de $T$. Seguiremos las ideas expuestas por Kaplan y Eshel. 

Atentamente

Edwin Celis

Estudiante Doctorado en Ciencias-Matemáticas

Universidad Nacional de Colombia

Aviso legal: El contenido de este mensaje y los archivos adjuntos son confidenciales y de uso exclusivo de la Universidad Nacional de Colombia. Se encuentran dirigidos sólo para el uso del destinatario al cual van enviados. La reproducción, lectura y/o copia se encuentran prohibidas a cualquier persona diferente a este y puede ser ilegal. Si usted lo ha recibido por error, infórmenos y elimínelo de su correo. Los Datos Personales serán tratados conforme a la Ley 1581 de 2012 y a nuestra Política de Datos Personales que podrá consultar en la página web www.unal.edu.co. Las opiniones, informaciones, conclusiones y cualquier otro tipo de dato contenido en este correo electrónico, no relacionados con la actividad de la Universidad Nacional de Colombia, se entenderá como personales y de ninguna manera son avaladas por la Universidad.