10/05/2018, 16:00 — 17:00 — Abreu Faro Amphitheatre
Cristina Sernadas, 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.