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
Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Título/data/local do evento e fotografia de avião a sobrevoar cidade

“A Interface Urbana na Rede de Transporte Aéreo” é o tema da 4.ª Conferência Anual da redeMOV.

Título "5th edition ULisses", sobre fotografia do mar

Prazo de apresentação de candidaturas prolongado até 15 de janeiro.

Representação antiga da cidade de Lisboa

A conferência está limitada a 100 participantes - realize já a sua inscrição e reserve o dia na sua agenda.

O evento, que conta com a participação do CIUHCT, terá a participação, entre outros, do matemático e historiador da matemática Professor Robin Wilson (Reino Unido) e do criador do primeiro museu de ciência dedicado inteiramente à matemática, Professor Albrecht Beutelspacher (Alemanha).

Ação de formação para docentes e investigadores de CIÊNCIAS.

Fotografia de João Paulo Dias

A Celebration of his 80th Birthday - registration until 24 January.

Um evento dedicado às três áreas de estudo do DEGGE: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 4.º concurso decorre até 28 de fevereiro.

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.

Data e logótipo do Dia Aberto, inseridos em mosaico de atividades de investigação

Bem-vindos a Ciências ULisboa!

Um concurso de programação dirigido aos alunos do ensino secundário (11.º e 12.º anos), que visa promover a prática e o gosto pela programação.