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

Seminário Doutoral do Departamento de Informática, por Bernardo Almeida.

E3 Talk, por Simone Vieira (Núcleo de Estudos e Pesquisas Ambientais, UNICAMP).

Inscrições até 06 de junho.

Seminário Permanente de Filosofia das Ciências, por Vinícius Jonas de Aguiar (CFCUL/GI3).

Lisbon Webinar in Analysis and Differential Equations, por Anthony Gauvan (Institut Mathématiques d’Orsay).

Hi-Phi Seminar, por Gonçalo Martins (CFCUL) e Pier Luigi Pireddu (CIUHCT).

Título e data do evento, sobre fotografia de paisagem polar

Neste evento, a elite mundial de exploradores e cientistas partilhará com o público as descobertas mais recentes, as tecnologias mais inovadoras e as novas missões que prometem revolucionar o futuro do espaço, dos oceanos e do planeta.

A joint organization between Luisa Fiorot (Dipartimento di Matematica ”Tullio Levi-Civita”, Padova, Italy) and Teresa Monteiro Fernandes (CMAFcIO, FCUL, Portugal).

Título/data do evento e representação de vírus

O congresso visa estimular uma reflexão alargada sobre o período pós-pandémico de COVID-19.

A short course by Luisa Fiorot (Dipartimento di Matematica ”Tullio Levi-Civita”, Padova, Italy).

Fotografia do mar, titulo dos cursos e logótipos das entidades promotoras

Brevemente serão disponibilizados mais 6 cursos, estando já previsto um na área da Biotecnologia Marinha, programado para início de outubro.

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

Uma oportunidade para debater o tema do Doutoramento em Ambiente Empresarial e para refletir sobre a importante temática do relacionamento entre a academia e as empresas - inscrições a decorrer.

Título do evento e representação de átomo

O principal objetivo desta formação é capacitar doutorandos e doutorados de instituições de ensino superior e centros de investigação para os temas de empreendedorismo, inovação e transferência de conhecimento, permitindo-lhes perceber de que forma podem potenciar ainda mais o impacto gerado pelo

Colóquio de Matemática, por Jean-Baptiste Casteras (CMAFcIO, FCUL).

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

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

Sessão no âmbito do Lisbon Workshop Series.

Ação de formação para docentes, por Sofia Sá.

Título do evento e fotografia de participantes numa sessão

O prazo de submissão de resumos termina no dia 30 de abril.

Logótipo da iniciativa e fotografia de dois investigadores

Ciência Aberta e Inovação: uma abordagem colaborativa, transparente e acessível.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Quintino Lopes (IHC, NOVA FCSH / U. Évora).

Título do evento e fotografia de dois estudantes

Candidaturas para estudantes regulares da ULisboa até 28 de março de 2023.

Título do evento e fotografia de utilizador de computador

Curso com candidaturas a decorrer.

Logótipo do prémio

As candidaturas à 10.ª edição decorrem até 30 de junho de 2023.

Páginas