Local dos seminários: sala 6.2.33 | Entrada Livre
15 de julho
(9h30) Receção
Sala 6.2.33
+
Projeto
+
(16h) Seminário
"Muito provavelmente, não tens ideia do que pode ser uma demonstração matemática!",
por Bruno Loff
(seguido de coffee-break)
16 de julho
Projeto
+
(16h) Seminário
"José Anastácio da Cunha, Matemático e Poeta",
(seguido de coffee-break)
17 de julho
Projeto
+
(16h) Seminário
Everything You Always Wanted to Know About Schrödinger equation (But Were Afraid to Ask),
por Jean Baptiste
(seguido de coffee-break)
18 de julho
Projeto
+
(16h) Workshop
Comunicar ciência: boas práticas para uma comunicação eficaz,
por Marta Santos
(seguido de coffee-break)
21 de julho
Projeto
+
(16h) Seminário
How to heat a room with number theory,
por Florian Pausinger
(seguido de coffee-break)
22 de julho
Projeto
+
(16h) Seminário
A anunciar
(seguido de coffee-break)
23 de julho
Projeto
+
(16h) Seminário
A anunciar
(seguido de coffee-break)
24 de julho
Projeto
+
(16h) Seminário
A anunciar
(seguido de coffee-break)
25 de julho
Projeto
+
(14h) Apresentação dos projetos
(seguido de coffee-break)
Programa das Apresentações dos Projetos
-
A anunciar
Data: 15 de julho
Título: Muito provavelmente, não tens ideia do que pode ser uma demonstração matemática!
Orador: Bruno Loff
Resumo:
O que é uma demonstração matemática? A forma mais clássica de definir esta noção vem de Frege: nesse sentido, uma demonstração é uma sequência de frases da lógica proposicional, que obedece a certas regras da lógica. Quando se ensina matemática na universidade, é normalmente este o entendimento implícito sobre aquilo que conta como uma demonstração.
Nesta palestra, vamos ver muitas variantes desta noção básica, nomeadamente:
-
Sistemas lógicos como linguagens recursivamente enumeráveis.
-
Sistemas lógicos como linguagem em NP.
-
Demonstrações Probabilisticamente Verificáveis: Como escrever uma demonstração de tal forma que seja possível verificar a correção da prova escolhendo aleatóriamente 100 posições e fazendo um teste local.
-
Demonstrações Interactivas: como é possível demonstrar mais coisas numa conversa interativa, do que aquelas que é possível demonstrar enviando uma carta.
-
Demonstrações Zero-Knowledge: como é possível convencer uma pessoa, com toda a certeza, de que algo é verdadeiro, sem nunca explicar porquê.
Data: 16 de julho
Título: José Anastácio da Cunha, Matemático e Poeta
Orador: José Francisco Rodrigues
Resumo:
Em matemática, como percursor na organização lógica do cálculo infinitesimal na segunda metade do século XVIII, na poesia, onde foi percursor do romantismo na poesia portuguesa e fez a “primeira tentativa de dissolver a forma endurecida da estupidez tradicionalista", segundo Fernando Pessoa, José Anastácio da Cunha (1744-1787) na sua obra revelou-se “um daqueles homes raros que nas nações cultas costumam aparecer”, vivendo numa época e num país que tardou a reconhecê-lo. Revisitando as primeiras definições da convergência de uma série e da de diferencial, bem como alguns dos seus sonetos, a evocação desta figura maior da história científico-cultural portuguesa pode servir de inspiração nas relações da matemática com a vida.
Data: 17 de julho
Título: Everything You Always Wanted to Know About Schrödinger equation (But Were Afraid to Ask)
Orador: Jean-Baptiste Casteras
Resumo:
Partial differential equations (PDEs) are ubiquitous mathematical objects to model real-world phenomena. They are the keystone of the modern understanding of sound and heat propagation, population dynamics, fluid dynamics, general relativity and quantum mechanics among other fields. They also arise from many purely mathematical subjects such as differential geometry or calculus of variations. In this talk, I will focus on the Schrödinger equation. This is one of the basic examples of a class of PDEs called dispersive. I will try to give a gentle introduction on this very vast topic.
Data: 18 de julho
Título: Comunicar ciência: boas práticas para uma comunicação eficaz
Orador: Marta Daniela Santos
Resumo:
A ciência está cada vez mais presente no nosso dia-a-dia. E os cientistas têm a responsabilidade de ter uma voz ativa em comunicar este conhecimento.
Neste workshop vamos explorar por que é importante para os cientistas comunicarem ciência e que boas práticas podem ser utilizadas para comunicar conceitos científicos, que podem ser complexos, de forma mais clara e cativante.
Data: 21 de julho
Título: How to heat a room with number theory
Orador: Florian Pausinger
Resumo:
Suppose you live on a torus and want to heat it as efficiently as possible with a finite number of identical heat sources. What configuration is optimal and how much better is the optimal solution compared with, say, a random placement of the sources? The answer to this question is surprisingly simple and involves a small detour into some elementary number theory. Interestingly, the solution to this problem has connections to more advanced questions in numerical integration.
Data: 22 de julho
Título: From random matrices to random permutations
Orador: Giulio Ruzza
Resumo:
I will give an overview of the field of "integrable probability" explaining how statistical phenomena first observed in eigenvalues of large random matrices find application to a wide variety of (exactly solvable) models.
The main focus will be placed on the problem of the longest increasing subsequence in a uniform random permutation and the Baik--Deift--Johansson theorem (2000).
Time permitting, I will also touch on some more recent developments I have been involved in.
Data: 23 de julho
Título: A anunciar
Orador: a anunciar
Resumo:
Data: 24 de julho
Título: A anunciar
Orador: a anunciar
Resumo: