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
Ciclo de colóquios no âmbito da Exposição "E3 - Einstein, Eddington e o Eclipse"

Colóquio por Pedro Ré (MARE, Faculdade de Ciências, Universidade de Lisboa).

Dia Europeu da Música em Ciências ULisboa

Concerto solidário, cujos fundos irão reverter para a Associação Ciências Solidária, pelos conjuntos 

MEC2019 - 5.ª Conferência sobre Morfodinâmica Estuarina e Costeira

Este evento pretende ser um fórum de apresentação de trabalhos de investigação relacionados com a morfodinâmica das zonas costeiras, e de discussão de ideias, conhecimento e informação sobre a zona costeira.

 

Datas importantes:

Ações de Formação Pedagógica para Docentes

A comunicação é uma ferramenta essencial no Ensino e na relação Docente-Estudante. As estratégias comunicacionais inerentes são várias e compõem um leque variado e indispensável para qualquer interveniente do Sistema Educativo.

IX Jornadas do Departamento de História e Filosofia das Ciências 2019

Apresentação por Pós-doc e alunos de Doutoramento do DHFC

 

Programa de Estágios de Verão FCUL

O Programa de Estágios de Verão FCUL é um programa de estágios extracurriculares, de curta duração, que pretende proporcionar aos estudantes uma experiência de conta

Cursos Avançados cE3c 2018/2019

This course offers an overview of the different ways to measure biodiversity, and provides tips for the stratification of primary biodiversity data and the construction of variables that describe its various facets.

Ações de Formação Pedagógica para Docentes

O objetivo deste curso é apoiar o desenvolvimento docente, incentivando a reflexão sobre estratégias de ensino que podem ser utilizadas no ES.

Logótipo ERC - European Research Council

Ciclo de sessões de divulgação das oportunidades ERC - European Research Council para 2020.

 

ERC Days @ Porto, 25 e 26 de junho

Por Byungnam Kahng (Department of Physics and Astronomy, Seoul National University).

Por Fabio Deelan Cunden (University College Dublin).

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

Conferências CIUHCT "Ricardo Carlos Smith, a forgotten pioneer of Portuguese horticulture"

As Conferências do CIUHCT são um ciclo de palestras organizado anualmente pelo CIUHCT acerca de assuntos de História das Ciências e da Tecnologia.

Ciclo de colóquios no âmbito da Exposição "E3 - Einstein, Eddington e o Eclipse"

Colóquio por Marta Macedo (Instituto de Ciências Sociais, Universidade de Lisboa).

O evento conta com a participação, na qualidade de keynote speaker, de Filipe Duarte Santos (Ciências ULisboa).

The main goal of this 2-days workshop is to gather  researchers, post-docs and students from all Europe, working on Planetary Science studies to discuss about several topics related with Planetary Atmospheres (including exoplanets), and promote collaborations on the basis

Logotipo Lisboa 2020

O Programa Lisboa 2020 abre concursos para Investimentos em Infraestruturas Tecnológicas.

Verão na ULisboa 2019

A edição de 2019 da iniciativa Verão na ULisboa decorre nas semanas de 01 a 05 de julho (alunos do 10.º,11.º e 12.º ano) e de 08 a 12 de julho (alunos do 7.º, 8.º e 9.º ano).

As provas, requeridas por José Manuel Lourenço Coutinho Afonso, decorrem nos dias 01 e 02 de julho de 2019.

Cursos Avançados cE3c 2018/2019

Under the general framework of Global Change Ecology, the goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

Ciclo de colóquios no âmbito da Exposição "E3 - Einstein, Eddington e o Eclipse"

Colóquio por Duarte Pape (Paralelo Zero).

Izabella Campolina Silva e Hemprich apresenta o trabalho de projeto "Consortia optimization for European Space Agengy proposals based on cognitive computing".

Ciência 2019 - Encontro com a Ciência e Tecnologia em Portugal

O evento procura reunir a comunidade científica em torno de um programa multidisciplinar que aborda os desafios científicos e societais atuais, tendo por base os 17 Objetivos de

Cursos Avançados cE3c 2018/2019

Currently, climate changes or alterations are known to be reflected on the stable isotope ratios of Hydrogen, Nitrogen, Carbon, Oxygen and Sulphur present in atmospheric gas forms, fresh or ocean water, as well as in plants and animals and organic matter in the soil.

Páginas