Matemática

Meeting on Functional Analysis, Linear Structures and Applications

This meeting aims to develop interactions between mathematicians working in Functional Analysis, Group Representation Theory, Matrix Theory and Linear Systems, and other relevant areas. Participation is open to anyone with interests in these and other related areas.

This 2-day Workshop will be held at the Universidade do Algarve on 5-6 September 2017. The programme will consist of 45 minutes’ talks presented by invited speakers.

On the afternoon of Wednesday, 6th September, there will be a round table restricted to members and collaborators of CEAFEL.

Em 2016 o Relógio de Sol foi o recurso educativo galardoado com o Prémio de Excelência da Casa das Ciências. Relógio de Sol é uma aplicação interativa centrada no funcionamento dos relógios de Sol, reúne informação sobre os fenómenos astronómicos ligados à medição do tempo.

A quantitative analysis of a theorem by F.E.Browder guided by the bounded functional interpretation

Por Pedro Pinto (Universidade de Lisboa, CMAF-CIO).

Abstract: In [2], Kohlenbach did an analysis of the proof of Browder's theorem (in [1]) via the monotone functional interpretation. I will be following the same outline but guided by the bounded functional interpretation ([3], [4]). Although the bounds obtained are the same, this example provides a first look at how the bounded functional interpretation works in practice.

Páginas