Seminário de Lógica Matemática

How to define (and formalize) the notion of algorithm? Problems and perspectives

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Alberto Naibo (Université Paris 1 Panthéon-Sorbonne, IHPST).

In this programmatic talk, we will sketch both a conceptual and formal framework for reasoning about the notion of algorithm. This framework will arise from the analysis we will make of the relationships existing between the notion of algorithm and other similar (but still different) notions, like that of computation and that of program. We will first show that the Turing-Church thesis concerning effective computability is not sufficient to capture the notion of algorithm, as it identifies programs which are intensionally different. We will then show the limits of the existing models of computation in capturing some basic construction processes that we are willing to call algorithmic. In order to solve this problem, we propose a formalisation of the notion of model of computation on the basis of which we claim that the notion of algorithm could eventually be analyzed. This approach centered around the dynamics of program execution, reconciles the more mechanical view of computation (such as formalized by Turing machines and automata) with the logical view - as it in particular stems from a generalization of Jean-Yves Girard’s Geometry of Interaction programme.


Transmissão via Zoom (pw: 919 4789 5133).

15h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional / CFCUL - Centro de Filosofia das Ciências da Universidade de Lisboa

Uma oportunidade única para interagir com a comunidade global de computação científica.

Seminário do Centro de Física Teórica e Computacional, por Pablo Sartori (Instituto Gulbenkian de Ciência, Oeiras, Portugal).

Seminário do Departamento de Física de Ciências ULisboa, por João Ramalho Pires (FCUL - LIP).

Seminário de Geometria e Física, por Ariel Pacetti (Universidade de Aveiro).

Fotografia do stand da Imprensa da ULisboa

A 95.ª Feira do Livro de Lisboa decorre de 04 a 22 de junho.

Mar

Seminário de Projeto de Investigação (Doutoramento em Biologia - Especialidade de Biologia Marinha e Aquacultura), por  João Noronha Gamito Trigo de Sousa.

Earth Systems Seminar, por Luis Gimeno-Sotelo (CEAUL, ULisboa / EPhysLab, UVigo).

Copilot Chat

Nesta sessão, serão exploradas as funcionalidades e benefícios do Microsoft 365 Copilot Chat de forma personalizada à comunidade académica de CIÊNCIAS.

Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Título/data/local do evento e iconografia representativa de energias renováveis

Junta-te a esta revolução energética e faz a diferença!

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Fotografia de alimentos

Comemoração do Dia Mundial da Segurança dos Alimentos em CIÊNCIAS.

Neste curso ficarás a saber como te podes tornar um permacultor eficiente, produtivo e consciente! O curso está preparado para iniciantes na prática de permacultura.

Formação - Cultivar em Permacultura.

Pessoas a interagirem em frente a um computador portátil

As inscrições para a edição de 2025 da formação decorrem até às 17h do dia 23 de maio.

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Curso destinado a estudantes de Mestrado e de Doutoramento, bem como a profissionais que desenvolvam investigação científica na área da saúde.

Título/data/local do evento e fotografia do mar

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Daniel da Silva Distinguished Lecture, por Jean-Pierre Bourguignon (IHÉS).

Representação de programação R

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

Título/data/local do evento e fotografia do espaço

How far will you go? The IA Summer Program 2025 is your launchpad to the Universe - apply until 26 May!

Workshop organizado pelo CEMS.UL - Centro de Estudos Matemáticos e pelo CAMGDS - Centro de Análise Matemática, Geometria e Sistemas Dinâmicos.

Páginas