banner USF Home College of Arts & Sciences OASIS myUSF USF A-Z Index

USF Home > College of Arts and Sciences > Department of Mathematics & Statistics

Mathematics & Statistics

Discrete Mathematics
(Leader: )

Monday, January 22, 2018

Title
Speaker
Time
Place

On Logic Definition and Comparison Games and First-Order Logic
Daviel Leyva
2:00pm-2:50pm
CMC 108

Abstract

During the Twentieth century, Leon Henkin, Jaakko Hintikka, and others connected game theory and logic. In this talk, we shall introduce the basic ideas connecting these two branches of mathematics as well as a method to obtain semantics from syntax via games developed by Hintikka. We shall also see how we can tell if two structures are “indistinguishable” (in a given logic) from one another as prescribed by Roland Fraïssé and Andrzej Ehrenfeucht.