18 Abril, Colóquio de Matemática
A actualidade de Alan Turing
Luís Moniz Pereira, Universidade Nova de Lisboa
Auditório da Escola de Ciências da Universidade do Minho, 14h30m
Resumo:
A actualidade de Alan Turing advém da intemporalidade dos tópicos que abordou e da perspectiva inovadora que adoptou sobre eles.
Turing determinou os limites algorítmicos da computabilidade quando definida por um mecanismo. Na verdade é essa a sua originalidade, que tanto impressionou Gõdel, dada a simplicidade do mecanismo, a que chamamos hoje Máquina de Turing.
Introduziu a perspectiva do Funcionalismo, mostrando que o que conta são a realização de funções, independentemente do hardware (terráqueo ou extra-terráqueo), e provou que toda a computação pode ser realizada por meio de um mecanismo o mais simples possível; uma fita ou rolo sem fim de papel aos quadrados (e.g. o higiénico) combinado com um autómato finito (e.g. a máquina MultiBanco). Além da sua simplicidade física, mostrou a sua generalidade universal: ou seja, a capacidade mimética ilimitada dessas máquinas conceptuais, capazes de imitar qualquer outra, e apenas baseadas na manipulação de símbolos (digitais como os dedos de uma mão), manipulação também ela expressa apenas por símbolos, e por isso mesmo imitável.
Não se inventou até hoje um processo computacional mecanizável geral que não fosse expressável nesses termos, com arbitrária aproximação. Mesmo quem se reclama de redes neuronais, e sabe-se lá que mais, simula em computador digital esses processos!
Haverá limites à Computação, é a pergunta. Como se houvesse algo para além dela, quando os físicos descobrem que o universo afinal pode bem ser digital (o tempo também é quântico) e está em expansão julga-se que irreversível - a fita da máquina de Turing pode sim ter tamanho ilimitado! E os biólogos descobrem que a vida é computação!
A essência de Turing é o funcionalismo universal, e este não se vai embora, É o fantasma da máquina que ainda nos acompanha no século XXI, e nos acompanhará, felizmente, per omnia seculorum. A sua consequência epistemológica é uma relação simbiótica de evolução conjunta do homem e da máquina, porque ambos feitos duma mesma funcionalidade teórica!
Será a "Ciência da Computação" uma Ciência, tomando como requisito de ser ciência de que possa ser testada pela realidade? Por uma tal definição a Matemática não é ciência já que a realidade não serve para a falsificar. Será a Computer Science uma ciência no sentido atrás suposto? Como responderia Turing?
Responderia que...
Este Colóquio insere-se nos Colóquios de Matemática do Centro de Matemática.
mais informações em 
18 Abril, Tertúlia FNACiência
Turing e a Visão Computacional da Mente e do Mundo — a sua actualidade
Luís Moniz Pereira (Universidade Nova de Lisboa)
Manuel Curado (Universidade do Minho)
Moderação: Paula Nogueira
FNAC, Braga Parque, 21h30m
Resumo:
Poucos cientistas dos século XX influenciaram tanto a sociedade em que vivemos como o matemático inglês Alan Turing, cujo centenário do nascimento se celebra em 2012. Se nos anos 1930 Turing determinou os limites algorítmicos da computabilidade quando definida por um mecanismo, nos anos 1950 profetizou que as máquinas um dia competiriam com os homens em todos os campos puramente intelectuais. Propomos uma conversa a partir desta profecia, para discutir a visão computacional do mundo.
18 Abril - 3 Maio, Exposição
"25 anos de LCC: as máquinas com que nos fizemos"
Inauguração com visita guiada: 18 de Abril, 19h
Braga Parque
Resumo:
Para assinalar os 25 anos da Licenciatura em Matemática e Ciências da Computação, o Departamento de Informática organiza uma exposição que dá testemunho da evolução tecnológica ao longo das últimas décadas. A exposição recua até à década de 1970 e ao tempo dos cartões perfurados, para resgatar do pó dos armazéns e da História um conjunto de equipamentos informáticos que ajudaram a formar as sucessivas gerações de estudantes. A organização da exposição conta com o apoio do Departamento de Matemática e Aplicações e do Núcleo de Estudantes de Ciências da Computação.
2 Maio, Comemoração dos 25 anos de LMCC/LCC
Anfiteatro da Escola de Ciências, Gualtar
Resumo:
Em 2011/2012 faz 25 anos que o Departamento de Informática e o Departamento de Matemática (hoje Departamento de Matemática e Aplicações) criaram a Licenciatura em Matemática e Ciências da Computação (LMCC), percursora da atual Licenciatura em Ciências da Computação (LCC). O NECC - Núcleo de Estudante em Ciências da Computação - organiza um evento comemorativo, que decorre no dia 2 de Maio, no Complexo Pedagógico 1 no A1, para o qual convida todos os alunos e ex-alunos de LMCC e LCC e a academia em geral. O programa consiste numa pequena apresentação do curso às escolas secundárias dos distritos de Braga, Porto e Viana do Castelo, em algumas apresentações de experiências vividas por ex-alunos, numa atividade lúdica no Bowling House e num jantar para convívio no Restaurante "O Gato". Para mais detalhes ver www.necc.pt/25-anos.
23 Maio, Colóquio de Matemática
Cientista como algoritmo
José Félix Costa (Centro de Matemática e Aplicações Fundamentais do Instituto Superior Técninco e Centro de Filosofia das Ciências da Universidade de Lisboa )
Auditório da Escola de Ciências da Universidade do Minho, 14h30m
Resumo:
Nos cursos de cálculo diferencial e integral, quando ensina aos seus alunos que não há algoritmo para calcular a primitiva de uma função elementar, o docente está, as mais das vezes inconscientemente, a aplicar um resultado da teoria da computabilidade, introduzida por Turing e Kleene.
Nesta sessão, mostramos que o modelo computacional de Turing (em qualquer das suas formalizações) determina limites, quer na matemática quer nas ciências em geral, nomeadamente na física (mecânica clássica, quântica e teoria da gravitação de Einstein).
Estudamos, em seguida, mais detalhadamente, duas das manifestações desses limites: (a) a natureza não algorítmica de certas teorias físico-matemáticas e (b) a violação do princípio da refutabilidade de Popper.
Este Colóquio insere-se nos Colóquios de Matemática do Centro de Matemática.
mais informações em
19 Julho - 14:30, Palestra
Universality and Self-Reference:Alan Turing's Legacy in Logic and Computing
Dexter Kozen (Universidade de Cornell, EUA)
Local: Dep. Informática - Anfiteatro A2
Resumo:
In this talk I will review some historical aspects of the momentous time during the 1930s when Turing, Church, Goedel, and Kleene were laying the foundations of our field. I will describe how the concepts of universality and self-reference play out in the formalisms of the time and how the Y combinator, the recursion theorem of Kleene, and Goedel's fixpoint lemma are all essentially the same phenomenon. I will also discuss Turing's definition of the computable reals and its implications for constructive analysis.
12 Outubro, Colóquio de Matemática
Enigma: a máquina e a cifra
António Machiavelo (Faculdade de Ciências da Universidade do Porto)
Auditório da Escola de Ciências da Universidade do Minho, 14h30m
Resumo:
Nesta palestra será feita uma descrição detalhada do funcionamento da máquina Enigma, usada na segunda guerra mundial pelas tropas alemãs para comunicações militares confidenciais, assim como dos esforços criptanalíticos feitos ao longo da guerra para quebrar a respectiva cifra. Especial referência será dada ao papel desempenhado por Alan Turing nesses esforços. Finalmente, serão mencionados alguns problemas ainda por responder sobra a cifra Enigma.
Este Colóquio insere-se nos Colóquios de Matemática do Centro de Matemática.
mais informações em
24 e 29 de Outubro, Projecção de Filme
24 de Outubro,17h, Auditório da Escola de Ciências, Univ. do Minho, Gualtar
29 de Outubro,11h, sala EC1.03, Escola de Ciências, Univ. do Minho, Azurém
"Breaking the Code"
Diretor: Herbert Wise
Argumento: Hugh Whitemore
Com: Derek Jacobi, Alun Armstrong, Richard Johnson, Harold Pinter, Amanda Root, Prunella Scales
Produção: BBC, 1997
90m
N.B. Em Inglês
Resumo:
This is the story of mathematical genius Alan Turing (Derek Jacobi), the man who designed the computer that cracked the German Enigma code and, it is argued, enabled the allies to win World War II. It's also the story of a tormented and truthful man whose admittance to homosexuality, at a time when it was illegal, presented problems for him, his family, his colleagues, and the State's preoccupation with National Security. Whether interpreting top-secret documents, refusing to marry the assistant who's in love with him (Amanda Root), or facing his crumbling private life, Turing pulls no punches. And Hugh Whitemore's screenplay, based on his play and Andrew Hodges' book Alan Turing: The Enigma, is presented with all the humor, compassion and intellectual importance it deserves.
28 Novembro, Colóquio de Matemática
Razão e Computação. O contributo de Leibniz
Olga Pombo (Faculdade de Ciências da Universidade de Lisboa)
Auditório da Escola de Ciências da Universidade do Minho, 14h30m
Resumo:
Procuraremos mostrar a importância de Leibniz para aquilo que hoje se entende por razão computacional. Procuraremos também mostrar de que modo o contributo de Leibniz retrospectivamente se inscreve em grandes tradições lógicas, linguísticas e filosóficas e prospectivamente anuncia algumas das linhas de investigação hoje em curso.
Este Colóquio insere-se nos Colóquios de Matemática do Centro de Matemática.
mais informações em