***CSHPM Online Colloquium: Richard Zach (Oct 28th)***
2 views
Skip to first unread message
Nicolas Fillion
Oct 24, 2022, 10:32:24 PM10/24/22
to philosop...@googlegroups.com
***CSHPM Online Colloquium: Richard Zach (Oct 28th)***
The Canadian Society for History and Philosophy of Mathematics (http://www.cshpm.org/) invites members as well as the broader scholarly community to the next talk in our online colloquium series via Zoom. Participants are encouraged to become members (for as little as $10-$30/year, depending on your employment status), but it is not required. Non-members can get regular updates on our activities by liking us on Facebook (https://www.facebook.com/cshpmschpm). The talk will last 30 minutes, followed by a Q&A.
Richard Zach, Philosophy, University of Calgary, will deliver the 23rd talk of the CSHPM Online Colloquium series.
DATE: October 28th
TIME: Vancouver 11:00; Montreal/Toronto 14:00
TITLE: Hilbert's program and infinity
ABSTRACT: The primary aim of Hilbert's proof theory was to establish, using finitary means only, the consistency of classical mathematics. Hilbert's strategy for doing this was to eliminate the infinite (in the form of unbounded quantifiers) from formalized proofs using the so-called epsilon substitution method. The result is a formal proof which does not mention or appeal to infinite objects or "concept-formations". However, as later developments showed, the consistency proof itself lets the infinite back into proof theory, through a back door, so to speak.
Please distribute this information to all who might be interested. The information to join the session via Zoom is as follows:
Topic: CSHPM Colloquium: Richard Zach
Time: Oct 28, 2022 11:00 PM Pacific Time (US and Canada)
Join Zoom Meeting
https://sfu.zoom.us/j/67508173346?pwd=QktQbXZKdlhxWjg1YjZ3a1VBSjV1UT09
Meeting ID: 675 0817 3346
Password: 597994
The Canadian Society for History and Philosophy of Mathematics (http://www.cshpm.org/) invites members as well as the broader scholarly community to the next talk in our online colloquium series via Zoom. Participants are encouraged to become members (for as little as $10-$30/year, depending on your employment status), but it is not required. Non-members can get regular updates on our activities by liking us on Facebook (https://www.facebook.com/cshpmschpm). The talk will last 30 minutes, followed by a Q&A.
Richard Zach, Philosophy, University of Calgary, will deliver the 23rd talk of the CSHPM Online Colloquium series.
DATE: October 28th
TIME: Vancouver 11:00; Montreal/Toronto 14:00
TITLE: Hilbert's program and infinity
ABSTRACT: The primary aim of Hilbert's proof theory was to establish, using finitary means only, the consistency of classical mathematics. Hilbert's strategy for doing this was to eliminate the infinite (in the form of unbounded quantifiers) from formalized proofs using the so-called epsilon substitution method. The result is a formal proof which does not mention or appeal to infinite objects or "concept-formations". However, as later developments showed, the consistency proof itself lets the infinite back into proof theory, through a back door, so to speak.
Please distribute this information to all who might be interested. The information to join the session via Zoom is as follows:
Topic: CSHPM Colloquium: Richard Zach
Time: Oct 28, 2022 11:00 PM Pacific Time (US and Canada)
Join Zoom Meeting
https://sfu.zoom.us/j/67508173346?pwd=QktQbXZKdlhxWjg1YjZ3a1VBSjV1UT09
Meeting ID: 675 0817 3346
Password: 597994
Nicolas Fillion
Oct 25, 2022, 1:57:34 PM10/25/22
to philosop...@googlegroups.com
Correction: Please note that the talk is at *****11 AM*******, Pacific time, not PM!
Topic: CSHPM Colloquium: Richard Zach
Time: Oct 28, 2022 11:00 AM Pacific Time (US and Canada)
Richard Zach
Oct 29, 2022, 6:15:45 PM10/29/22
to pa...@ehess.fr, Nicolas Fillion, philosop...@googlegroups.com
It was not but here are my slides. -R
On 2022-10-28 21:22, adriano paolo
shaul gershom palma wrote:
good evening, was this "recorded"? if so could you provide the linking to the files?
wehrlos aber nicht ehrlos
Otto Wels1933.3.23
--
You received this message because you are subscribed to the Google Groups "Philosophy of Mathematics Association" group.
To unsubscribe from this group and stop receiving emails from it, send an email to philosophyofma...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/philosophyofmath/CAGKGK%2BbdvnryPPZJuQoyRZtM4y8FAFZgi4cKnvMVP%2BxA1Qo7GA%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages