Samuel Coskey: Introduction to continuous logic

Wednesday, March 4 from 3 to 4pm
Room: Math 124
Speaker: Samuel Coskey (BSU)
Title: An introduction to continuous logic

Abstract: Continous logic is a proper generalization of first order logic where the usual binary truth values are replaced by the unit interval $[0,1]$. The models for this logic are metric structures, which are metric spaces together with continuous functions and $[0,1]$-valued relations. Just as ordinary logic has typical applications in discrete math, continuous logic has applications in analysis. In this talk we will introduce just the basic concepts and theory of continuous logic.

Leave a Reply

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

Time limit is exhausted. Please reload CAPTCHA.