Una axiomática en un ambiante de verificación formal (Lourdes del Carmen González)

Plática dada por Lourdes del Carmen Gonzalez (Facultad de Ciencias de la UNAM) en el seminario ∑umate del Departamento de Matemáticas de la UNAM, el martes 13 de febrero del 2018 en la Sala Leonila Vázquez del Amoxcalli, en la Facultad de Ciencias de la UNAM

Resumen:
En esta plática exploraremos un sistema de deducción de estilo que caracteriza a la lógica modal S4.
Este sistema no es tradicional ya que la noción de derivación o prueba considera hipótesis activas para realizar
una deducción. Esta presentación del sistema tiene como motivación asegurar que el Teorema de la Deducción se
cumple en la lógica modal.

Realizamos este estudio en el marco del asistente de pruebas Coq, un sistema riguroso que sigue una estricta
filosofía constructivista para ofrecer seguridad en las formalizaciones y demostraciones alrededor de cualquier
teoría. Veremos que esta disciplina exige un cambio en la forma de razonar y llevar a cabo pruebas, incentivado
por la programación declarativa y el razonamiento hacia atrás.

Vídeo de la plática
https://youtu.be/dxEw72_DE-Q

Foto de miniatura del video

Cartel de la plática
https://photos.app.goo.gl/LWHSfuUdupWvqRPa2

Información de Lourdes del Carmen González :
http://www.fciencias.unam.mx/directorio/54026
https://mx.linkedin.com/in/lourdes-del-carmen-gonz%C3%A1lez-huesca-6a7407119
https://sites.google.com/a/ciencias.unam.mx/luglzhuesca/
https://www.researchgate.net/profile/Lourdes_Del_Carmen_Gonzalez_Huesca
https://dblp.uni-trier.de/pers/hd/g/Gonz=aacute=lez=Huesca:Lourdes_Del_Carmen
https://www.youtube.com/channel/UC8RDfDU76TN-gvGVJkLuN7Q

Página del seminario ∑umate
http://lya.fciencias.unam.mx/pmr/sumate/

Otras pláticas del seminario ∑umate
https://www.youtube.com/playlist?list=PLrg-5oUhFeipxgqInqrprCdn5lTLyUzHq

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

Videos de en Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR90fx_S7FKrLHqrCLT7ihya

Videos de Matemáticas en Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR8iyKKoKUGpAzF8rLWIu4A4

Videos Académicos publicados por Ciencias TV
https://www.youtube.com/playlist?list=PLiD-IJzweXR9CMW8piN4Pf1HjgSiGjLyi

Album de fotos de miniatura y carteles de los videos Académicos publicados por Ciencias TV
https://goo.gl/photos/EXEAiLUiLjKrHTeX9

Agradecemos el apoyo de
Rodrigo Cruz quién grabó la plática

Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/
https://www.facebook.com/Facultad-de-Ciencias-214278861928417/?fref=ts

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

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