Está aqui

home / Atualidade / Eventos / Determinacy and Infinite Games /
Voltar ao Topo
    
Mathematical Logic Seminar

Determinacy and Infinite Games

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Niko Gruben (Universidade de Lisboa)

 

The standard axioms of $ZFC$ have been fixed for some time now, with proposals for new axioms rarely gaining any traction. One particular area of set theory, the theory of infinite games, has nonetheless given rise to attractive new axioms exceptionally different from the classic ones. In this talk I will give an introduction to this area and some of its results, before moving on to the possible new axioms and their underlying philosophy. 

Transmissão via Zoom.

 

14h00
Cartaz
CMAFcIO
GFM
Matemática
Axioms
Jogos
Lógica
Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras
Controlar o tempo não é só ficção

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa.
Of People and Code - Epistemological, Ontological, and Formal Approaches to AI

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.
The Sumerian Protoscience

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
Curso de introdução à Permacultura 2.0

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
1.º Evento ERC-Portugal

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
Aprende a ter Visão de Tabuleiro

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
Ansiedade já tenho eu a mais!

Uma conversa sobre ti, alguém amigo ou apenas acerca de ansiedade.
Logótipo do concurso
Medalhas de Honra L’Oréal Portugal para as Mulheres na Ciência

As candidaturas à 21.ª edição decorrem até 06 de dezembro.
Título da iniciativa, logótipos das entidades envolvidas e fotografias de dois jovens
Talent Bootcamp em CIÊNCIAS

Voa alto com o teu talento no Talent Bootcamp em CIÊNCIAS.
Logótipo do evento, sobre um fundo cor-de-rosa
23.ª Gala de Ópera da Universidade de Lisboa

Entrada livre, limitada à lotação do espaço.
Título do programa, fotografia de dois jovens e logótipo da Rede Alumni CIÊNCIAS
Programa de Mentorado CIÊNCIAS Alumni

As candidaturas estão abertas até dia 09 de dezembro.
Archaeology Stinks! Finding ancient olfactory molecular evidence in archaeological material remains using Headspace analysis

Será que podemos cheirar o passado?
Jubilação do Professor Doutor Pedro Miranda

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
Jubilação e Cerimónia de entrega da insígnia de Professor Emérito a António Sampaio da Nóvoa

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

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
Projeto ULISSES (5.ª edição)

Apresentação de candidaturas até 15 de dezembro.
Oficina de Produção de Cogumelos

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!
XX Encontro Nacional de Biologia Evolutiva

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

Ação de formação para docentes e investigadores de Ciências.
20th European Dependable Computing Conference

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

Páginas