Passar para o conteúdo principal

Lógica

Choice in the Iterative Conception

Mathematical Logic Seminar, por Bruno Jacinto e Beatriz Souza (Universidade de Lisboa).

Ler mais acerca de Choice in the Iterative Conception

Albrecht Dürer's "Melencolia I" and Renaissance concepts of mathematical beauty

Mathematical Logic Seminar, por Alan J. Cain.

Ler mais acerca de Albrecht Dürer's "Melencolia I" and Renaissance concepts of mathematical beauty

The what, the why and the how of recursion theory in computational complexity

Mathematical Logic Seminar, por Eduardo Skapinakis (NOVAMath, Universidade Nova de Lisboa).

Ler mais acerca de The what, the why and the how of recursion theory in computational complexity

Peano's structuralism

Mathematical Logic Seminar, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).

Ler mais acerca de Peano's structuralism

Mathematics & Applications Winter Meeting

Algebra, Combinatorics, Differential Equations, Geometry, Logic, Matrix Theory and Operational Research.

Ler mais acerca de Mathematics & Applications Winter Meeting

ω-Reflexive Theories

Mathematical Logic Seminar, por Paulo Guilherme Santos (NOVA FCT and ISCAL).

Ler mais acerca de ω-Reflexive Theories

Conservative Translations Revisited

Mathematical Logic Seminar, por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa/Instituto de Telecomunicações).

Ler mais acerca de Conservative Translations Revisited

Strolling through a meadow

Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).

Ler mais acerca de Strolling through a meadow

Lisbon Workshop on the History of Logic

This workshop brings together state of the art research on the development of logic in late XIX and early XX centuries.

Ler mais acerca de Lisbon Workshop on the History of Logic

The strange case of Dykstra’s algorithm

Mathematical Logic Seminar, por Pedro Pinto (Technische Universität Darmstadt).

Ler mais acerca de The strange case of Dykstra’s algorithm

Páginas