Colloquium  RSS

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

The World is Incomplete, Reducible and Real

Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed.

See also

Poster

link

Colloquium_logo

The Mathematics Colloquium is a series of monthly talks organized by the Department of Mathematics of IST, aiming to be a forum for the presentation of mathematical ideas or ideas about Mathematics. The Colloquium welcomes the participation of faculty, researchers and undergraduate or graduate students, of IST or other institutions, and is seen as an opportunity of bringing together and fostering the building up of ideas in an informal atmosphere.

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