為配合講者時間，該演講提前至下午一點三十分開始。
呂育道，台灣大學資訊工程系
Years 1879-1936 is an exciting time for logicians, mathematicians, computer scientists, and philosophers of science. We will briefly go over the history of foundations of mathematics for that period of time.
Slides now online.