Cristina Sernadas

EU SOU eu sou MATEMÁTICA

"Tenho uma paixão profunda pela Matemática, devido à sua natureza abstrata, à ênfase nas demonstrações e à liberdade de pensamento a que nos leva. Viver a Matemática no meu dia a dia é, mesmo, muito gratificante! Eis o meu mundo da Lógica Formal: imagino e dou forma matemática a argumentos, para demonstrar a correção e a completude de lógicas. Numa veia mais aplicada, concentro-me em cálculos abdutivos e existenciais para Inteligência Artificial, lógicas modais, paraconsistentes, probabilísticas e quânticas."

 

 

 

Fotografia: Lara Jacinto