|
Description: |
Intuitionism as first proposed by the Dutch mathematician L. E. J. Brouwer involved not simply the well-known refusal of the law of the excluded middle but a notion, that of free choice sequence which is prima facie incompatible with classical mathematics. The theory of choice sequences uses what are called Brouwer Operations: these code continuous functions on Baire space. Brouwer Operations give rise to a curious symmetric monoidal category. I shall present Brouwer Operations as elements in coinductive-inductive sets. I shall then describe the category and indicate how it may be used to give an explanation of Choice Sequences.
|
Date: |
|
Start Time: |
15:00 |
Speaker: |
Martin Hyland (Univ. of Cambridge, UK)
|
Institution: |
Univ. of Cambridge, UK
|
Place: |
Room 5.5
|
Research Groups: |
-Algebra, Logic and Topology
|
See more:
|
<Main>
|
|