University Seminars:Logic Across Disciplines-Decision Problems and Groups

Title:  Decision Problems and Groups
Speaker:   Iva Bilanovic, GWU
Date and Time:  Friday, September 7 2018, 01:00pm-02:00pm
Place: Rome Hall (801 22nd Street), Room 771

Abstract:  We will discuss decision problems, those that can be formulated as yes/no questions of the inputs, and how to determine the algorithmic complexity of a procedure that makes such decisions. Computable functions, the Kleene-Mostowski arithmetical hierarchy of sets, and other related notions and topics will be discussed at length. In the final portion of the talk, we will turn our attention to decision problems both for recursively presented and for computable groups.