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

The objective of this course is to provide students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

Conferência associada à exposição “A Porta do Pacífico: Uma viagem cartográfica pelo Estreito de Magalhães", por João Duarte (Instituto Dom Luiz - IDL).

Título e data do evento, sobre uma fotografia de jovens cientistas

Faz a tua pré-inscrição e garante o teu lugar!

The objective of this course is to provide students with statistical knowledge and tools to manipulate, analyze and visualize biological data with R. Introduction to modeling, simulations and Bayesian statistics.

Conferência associada à exposição “A Porta do Pacífico: Uma viagem cartográfica pelo Estreito de Magalhães", por Carlos Câmara (Instituto Dom Luiz - IDL).

Under the general framework of Global Change Ecology, the goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity. This includes the selection of functional traits and calculation of Functional Diversity Indexes.

Título e data do evento

Ciências ULisboa associa-se ao MICRODia, promovendo um Dia Aberto com visitas aos laboratórios da sua Unidade de Microscopia, dedicadas a alunos dos 10.º ao 12.º ano de escolaridade.

The course provides essential skills and knowledge that enable the participants to develop climate change adaptation strategies.

Logótipo do evento

The Symposium will gather the latest research on changes in marine connectivity under anthropogenic pressures.

The objective of this course is to provide participants with basic knowledge on a) the fundamental aspects of experimental design and b) workflows, platforms and tools to increase reproducibility at all scientific levels.

In this course we will provide advanced hands-on training on some of the most used technological tools in field biology.

Título do evento e fotografia de dois estudantes

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

The course aims at enabling the participants to use different methods to measure the impacts of pollutants on ecosystems. Basic knowledge will be provided through theoretical and practical lessons on how to select and use the most suitable metrics based on the analysis of multiple compartments of the ecosystems.

This course offers an overview of the different ways to measure biodiversity, and provides tips for the stratification of primary biodiversity data and the construction of variables that describe its various facets. It also includes an in-depth review of the different types of data used to measure biodiversity and their problems and limitations.

The goal of this course is to provide participants with current and practical knowledge on urban ecology, including its ecological and social aspects.

Sediment continuum: applying an integrated management approach.

Título, data e localização do evento

The EU PVSEC is the largest international Conference for Photovoltaic research, technologies and applications and at the same time a PV Industry Exhibition, where specialized PV Industry presents technologies, innovations and new concepts in the upstream PV sector.

Páginas