University of Cambridge > Talks.cam > Trinity Science Society > Panel discussion on logic and mathematics

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Panel discussion on logic and mathematics

Download to your calendar using vCal

If you have a question about this talk, please contact .

Presented by the TCSS , in collaboration with the Trinity Mathematical Society.

Panellists:

•Dr. Tom Forster (Mathematics/Philosophy)

•Prof. Martin Hyland (Mathematics)

•Prof. Larry Paulson (Computing)

•Dr. Peter Smith (Philosophy)

Wine and refreshments for the first 15 minutes and at the end

This talk is part of the Trinity Science Society series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Domus Room, Clare College Manatee Room, David Attenborough Building (DAB) EcoHouse

Other talks

CSAR lecture: Decarbonizing road freight (TBC) Thelocactus Title to be confirmed Geometry and Generalization: The case of Grokking Am I a Member? Auditing Private Machine Learning Talk TBC
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity