Mathematical Logic Webinar

What is the bounded functional interpretation?

Transmissão através de Videoconferência

Por Fernando Ferreira (Universidade de Lisboa - CMAFcIO).

Abstract: We explain what is the bounded functional interpretation. We work in classical logic and include an abstract type. The type can stand for the reals, a metric space, a normed space, a ring, etc. We emphasize three features of the bounded functional interpretation: (1) it provides quantitative versions of ordinary statements of mathematics; (2) it allows for the extraction of quantitative information, provided that the statements are proved in certain theories; (3) the theories may include certain nonconstructive principles, not necessarily set-theoretically correct. Some examples are given.


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

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título/data/local/oradores do evento

Join us for ‘Shaping Tomorrow’s Intelligence’ where we will discuss some of the important choices we have in determining the future of AI.

Seminário Permanente de Filosofia das Ciências, por Jean-Baptiste Joinet (Université Jean Moulin Lyon 3, IRPhiL).

Seminário do Centro de Física Teórica e Computacional, por Eduardo V. Castro (Departamento de Física e Astronomia, Faculdade de Ciências, Universidade do Porto, Portugal).

Logótipo do evento

Evento final do Projeto iSEA, com inscrições até 30 de abril.

Seminário do Departamento de Física de Ciências ULisboa, por Kora Muzic (Instituto de Astrofísica e Ciências do Espaço, FCUL).

Earth Systems Seminar, por Sandra Plecha (IDL, Centre OIE - Mines Paris).

Seminário Doutoral II (Doutoramento em Biologia - Especialidade de Biologia Molecular), por Zohra Gulzar Lodhia.

Logótipo do Dia Aberto e fotografia de atividade de investigação

Novas vagas disponíveis para o Dia Aberto em Ciências!

Aula aberta no âmbito da Unidade Curricular de Linguagens de Domínio, por Bruno Martinho (OutSystems).

Mathematical Logic Seminar, por Jean-Baptiste Joinet (Université Jean Moulin, Lyon 3, France).

Esta atividade insere-se no projeto INVASIVES, desenvolvido por uma equipa de investigadores de Ciências ULisboa.

Título e data do workshop

Workshop no âmbito da recente adesão da Universidade de Lisboa à CoARA - Coalition for Advancing Research Assessment.

Título/data/local/orador do evento

Lisbon AI Seminar, por Francisco Laranjinha (CFCUL/RG2).

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por João Carreira (Deepmind).

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Um evento dirigido aos alunos do ensino secundário, consistindo numa palestra sobre a microscopia e em visitas aos laboratórios de microscopia/demonstrações experimentais simples.

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por Hugo Penedones (Inductiva).

Árvore florida

A minha Jornada pela Matemática: Descobertas, Escolhas e Desafios, por Ana Catarina Monteiro - estudante do Mestrado em Matemática (Licenciatura: Matemática).

O workshop contribui para aproximar a Ciência e as Políticas Públicas na construção de políticas informadas por evidências.

Composição com os nomes das Universidades participantes

Candidaturas até 25 de maio (mobilidades no 1.º semestre).

Título do prémio

As candidaturas decorrem até ao dia 31 de maio.

Páginas