Mathematical Logic Seminar

Peano's structuralism

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

Por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).

Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early structuralists. I shall focus on Peano’s understanding of the primitive notions and axioms of geometry and arithmetic. First, I shall argue that the undefinability of the primitive notions of geometry and arithmetic led Peano to the study of the relational features of the systems of objects that compose these theories. Second, I shall claim that, in the context of independence arguments, Peano developed a schematic understanding of the axioms which, despite diverging in some respects from Dedekind’s construction of arithmetic, should be considered structuralist.

Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Logótipo do evento

Assiste às nossas palestras e interage com os nossos convidados durante o networking. Conhece os seus percursos académicos e profissionais, explora possibilidades de estágio e de eventuais futuros de carreira. Aprende sobre IA e os seus potenciais benefícios e perigos.

Título/data do programa, logótipo da ULisboa e fotografia de jovem a ouvir música de olhos fechados

Uma introdução à prática de meditação onde vais aprender a gerir as tuas emoções, pensamentos e desenvolver um relacionamento saudável contigo e com os outros - inscrições até 21 de fevereiro.

Seminário do Centro de Física Teórica e Computacional, por Cátia Pesquita (LASIGE).

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).

Seminário E3GLOBAL, por Miguel Santos (autor na antologia "Massa Critica" (Chili com Carne)).

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Seminário do Departamento de Física de Ciências ULisboa, por Athanasios Vourvopoulos (IST).

Logótipo do evento

An annual event aimed to promote the research done by CIÊNCIAS Researchers in the field of Biotechnology, with a special emphasis on Blue and Green biotechnological solutions for a sustainable tomorrow.

Pormenor de robô

Será descrito o funcionamento dos vários cursos, as suas estruturas curriculares, e os horizontes profissionais que oferecem. A sessão contará igualmente com a presença de alunos dos diferentes Mestrados, disponíveis para esclarecer todas as dúvidas e questões.

Seminário de Tese (Doutoramento em Biologia e Ecologia das Alterações Globais), por Guilherme da Silva Aparício.

NCPInTheHouse 2025

Registration on the workshop is free but mandatory - deadline: 24 February.

CIÊNCIAS na feira Unlimited Future: 27 de fevereiro

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

Título "Bolsas Alumni Solidárias" e fotografia de grupo de alunos

As candidaturas decorrem até 28 de fevereiro.

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.

Palestra por Ana Simões (Ciências ULisboa).

Pormenor de membro de orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Título/data da exposição e fotografia de Lindley Cintra

Exposição patente ao público até 31 de maio.

Composição de imagens relativas à área das ciências forenses

Curso adiado, para data a anunciar.

Pormenor da capa do livro

O livro resulta do projeto de investigação Saúde e Estilos de Vida no Ensino Superior em Portugal (ES+Saúde) - inscrições na sessão até 27 de fevereiro.

Cientista a trabalhar com tubos de ensaio

Curso adiado, para data a anunciar.

Os participantes neste workshop ficarão a saber mais sobre como executar uma enxertia sem erros, para além dos cuidados a ter com as árvores de fruto ao longo do ano.

Logótipo do evento

A iniciativa tem como principal objetivo promover uma discussão construtiva sobre a estratégia da ULisboa no âmbito da sustentabilidade e destacar boas práticas das Escolas apresentadas pelas Associações de Estudantes.

Colóquio de Matemática, por Ana Rita Pires (University of Edinburgh).

Páginas