José Anastácio da Cunha e o projeto MAT² : no trilho de uma história extraordinária

A ideia de que as Matemáticas de Portugal (e de Espanha) atravessaram, depois de um período áureo nos Descobrimentos, um longo deserto onde não foi possível florescerem Mestres, nem escolas, nem cultura científica, nem investigação de relevo foi, durante muito tempo, reiteradamente veiculada, inclusivé através de alguns dos nossos mais referenciados historiadores da Matemática, como é o caso de Gomes Teixeira ou de Rey Pastor. Mas a verdade é que o estudo da História das Matemáticas em Portugal tem, na última década, vivido um interesse crescente onde sobressaem, em particular, uma leitura menos enviesada sobre, por exemplo, o papel educativo dos Jesuítas ou a publicação das obras completas de Pedro Nunes. Está-se assim a contribuir para uma compreensão mais completa da História geral de Portugal, de que a História da Ciência e da Cultura faz parte. José Anastácio da Cunha (1744-1787) foi figura de proa no século XVIII português. Sabíamo-lo matemático que, sem nunca ter saído de Portugal, havia sido capaz de antecipar, em mais de 50 anos, os esforços de matemáticos franceses e alemães para fundar a Matemática com rigor. Sabíamo-lo também autor de uma vasta e diversificada obra de inegável importância matemática mas, igualmente, autor de textos poéticos. Agora, com o projecto que denominámos de MAT2, centramo-nos em José Anastácio da Cunha e pretendemos, se possível, ir ainda mais além. Partimos de uma descoberta, árdua mas com final feliz, em um Arquivo de família: o da Casa de Mateus. Sentimo-nos, com esta “sorte”, privilegiados e gratos por nos ter sido gentilmente concedido o acesso a um vasto conjunto de documentos únicos (diários de viagens, notas de aulas e correspondência) que incluem memórias autógrafas e inéditas de Anastácio da Cunha. Organizámo-nos, cientes do trabalho árduo que temos pela frente, multi e interdisciplinarmente englobando a Matemática (nas suas múltiplas especializações) e a História (incluindo a da Matemática) mas também contando com a Física, a Informática, os estudos militares ou a Arquivística e as Humanidades; reunimos académicos, mais e menos veteranos, com investigadores jovens e juntámos valências nacionais e estrangeiras. No presente artigo daremos conta do percurso trilhado, até agora, pelo projecto MAT2.

José Anastácio da Cunha e a criação da Casa Pia de Lisboa

As modernas ideias científicas e tecnológicas da Europa mais desenvolvida transpoem fronteiras e institucionalizam-se em Portugal com a denominada Reforma Pombalina da Universidade de Coimbra (1770-72), no reinado de D. José. Mais: não só chega a Portugal o pensamento moderno da época como, antecipando a reforma do ensino universitário no resto da Europa, o ensino universitário português faz uma aposta clara nas ciências matemáticas, físicas e naturais, bem como num ensino experimental/laboratorial. Anos mais tarde, no reinado de D. Maria, surgem outros projectos educativos e científicos igualmente modernos tais como o da criação de uma Academia Real da Marinha (1779) ou o de uma Academia Real das Ciências (1779) e idealiza-se um projeto, porventura, ainda mais revolucionário: o da criação de uma instituição de ensino – também de ciências ditas superiores – destinada, na sua génese, a orfãos e desvalidos à qual se chamou Casa Pia de Lisboa (1780), e que alguns autores reportam como sendo uma “universidade plebeia”. Com base em documentação autógrafa, ainda inédita, recentemente descoberta nos Fundos Setecentistas do Arquivo da Casa de Mateus, exploraremos o papel fundamental que José Anastácio da Cunha (1744-1787) – militar, matemático e poeta – desempenhou na concepção do Plano de Estudos para a instituição; em particular para o colégio de S. Lucas, consagrado às classes científicas.

Seismic vulnerability of vernacular buildings in urban centres: the case of Vila Real de Santo António

Following detailed studies of Portuguese vernacular building typologies, this paper deals with buildings located in historical urban centres. An analysis of the history of the urban centre and, in particular, of some vernacular buildings is enhanced. Additionally, a discussion on the influence of changes of the geometry, and on added built volumes to original buildings in the seismic vulnerability of the buildings is also provided.

O Display da morte na ficção de José Saramago

Tese de Doutoramento em Ciências da Literatura (área de especialização em Literatura Portuguesa).

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Recordando o Prof. Doutor José de Azevedo Ferreira 20 anos após a sua morte

Artigo de jornal (2015): «Recordando o Prof. Doutor José de Azevedo Ferreira 20 anos após a sua morte», in Diário do Minho, Caderno Cultura, pp. IV-VI, 10 de junho de 2015.

Ferramenta de suporte à decisão e prática clínica em unidades de cuidados neonatais e pediátricos

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

A semântica cognitiva e suas conexões com as ciências da linguagem e com aspectos socioculturais - Entrevista com José de Sousa Teixeira (Universidade do Minho)

Número temático: A semântica cognitiva em foco

Caminhos vicinais de Santo Antão: marcas de ocupação humana num território montanhoso

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cidade e Território)