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ótipos de Ciências ULisboa/GAPsi e calendarização das palestras

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

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

Título/data/local do evento e três fotografias relacionadas com a permacultura

Permacultura? Não é uma pseudociência esotérica? Uma utopia sem fundamento científico? Para desmistificar estas e outras ideias, o permacultor certificado Tiago Silva (SmartLeap) guiar-te-á pelos caminhos desta prática multidisciplinar, fundada em sólidas bases empíricas.

Título/data/local do evento e logótipos da FCT, PRR e ULisboa

O programa incluirá uma mesa-redonda e a apresentação do Programa ERC-Portugal, enquanto instrumento de apoio à comunidade científica nos vários ciclos da participação nacional nos concursos do ERC.

Título do evento, logótipos da ULisboa/DGES e fotografia de peças de xadrez

Sentes-te perdido/a em relação ao teu futuro académico/profissional? Ainda não sabes qual a melhor área a seguir ou como definir a tua carreira? Este workshop é para ti!

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

Uma conversa sobre ti, alguém amigo ou apenas acerca de ansiedade.

Título da iniciativa, logótipos das entidades envolvidas e fotografias de dois jovens

Voa alto com o teu talento no Talent Bootcamp em CIÊNCIAS.

Logótipo do concurso

As candidaturas à 21.ª edição decorrem até 06 de dezembro.

Logótipo do evento, sobre um fundo cor-de-rosa

Entrada livre, limitada à lotação do espaço.

Título do programa, fotografia de dois jovens e logótipo da Rede Alumni CIÊNCIAS

As candidaturas estão abertas até dia 09 de dezembro.

Lição de Jubilação "Wind and water: on-going research on climate processes".

Título/data/local do evento e fotografia de António Sampaio da Nóvoa

A sessão será presidida por Sua Excelência O Presidente da República, Marcelo Rebelo de Sousa.

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

Título "5th edition ULisses", sobre fotografia do mar

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

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!

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.

Ação de formação para docentes e investigadores de Ciências.

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

Páginas