Colóquio  RSS

Cristina Sernadas 10/05/2018, 16:00 — 17:00 — Anfiteatro Abreu Faro
, Instituto Superior Técnico, CMAF-CIO - Universidade de Lisboa

O Mundo é Incompleto, Redutível e Real

Apresentação de resultados e técnicas de redução para demonstrar a decidibilidade de teorias matemáticas e a completude de lógicas. Relevância da Teoria dos Corpos Reais Fechados Ordenados. Ilustrações variadas desde a Geometria Euclidiana à Lógica Quântica.

Ver também

Poster

link

Colloquium_logo

O Colloquium de Matemática é a designação geral para uma série de palestras mensais organizadas pelo Departamento de Matemática do IST que têm como objetivo divulgar ideias de ou sobre Matemática. Está aberto à participação de docentes, investigadores e alunos de licenciatura, de mestrado ou de doutoramento do IST ou de outras instituições, sendo uma oportunidade de reunir pessoas com interesses afins e de estimular a troca de ideias num ambiente informal.

Organização: Conceição Amado, Lina Oliveira e Maria João Borges.