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

Nesta atividade será possível visitar alguns laboratórios do MARE, de modo a perceber o seu funcionamento e a investigação que aí é conduzida.

Ciência fresquinha? Temos. Uma bebida a acompanhar? Também!

Será que sabes fazer a reciclagem? Será que conheces todos os 10 Rs da sustentabilidade?

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Gemma Cirac-Claveras (Institut d'Història de la Ciència - Barcelona).

Título do evento, logótipo da Unite! e representação de mão a escrever uma carta

A ULisboa recebe um evento solidário de angariação de fundos para as Bolsas Alumni Solidário, no contexto da Unite! e da sua promoção da inclusão e do bem-estar no campus.

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Uma conversa sobre regulação emocional.

Título/data/local do evento e fotografia de profissional de saúde a interagir com um paciente, em tons sépia

Com foco na promoção de cuidados de saúde centrados no doente, a conferência pretende mobilizar a comunidade e o ecossistema da ULisboa para discutir estratégias e tendências na área, bem como atuais e futuras iniciativas de investigação clínica e de dados com vista à prestação de cuidados de elevado valor.

A inteligência artificial (IA) tem estado no centro das atenções devido ao seu rápido desenvolvimento e potencial transformador em todas as áreas da sociedade, nomeadamente no sector da educação.

Data Science Seminar, por Nuno Neves (LASIGE/DI-FCUL).

Alguma vez te questionaste como é que a eletrónica que nos rodeia é feita?

Título/data/local do evento e logótipos das entidades envolvidas

Uma viagem em que os visitantes terão a oportunidade de conhecer o LIP e os lugares para onde viajamos diariamente no nosso trabalho - os lugares onde estão instaladas as nossas experiências, de onde chegam os dados que analisamos, onde estão (ou estarão) instalados os detetores que construímos, onde é aplicada a investigação que se faz no LIP.

Durante este dia, acesso gratuito ao Museu, ao Jardim Botânico de Lisboa e ao Jardim Botânico Tropical.

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

IDL Lecture, por John Clinton (ETHZ).

Representação futurista de sistema de produção agrícola

Conferência Anual do Colégio F3 e da Rede Agro da Universidade de Lisboa.

Título/data/local do evento e representação do cérebro humano

A iniciativa reúne estudantes e investigadores que apresentam e discutem trabalhos de investigação em curso, e novas propostas e ideias nas áreas da mente, cérebro e cognição.

Seminário do Centro de Física Teórica e Computacional, por James Kennedy (Departamento de Matemática, Faculdade de Ciências, Universidade de Lisboa, Portugal).

O curso, a decorrer de 26 a 29 de novembro, destina-se a fornecer competências a quem pretende trabalhar com modelos experimentais ou com vertebrados selvagens.

Seminário de Lógica Matemática, por Maria Beatrice Buonaguidi (King's College London).

Seminário Doutoral II (Doutoramento em Biologia - Especialidade em Ecologia), por Celso José Miguel Paulo.

O workshop visa identificar estratégias práticas que promovem a eficácia do estudo perante o aproximar de períodos avaliativos.

Join us for a discussion on the challenges and opportunities of developing and implementing sustainable marine spatial planning (MSP) and management around the globe. With international experts from Brazil, USA, Spain and Portugal as guest speakers!

This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, as well as the societal implications of AI systems.

Seminário Doutoral II (Doutoramento em História e Filosofia das Ciências), por André Gonçalo Azevedo Pedro.

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa.

Páginas