Está aqui

home / Atualidade / Eventos / Proof mining for the dual of a Banach space and extensions /
Voltar ao Topo
    
Mathematical Logic Webinar

Proof mining for the dual of a Banach space and extensions

Videoconferência

Por Nicholas Pischke (Technical University of Darmstadt).

I present proof-theoretic metatheorems that allow applications of proof mining to proofs involving the dual of a Banach space and its corresponding norm. This in particular relies on a new approach to treating suprema of certain bounded sets without any additional proof-theoretical strength. As a further extension, I use this system to provide a proof-theoretic metatheorem for gradients of Frechet-differentiable functions and their conjugates.

Transmissão via Zoom.

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

Conversas sobre a geologia rica e fascinante do Parque Natural Sintra-Cascais, com a participação de vários docentes de CIÊNCIAS.
Oficina de Produção de Cogumelos

Um dia para aprender sobre produção caseira de cogumelos, da teoria à prática! Cada participante leva consigo um kit de cogumelos produzido nesta tarde e ainda todo o conhecimento para o fazer novamente de forma autónoma!
Título "5th edition ULisses", sobre fotografia do mar
Projeto ULISSES (5.ª edição)

Apresentação de candidaturas até 15 de dezembro.
XX Encontro Nacional de Biologia Evolutiva

An annual meeting that aims to bring together Evolutionary Biologists working in Portugal and abroad in order to promote scientific cohesion and excellence. This meeting is a forum for scientists of all academic levels (from master students to principal investigators), to present their work and discuss, fostering new ideas and collaborations.
Título "Gostarias de realizar uma mobilidade Erasmus+?" e fotografia de jovem aluno
Candidaturas período de estudos ou estágio 2025/2026

Candidaturas de 01 a 31 de dezembro.
Mentimeter

Ação de formação para docentes e investigadores de Ciências.
20th European Dependable Computing Conference

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

Páginas