Speaker : Meng-Che Ho (California State University Northridge)
Title : Classification from the point of view of logic
Time : 2021-08-05 (Thu) 15:30 - 16:30
Place : Auditorium, 6 Floor, Institute of Mathematics (NTU Campus)
Abstract: Mathematical Logic seeks to analyze Mathematics via the application of formal logic. In many areas of mathematics, one major goal is to classify all mathematical structures of a certain kind. Naturally, logicians have tried to formalize the notion of classification. We will discuss classification through the lenses of computable structure theory and descriptive set theory. It turns out that Logic can provide ways to reduce one classification problem to another, and by doing so, give lower bounds on the complexity of a classification problem. We will discuss some instances of such hardness results, as well as how some of these results are inadequate in some situations.
★ This talk assumes no prior experience with Logic.
★ Visitors need to show the gate guard NTU Visitor Pass to enter the campus. Please fill the following form to apply for it. We will send you Visitor Pass via email before Aug. 5.
★ Registration deadline: 3PM, Aug. 4
Registration form