[Alta-Logic] You're Invited: The Calgary Mathematics & Philosophy Lectures

[Faculty of Science, University of Calgary]

<!--This is a comment -->

Are computers changing how we view mathematics and the meaning of life itself?

One key development in twenty-first century mathematics has been the rise of proof assistants, software tools that support mathematics research with underlying proofs. These programs use intuitionistic language, i.e. the language of formal logic – and as a result, the mathematics field has increasingly adopted this language as well.

In this insightful talk, Prof. Restall will describe this relatively modern phenomenon and how it impacts questions about philosophy and metaphysics. This holds implications not only about how we can know the truths of mathematics, but also about the very content of whatever we can think and say.
Event Details

Date: Thursday, March 13, 2025
Time: 3:30 - 5 p.m.
Location: Science Theatres - Room 143

This event is offered in-person only.

Check our 2025 Series webpage <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5ZEClgXu1MHIkgjqMHewQo1L3IsEMPV-4KpwhSDBQJGRevQx45OLrYYzmiIEZqLayNA=> for the complete abstract and speaker bio.
REGISTER HERE <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5ZEClgXu1MHIkgjqMHewQo1L3IsEMPV-4KpwhSDBQJGRevQx45OLrYYzmiIEZqLayNA=>
About The Calgary Mathematics & Philosophy Lectures

The University of Calgary’s Mathematics and Philosophy Lecture Series is possible due to the generosity of the Watson Family Fund. Ian Watson, who started his career in geophysics and then later moved into computer science, credits his rich experience and education at the University of Calgary as the reason for wanting to give back to the university.

During Ian’s time at university, he majored in physics with courses in mathematics and philosophy. This unique blend of disciplines allowed him to grasp a broad and more complex view of the world. The Watson family hopes the University of Calgary continues to thrive as an innovative hub of research and development and as a global centre for leading edge science and discovery.

The Mathematics & Philosophy Lectures aim to introduce topics at the intersection of mathematics and philosophy to a general academic audience. They are organized by the Departments of Philosophy <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5Sr62QbRaVjw3Rv1lJ6a7yLmOxeF9kNFxCKYeD0dOrLiWwT3AqUNVF3XEIKusMPHah0=> and Mathematics and Statistics <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5TygZgoqA4yHaFEeC2ZKfcF3lS0igINz-m3a6UpawoPNsqh97padmTEzuU4LFOtrKUs=>, the Pacific Institute for the Mathematical Sciences <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5cO4DFbXQ2h9nZ75prRJ4bbv_9ZIVQcK1yQmNWckQytjWhOb8aXJ1RFTXu4K8Iye_L8=> (PIMS), and the Faculty of Science <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5TJeq4OpqHjE3dlyYjmTbx_qVa03bOHU6yfqtGPlmY5xO56OBEwbCd87E0tPwCmqMZU=>.
Contact scialumni at ucalgary.ca <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5X7usRajyMsW7jVy7zUpyn3sebki8SIfTu97uSXnaBN4RAvQzgqkvZqEXPeQ8U9iAPQ=> for details.
Unable to join us? Click here <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5VJp0rlX3_lXgc9sfJIxh1wgpcvlYS_Pn5TfPFHsXHKQneMZvQlnJuxwqd-zwJfTRPU=> and you will not receive any further reminders for this event.
science.ucalgary.ca <https://em.ucalgary.ca/MTYxLU9MTi05OTAAAAGY3Urs5TJeq4OpqHjE3dlyYjmTbx_qVa03bOHU6yfqtGPlmY5xO56OBEwbCd87E0tPwCmqMZU=>
You have received this message because you are a member of the alta-logic-l at mailman.ucalgary.ca Mailman list at the University of Calgary.
University of Calgary
 2500 University Drive NW
 Calgary, AB  T2N 1N4
 CANADA
<https://em.ucalgary.ca/dc/uq3EykqQY7h0Yyhe2BWhMHJdE7VrfNbXpy4YnJE5hV7-oiI4jgBDb37Tupj5QBFr/MTYxLU9MTi05OTAAAAGY3Urs5b9aNXPftYUzExCqNI1zrjfQrbrK86d-evR_8zwYmDgyrPv3_Jj7wgCWXyevulrRM8w=>   <https://em.ucalgary.ca/dc/qRrMJDEUlv6ss-mBIC1z6qCtZYfzELxJuCmT65EUSyco_9fIpoDJ9UIOdOKYb5eV/MTYxLU9MTi05OTAAAAGY3Urs5b9aNXPftYUzExCqNI1zrjfQrbrK86d-evR_8zwYmDgyrPv3_Jj7wgCWXyevulrRM8w=>   <https://em.ucalgary.ca/dc/fG5-PlwEnZR-IoSdwCtjInBOEnkCOl-88iHvoC1GNZwriVW0v684UoRzRhFdfW2jIw0k7LAVIAQIN6-9zzJvE1fsE6rm3KTTjykN3tSBsWM=/MTYxLU9MTi05OTAAAAGY3Urs5b9aNXPftYUzExCqNI1zrjfQrbrK86d-evR_8zwYmDgyrPv3_Jj7wgCWXyevulrRM8w=>   <https://em.ucalgary.ca/dc/M9Y3nowLDCcEv8uSbJAkaUXhEBB5rN7Y_3x87XmxUFS35t1OoiaimSpn4-SOkn54wBONvweZ88ICQ9WpB-I0Yg==/MTYxLU9MTi05OTAAAAGY3Urs5b9aNXPftYUzExCqNI1zrjfQrbrK86d-evR_8zwYmDgyrPv3_Jj7wgCWXyevulrRM8w=>   <https://em.ucalgary.ca/dc/WhZcq50CsoLLiaLsfDq43h_dxDITzpI_kbojoeNQVBoLr4fDM0MFmRHPYWUwwkTP/MTYxLU9MTi05OTAAAAGY3Urs5b9aNXPftYUzExCqNI1zrjfQrbrK86d-evR_8zwYmDgyrPv3_Jj7wgCWXyevulrRM8w=>

<!--This is a comment -->
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20250225/87f95ff6/attachment.html>