Может быть, кому-либо будет интересно: Greetings! This is just a reminder

Question

Может быть, кому-либо будет интересно: Greetings! This is just a reminder

of the following coming online lecture on Logic and foundations of mathematics by Prof. Richard Zach in this May 17th.

Title:

The pre-history of automated reasoning

Speaker: Prof. Richard Zach (University of Calgary, Canada)
Time:
2023-05-17, 19:00-21:00 Beijing Time (UTC+8)
(Please note that this is Bejing time)
Organizer: Wuhan University, China

Abstract:
Automated theorem proving started around 1960 with the almost simultaneous proposal and implementation of several proof search and refutation algorithms which are still used today. These algorithms were based on the work of logicians working on Hilbert's program, especially Bernays, Herbrand, and Gentzen. Strikingly, most of the theoretical groundwork for automated theorem proving was laid in the 1950s by analytic philosophers. The talk will focus on the work preceding and influencing Alan Robinson's resolution proof system, found in the work of W. V. O. Quine, Burton Dreben, Martin Davis & Hilary Putnam, and Bernard Symonds & Roderick Chisholm.

The Way to join:
Zoom link for people outside China:
Zoom link:
https://us06web.zoom.us/j/82590045262?pwd=MjJCOTV2djY0VHNkSnZnclFEbnBiQT09
Id：825 9004 5262
passcode：888