Jornadas de Matemática da Escola Secundária Jaime Moniz

Em 2016 fui pela primeira vez convidado para participar nas jornadas de matemática da ESJM. Na altura a ideia foi a de apresentar como se aplica a lógica a argumentos e se traduz argumentos na linguagem natural para a linguagem lógica. As jornadas realizam-se de dois em dois anos e em 2018 o convite foi renovado e fui abordar a questão de como com algoritmos construímos realidades. Interrompidas pela pandemia as jornadas regressaram este ano. Desta vez fui falar de como um mau aluno a matemática olha mais tarde para a matemática fazendo o meu próprio percurso de vida. Pelo meio falei ainda de ChatGPT e automação, ontologia da matemática e realismo ontológico e ainda tive tempo de falar um pouco de lógica para além de ter deixado uma mão cheia de sugestões para motivação dos alunos para a matemática. Agradeço a todos os meus colegas de matemática da minha escola, bem como a nossa Presidente e em especial o professor e amigo João Viveiros, professor de matemática na escola. Esta sessão foi muito bem apresentada pelas alunas Eleonora e Francisca. Um obrigado também à sua dedicação.