CMAF-CIO

On external sequences of nonstandard analysis

Por Imme Van Den Berg (Universidade de Évora).

Ler mais acerca de On external sequences of nonstandard analysis

Discretization of Euler-Poincaré variational principles using reduced forward difference operators

Por César Rodrigo (Academia Militar, CMAF-CIO, CINAMIL).

Ler mais acerca de Discretization of Euler-Poincaré variational principles using reduced forward difference operators

TURISMAT - O Papel das Ciências Matemáticas no Turismo Sustentável

Pode a matemática ajudar a resolver os problemas do Turismo?

Ler mais acerca de TURISMAT - O Papel das Ciências Matemáticas no Turismo Sustentável

Resonance tongues in the linear Sitnikov equation

Por Mauricio Misquero (Universidade de Granada).

Abstract: It is studied a Hill's equation that has applications to some problems in Celestial Mechanics of the Sitnikov-type.

Ler mais acerca de Resonance tongues in the linear Sitnikov equation

"A Brief History of Geometry” is a overview of the main historical steps of Geometry, from Euclid to Perelman, via Descartes, Gauss, Riemann, Ricci, Poincaré and Einstein… This conference was given by Jean-Pierre Bourguignon (IHES, France) at the Academy of Sciences of Lisbon the November 2nd, 2017, at the invitation of the Centro de Matemática, Aplicações Fundamentais e Investigação Operacional da Faculdade de Ciências da Universidade de Lisboa, Portugal.

Ler mais acerca de A Brief History of Geometry

On Goodman realizability

Emanuele Frittaion
CMAFCIO, Universidade de Lisboa

Abstract: Goodman's theorem (after Nicholas D. Goodman) asserts that adding the axiom of choice to intuitionistic arithmetic in all finite types yields a system which is conservative over Heyting arithmetic. This is in contrast with classical arithmetic in all finite types. In fact, the combination of choice with classical logic results in a system as strong as full second-order arithmetic.