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.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|