Mathematical Logic Webinar

On Weyl's predicative concept of set

Videoconferência

Por Laura Crosilla (University of Oslo).

In the book Das Kontinuum (1918), Hermann Weyl presents a coherent and sophisticated approach to analysis from a predicativist perspective. In the first chapter of (Weyl 1918), Weyl introduces a predicative concept of set, according to which sets are built 'from the bottom up' starting from the natural numbers. Weyl clearly contrasts this predicative concept of set with the concept of arbitrary set, which he finds wanting, especially when working with infinite sets. In the second chapter of Das Kontinuum, he goes on to show that large portions of 19th century analysis can be developed on the basis of his predicative concept of set. Das Kontinuum inspired fundamental ideas in mathematical logic and beyond, such as the logical analysis of predicativity of the 1950-60's, Solomon Feferman's work on predicativity and Errett Bishop's constructive mathematics. The seeds of Das Kontinuum are already visible in the early text (Weyl 1910), where Weyl, among other things, offers a clarification of Zermelo's axiom schema of Separation. In this talk, I examine Weyl's predicative concept of set in (Weyl 1918) and discuss its origins in (Weyl 1910).

Bibliography:

  • Weyl, H., 1910, Über die Definitionen der mathematischen Grundbegriffe, Mathematischnaturwissenschaftliche Blätter, 7, pp. 93-95 and pp. 109-113.
  • Weyl, H., 1918, Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis, Veit, Leipzig. Translated in English, Dover Books on Mathematics, 2003.

Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Fotografia de investigadores em contexto laboratorial

Novo prazo de candidatura: 01 a 30 de novembro de 2023.

A iniciativa conta com a participação de Ana Simões (CIUHCT, FCUL).

A conferência reúne múltiplos participantes de diferentes áreas em diálogo e cooperação, das ciências às humanidades e destas à arte e cultura, com um olhar atento e cuidadoso sobre os desafios e oportunidades da ciência, das novas tecnologias aplicadas à vida e, particularmente, do imperativo de responsabilidade, de todos e para todos, sobre o futuro da humanidade.

Candidaturas a decorrer.

Lisbon AI Seminar, por Luís Correia (Ciências ULisboa).

Seminário Permanente de Filosofia das Ciências, por Mattia Petrolo (CFCUL/GI1).

Seminário de Pós-Graduação no âmbito do Doutoramento em Biologia (Especialidade de Ecologia), por Sara Raquel da Costa Bento.

Seminário do Centro de Física Teórica e Computacional, por Rui Santos (Instituto Superior de Engenharia de Lisboa, Instituto Politécnico de Lisboa; e Centro de Física Teórica e Computacional, Faculdade de Ciências, Universidade de Lisboa, Portugal).

Mesa-redonda com a participação de João Neto (Museu da Farmácia), Marta Lourenço, Miquel Carandell Baruzzi (Universitat Autònoma de Barcelona) e Beatriz Medori (CIUHCT).

Seminário no âmbito do Mestrado em Bioestatística, por Rita Gaio (Faculdade de Ciências da Universidade do Porto).

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

TWIN2PIPSA Expert Seminar, por Georgios Skretas (Institute for Bio-innovation, Biomedical Sciences Research Center "Alexander Fleming", Vari, Greece / Institute of Chemical Biology, National Hellenic Research Foundation, Athens, Greece).

Título/data/local do evento, logótipos das entidades organizadoras e imagens de mapas antigos

Henrique Leitão (Ciências ULisboa) participa na mesa-redonda "Lugares da Globalização - Perspetivas de Futuro”.

Título, local e data do evento, acompanhados de logótipos do Horizon 2020 e União Europeia

TWIN2PIPSA Workshop - register now!

Seminário E3GLOBAL, por Marta Macedo (IHC - NOVA FCSH/ IN2PAST).

Seminários em Recursos Naturais Vegetais, por Luís BonifácioJorge Faria (Instituto Nacional de Investigação Agrária e Veterinária).

Oficina de Introdução à Estacaria.

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.

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.

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, 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.

Título da iniciativa a fotografia de planta

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

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

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

Páginas