- in memoriam: José Rodrigues Dias (1951-2023)
- in memoriam: Vladimir Goncharov (1962-2017)
- in memoriam: Graça Carita (1975-2016)
- Notícias
- Eventos
-
Seminários
- The representation theory of the unitriangular group and other related groups
- On Computational Properties of Cauchy Problems
- Sets as Properties
- Artinian algebras and Jordan type
- Iterated Systems, Networks and Applications
- Isogeometric Analysis: mathematical and implementational aspects, with applications
- Sampling elusive populations: methods and applications
- Existence, non-existence and multiplicity results for some third-order periodic problems
- Convergence: what’s logic got to do with it?
- The Mathematics of Fires
- Old-age mortality deceleration and the modal age at death: insights from dynamic laws of adult mortality
- Stochastic differential equations models of animal growth and profit optimization in cattle raising
- Multidisciplinary approach for a real problem: modeling road traffic accidents
- The finite elements method and Freefem software
- DeepParticle: deep-learning invariant measure by minimizing Wasserstein distance on data generated from an interacting particle
- Kinematics: classification methods and combinatorial invariants for complex motion in biology
- Fractional Poisson Analysis in one Dimension
- Mathematics driven by epidemics
- ALMOST-POSITIONED NUMERICAL SEMIGROUPS
- A Delta approximation method on estimation for SDE mixed models
- Classificação de uma família de nós de Lorenz redutíveis
- Categoria de Lusternik-Schinrelmann e Grupos de Lie
- Euclides, Taylor, e a perspectiva esférica enquanto objecto matemático
- Time Series Clustering
- Condições geométricas para a existência e unicidade de projeção
- Sobre o volume de campos vetoriais
- Multiple criteria optimization: methods and applications
- Selective Base Revisions
- Nonautonomous attractors and bifurcation structures on nonautonomous families of flat topped tent maps
- Strongly nonlinear third order impulsive boundary value problems
- Solvability of second order coupled systems on the half-line
- Stochastic differential equations: brief introduction and profit optimization in fisheries
- Positioned Numerical Semigroups
- Tipo de Jordan de álgebras artinianas
- Complexidade em sistemas dinâmicos de baixa dimensão
- CFD Analysis in cerebral aneurysms
- Variational problems involving nonlocal supremal functionals
- Different Types of Stabilities in Times of Instability
- Non-linear systems of PDEs. Two examples from applications.
- Modelação de eventos extremos – uma introdução: aplicação ao decatlo e ao heptatlo atlético
- Comportamento assimptótico de soluções de problemas com valores na fronteira
- A característica de Euler de hipersuperfícies de espaços forma
- Brief introduction to stochastic differential equations and applications in Biology and Finance
- Sampling strategies in rural and urban settings in Africa - Looking from the sky
- Epidemiologia espácio-temporal no controlo da tuberculose
- Connectivity and Reliability of Mobile Ad-Hoc Networks
- Mathematical modeling, optimal control and complex network of epidemic models: case study of COVID-19 in Portugal
- Feature selection for marine species origin prediction
- Provas de Mestrado
- Provas de Doutoramento
- Apontadores
Convergence: what’s logic got to do with it?
Proof mining ([5]) is a program that makes use of tools from mathematical logic in order to analyse mathematical proofs. This analysis is developed with the purpose of extracting quantitative information from proofs, for example in the form of effective bounds and/or algorithms. The success of the proof mining program is due to the ability of extracting computational content from non-constructive proofs which often allows to improve the results analysed by weakening the hypotheses necessary to prove them. Moreover, in the improved results the logical tools used to analyse the original proof are not visible and can therefore be read by non-logicians. Nevertheless, the understanding of certain logical principles, as well as their strength, is crucial in order to perform the extraction of information from the proof.
In this talk I will give a soft introduction to the proof mining program focusing on the somewhat simple example of the convergence of sequences. As it turns out, this is a very fruitful example, related with Terence Tao’s notion of metastability, which is has been paramount in different areas of research (cf e.g. [1, 2, 3, 4, 6, 7] and many more).