University of Cambridge > > Trinity Mathematical Society > The Humble Arrow in Mathematics

The Humble Arrow in Mathematics

Add to your list(s) Download to your calendar using vCal

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

Part of the TMS Symposium

There are two prominent notions in mathematics denoted by an arrow: one is the idea of a mapping from one sort of thing to another, and the other is implication. Prima facie, these two notions seem rather unrelated, but in fact there is a deep connection between the two which manifests itself in several different ways. The fundamental idea came from the Brouwerian school of intuitionism and has since been developed from an informal principle into various rigorous equivalences, and it remains a topic of research even today.

This talk is part of the Trinity Mathematical Society series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


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