Seminário de Lógica Matemática

On the elimination of arithmetical comprehension in proof mining

Sala 6.2.33, FCUL, Lisboa

Por Pedro Pinto (Universidade de Lisboa).

Abstract: The Proof Mining program makes use of functional interpretations in order to analyse non-effective mathematical proofs with the purpose of extracting new quantitative information. A result by Yao and Noor [7, theorem 3.3] that states the strong convergence of a generalized version of the Halpern type Proximal Point Algorithm was recently analysed. The original proof relies on a weak sequential compactness argument, a projection argument and makes use of arithmetical comprehension in a crucial way. I will comment on the elimination of these arguments in the quantitative version and focus on how it was possible to bypass the arithmetical comprehension needed in the original proof. The analysis presented uses the Bounded Functional Interpretation [2] instead of the more usual Kohlenbach's Functional Monotone Interpretation [4] and comes as a natural sequel of a paper by L. Leustean and P. Pinto [5].

This is joint work with B. Dinis and L. Leustean.

References:

[1] B. Dinis, L. Leustean and P. Pinto, Proof mining of the proximal point algorithm with multi-parameters (in preparation).
[2] F. Ferreira, P. Oliva, Bounded functional interpretation, Annals of Pure and Applied Logic, 135:73--112, 2005.
[3] F. Ferreira, L. Leustean and P. Pinto, On the removal of weak compactness arguments in proof mining (in preparation).
[4] U. Kohlenbach, Applied Proof Theory: Proof Interpretations and their Use in Mathematics, Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2008.
[5] L. Leustean and P. Pinto, Quantitive results on Halpern type proximal point algorithms (in preparation).
[6] Wang and Cui, On the contraction-proximal point algorithms with multi-parameters, Journal of Global Optimization, 54(3):485--491, 2012.
[7] Yao and Noor, On convergence criteria of generalized proximal point algorithms, Journal of Computational and Applied Mathematics, 217(1):46--55, 2008.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Por Giuseppe Buttazzo (Università di Pisa).

Por Pedro Miguel Duarte (Faculdade de Ciências da Universidade de Lisboa).

Ciências na feira Unlimited Future

A feira Unlimited Future conta, uma vez mais, com a presença da Faculdade de Ciências, entre outras instituições.

Por Lucas Lamelas López (cE3c /GBA, Universidade dos Açores, Departamento de Ciências e Engenharia do Ambiente).

Por Carlos da Camara (Departamento de Engenharia Geográfica, Geofísica e Energia / Instituto Dom Luiz ULisboa).

Por Catarina Quintans (LIP).

AMBER is a newly proposed fixed-target experiment at CERN devoted to various fundamental QCD measurements, with a Letter of Intent recently made public.

60 Minutos de Ciência "Biologia e Cancro: mais próximos da cura?"

A biologia tumoral condiciona vários desafios aos clínicos que se dedicam ao tratamento do cancro.

Por Luisa Fiorot (Università degli Studi di Padova).

VIII Jornadas APG - O novo paradigma energético

Nesta edição das Jornadas APG, pretende-se abordar o mix energético sob diferentes perspetivas, por especialistas com formação diferenciada, e discutir o papel de cada interveniente na procura de soluções de qualidade para as gerações futuras.

Noites no Observatório "Estranhas Formas de Vida"

Que vida poderá existir noutros planetas? Será que a “nossa” Terra, tão acolhedora, poderá albergar organismos capazes de sobreviver nas condições de outros lugares do Sistema Solar?

Por Roberto Giuntini (Università di Cagliari).

Cada dia um workshop diferente, dedicado a uma das soft skills atualmente mais valorizadas nos novos talentos.

4 Ways 4 The Future

Alexandra Symeonides defende a tese "Statistical solutions and invariant measures in Hydrodynamics".

Acorda! Da Conversão Ecológica à Transformação Social

A urgência das alterações climáticas tem chamado cada vez mais a atenção dos media na sequência de várias catástrofes naturais, enquanto se vem a notar uma crescente preocupação política e ativismo pelo desenvolvimento sustentável.

The course starts with a revision of multiple linear regression, followed by a basic introduction to generalised additive models (GAM) to analyse continuous data, count data and binary/proportional data.

Concurso FCT de projetos para a Investigação em Fogos Florestais

Estão abertas, até 26 de fevereiro de 2019, as candidaturas para a segunda edição do concurso de Projetos de Investigação Científica e Desenvolvimento Tecnológico no âmbito da Prevenção e Combate de Incêndios Florestais.

Ciência e Império

Este seminário destina-se à apresentação de trabalhos em curso sobre as inter-relações entre conhecimento científico, tecnologia e formações imperiais.

Seminário Permanente de Astronomia Antiga | CIUHCT/UL - DHFC/FCUL "Machina mundi: engrenagens do séc. XVI que reproduzem os modelos Ptolemaicos"

Este seminário é um curso livre, aberto à comunidade académica e a todos os interessados, com entrada gratuita.

Por Hugo Beirão da Veiga (CMAFcIO e Università di Pisa).

Páginas