Bounded Arithmetic Reading Group

Speaker:

Date: Thursday, September 26, 2024

Time: 3:00 PM to 5:30 PM Note: all times are in the Eastern Time Zone

Public: Yes

Location: Seminar Room G575

Event Type:

Room Description:

Host:

Contact: Jiatu Li, jiatuli@csail.mit.edu

Relevant URL:

Speaker URL: None

Speaker Photo:
None

Reminders to:

Reminder Subject: TALK: Bounded Arithmetic Reading Group

Bounded arithmetic is a collective name of fragments of Peano arithmetic that are closely related to complexity classes, such as P, PH, and L. The study of bounded theories is relevant to the program of showing unprovability of complexity conjectures; moreover, the techniques in this field are found useful in complexity theory and cryptography. In this reading group, we will learn basics of bounded arithmetic from scratch (without assuming backgrounds in logic).
Organizer: Jiatu Li

Research Areas:
Algorithms & Theory

Impact Areas:

This event is not part of a series.

Created by Jiatu Li at Monday, August 12, 2024 at 3:18 PM.