Mathematical Logic Webinar

Some recent developments in proof mining

Transmissão através de Videoconferência

Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).

Abstract: During the last two decades a systematic program of `proof mining' emerged as a new applied form of proof theory and has successfully been applied to a number of areas of core mathematics. We are primarily concerned with the extraction of hidden finitary and combinatorial content from proofs that make use of infinitary noneffective principles. The main logical tools for this are so-called interpretations. Logical metatheorems based on such interpretations have been applied with particular success in the context of nonlinear analysis including fixed point theory, ergodic theory, continuous optimization, game theory and abstract Cauchy problems. The combinatorial content can manifest itself both in explicit effective bounds as well as uniformity results.

In this talk we will outline some recent new developments in proof mining and focus on the following points:

  • tameness of bounds extracted,
  • new qualitative results obtained as a byproduct of proof mining,
  • mathematically enriched metastability results as finitizations of theorems going beyond mere convergence.

Zoom |  ID da reunião: 890 8479 3299 - senha de acesso: 409604

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

This course will teach how to apply the SWAT eco-hydrological model to assess the impacts of climate and associated changes on water-soil-plant interactions, and consequences to water resources, soil erosion and nutrient cycles.

Mathematical Logic Webinar, por Anton Freund (Technische Universität Darmstadt).

Geometry Webinar, por Pierre Schapira (Professor emeritus Sorbonne University).

Mapa de Portugal e informações sobre os Censos 2021

Os Censos 2021 estão aí! Esteja atento à sua caixa de correio.

Imagem ilustrativa da ação de formação

Formação de Comunicação em Ciência(s), por Rita Ferreira (InnovPlantProtect, Gestora de Comunicação / NOVA FCSH-ITQB NOVA, Mestranda / Rede SciComPt, sócia).

This course aims to provide students with basic knowledge of R programming, allowing them to manipulate and visualize data with R

This course aims to provide students with statistical knowledge and tools to manipulate, analyze and visualize biological data with R. Introduction to modeling, simulations and Bayesian statistics.

Logótipo da iniciativa

"Património e divulgação em Paleontologia" é o tema escolhido para esta edição do EJIP.

A mostly practical course, offering an overview on different community ecology and macroecological methods and software.

Logótipo da conferência, sobre um fundo branco

THE meeting place for Mobility Management practitioners and experts all over Europe.

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.

Título e data do evento

An overview of recent developments and applications of the algebraic and analytic theory of D-modules.

This course aims at enabling the participants to use different methods to measure the impacts of pollutants on ecosystems.

How to predict the three-dimensional structure of nucleic acid and proteins from their sequence and use the acquired knowledge to improve or create new methodologies in molecular biology research and diagnostics?

Representação da cidade de Lisboa, acompanhada do título da conferência

The 22nd in the series of triennial conferences which bring together the Particle and Nuclear Physics communities.

Logótipo do evento, sobre um fundo branco

Welcome to an unique silicon for photovoltaics event in Lisbon!

Logótipo da Unite!

Summer School no âmbito da Rede UNITE! (University Network for Innovation, Technology and Engineering), de que faz parte a ULisboa, com inscrições a decorrer até 15 de maio de 2021.