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 Pedro Filipe (Instituto Superior Técnico, Universidade de Lisboa).

Raquel Ribeiro e Sousa defende a dissertação "Desenvolvimento de heurísticas construtivas e melhorativas para o planeamento de cirurgias eletivas num hospital público".

EIT Health Innovation Days Winners Event

A equipa vencedora dos EIT Health Innovation Days em Ciências ULisboa é uma das participantes no

Por Maurício Misquero (Universidade de Granada).

Welcome Session - PhD Support Programme

As atividades de apoio aos Doutoramentos de Ciências foram recentemente organizadas no PhD Support Programme.

Nuno Rafael Marques Dionísio defende a dissertação "Improving Cyberthreat Discovery in Open Source using Deep Learning Techniques".

Observatório Astronómico de Lisboa - Arquitetura da Obra

O Sustenta - Laboratório de Projeto Sustentável do CIAUD (FA-ULisboa), em colaboração com a editora Caleidoscópio, encontra-se neste momento a organizar o lançamento do livro “Observatório Astronómico de Lisboa – Arquitetura da Obra”, resultante de um projeto de investigaç

Por Helena Penalva (DEG, ESCE, Instituto Politécnico de Setúbal).

Exposição "Biologia Matemática sem fronteiras"

Esta mostra surge como um breve olhar sobre algumas das aplicações da matemática na biologia, exemplos de como eliminando fronteiras se consegue ir mais longe.

Filipa Silva defende a dissertação "Perfusion MRI quantification for Multi-Echo EPIK sequence in brain tumor patients".

Sara Filipa Coelho Guerreiro defende a dissertação "Automating daily linac quality control using portal images".

Workshop Gestão Emocional "Afinal é para me controlar ou emocionar?"

Este workshop procura que os participantes desenvolvam a capacidade de diferenciar emoções, tomar consciência da sua experiência interna, permitindo-se relacionar com as suas emoções de uma forma mais adaptativa.

Por Davide Masoero (Grupo de Física Matemática da Universidade de Lisboa).

Por Riccardo Scala (University of Rome 1, “La Sapienza”).

Susana Moniz Alves defende a dissertação "Avaliação das condições de liquidez em gestão de pensões em sistemas contributivos e não contributivos".

Por Reinaldo Pimentel (cE3c - GBA / Island Environmental Risks & Society - IERS).

Bernardo Pinto de Almeida defende a dissertação "Uma Linguagem de Programação com tipos de sessão independentes do contexto".

Doutoramento em História e Filosofia das Ciências

Provas do 3.º ano de Doutoramento.

Doutorando: Catarina Madruga.

Kevin Morgado de Sousa defende a dissertação "Pricing American-Style Options Under the Heston Model".

60 Minutos de Ciência "Geoconservação em meio urbano: o que se fez e não se fez"

Dedicada ao património geológico e à sua conservação em meio urbano, recebemos o Professor Doutor Galopim de Carvalho, entusiasta divulgador das geociências e antigo diretor do MUHNAC-ULisboa, em mais uma sessão de 60 Minutos de Ci

A Associação Ludus e o Departamento de História e Filosofia das Ciências da Faculdade de Ciências da Universidade de Lisboa tomaram a iniciativa de organizar regularmente um conjunto de conferências de alto nível.

Filipa Maria Brum Silva Dias defende a dissertação "O modelo de financiamento das unidades de saúde verticalmente integradas em Portugal: Desafios e Oportunidades".

The workshop will focus on various problems dealing with Matrices, like matrix polynomials, low rank perturbations, completion problems and related combinatorics including applications of Matrix Theory in engineering.

Marte 2030 - Ciclo de conversas com os pés assentes em Marte "Sobreviver em Marte"

Por Pedro Machado (IA/Faculdade de Ciências da Universidade de Lisboa) e Isabel Abreu (ITQB-NOVA).

The Seminar of Representation Theory and Related Areas was started in 2010 and emerged from an informal seminar of mathematicians from the Maths Departments of the Universities of Coimbra, Lisboa and Porto, with research interests in Representation Theory of Groups and Algebras, as well as Combin

Páginas