Mathematical Logic Seminar

Simplicity of Proofs and Combinatory Logic

Sala 6.2.33, Ciências ULisboa (com transmissão online)

Por Isabel Oitavem (Universidade Nova de Lisboa).

Related with investigations on simplicity of proofs, we focus on formulas of the form \phi implies \phi, adopting as framework the Pure Positive Implication Propositional Calculus based on Frege's axiomatization of implication. In this context, we search for a shortest proof of \phi implies \phi. There might be particular instances of this formula which admit proofs that are shorter than a shortest proof of \phi implies \phi in general. A first example is the case for \phi itself of the form \psi implies \psi. More examples are obtained by means of combinatory logic. This is joint work with Reinhard Kahle and Paulo Guilherme Santos.


Transmissão via Zoom.

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

TWIN2PIPSA Expert Seminars, por Francesco Pesce Matteo Cagiaga (University of Copenhagen).

Título/local/data do evento, logótipos das entidades promotoras e fotografia de árvore de natal

Dia 11 de dezembro, das 19h00 às 19h45, no Grande Auditório de Ciências ULisboa.

Fotografia antiga de quatro ciclistas

Workshop no âmbito do projeto Hi-BicLab. Laboratório de História para as Mobilidades Urbanas Sustentáveis: Políticas Cicláveis de Lisboa.

Título/data do evento e fotografia da oradora

Masterclass com a presença de Teresa Vieira, que irá elucidar os vários passos de criar uma empresa.

Seminário do Centro de Física Teórica e Computacional, por Jesús Gómez-Gardeñes (University of Zaragoza, Spain).

Título/data do evento e pormenor da exposição

Inez Wijnhorst (autora), Henrique Leitão e Pedro Freitas (curador) exploram a exposição "Cem Meias Medidas: desenhos e gravuras de Inez Wijnhorst".

Uma em cada três populações de aves portuguesas está ameaçada de extinção.

Seminário Doutoral I no âmbito do Doutoramento em Biologia, por Celso José Miguel Paulo.

Seminário em Biologia Humana e Ambiente, por Ana Luísa Silva (CESAM - University of Aveiro).

Título, local e data do evento, acompanhados da fotografia da oradora

TWIN2PIPSA Expert Seminar, por Sandra Macedo-Ribeiro (Group Leader of the Biomolecular Structure & Function Lab at i3S - Instituto de Investigação e Inovação em Saúde da Universidade do Porto).

Ilustração representativa de produtos alimentares dentro de uma caixa

Participe nesta campanha solidária até ao dia 14 de dezembro.

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Carolina Resende (Universidade de Lisboa).

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Gloria Clifton (Royal Museums Greenwich).

Título da iniciativa a fotografia de planta

The second call for funding measures on Student Activities is open until 15 December 2023.

2.ª edição do workshop organizado por Luís Ribeiro e Francisco Malta Romeiras (CIUHCT), com a participação de investigadores cujo trabalho incide sobre o "early modern knowledge."

Logótipo do projeto, sobre uma fotografia do mar em tons de verde

Apresentação de candidaturas até 15 de dezembro de 2023.

Título/data do evento e fotografia de orquestra em tons natalícios

Concerto de Natal da ULisboa / Alumni ULisboa.

Título/data/local do evento, sobre uma fotografia do Cais das Colunas (Lisboa) ao amanhecer

Algebra, Combinatorics, Differential Equations, Geometry, Logic, Matrix Theory and Operational Research.

Logótipo do Jardim Matemático (ilustração de livro aberto, 2 flores e diversos símbolos matemáticos)

És aluno do secundário? Então este novo projeto é para ti!

Logótipo do evento

Don’t forget to register until 10 December!

Fotografia de objetos pretos e laranjas, representando pontos de interrogação

Inquérito disponível até 18 de dezembro.

Ilustração representativa de decoração de natal, composta por vários bens, em tons de vermelho

Recolha de bens para o CASA, a decorrer de 11 a 19 de dezembro de 2023.

Título da campanha, sobre uma fotografia da Ponte sobre o Tejo e de um ecrã de computador

Deposite os seus resíduos até ao dia 20 de dezembro e contribua para esta campanha.

Jovem investigadora a utilizar um laptop na esplanada de um café

Concurso aberto até 31 de dezembro de 2023.

Título "Gostarias de realizar uma mobilidade Erasmus+" e iconografia representativa de candidaturas e sessões de esclarecimento, sobre um fundo verde

Candidaturas até 31 de dezembro de 2023.

Páginas