Prémio Internacional Fernando Gil

Em paralelo com a atribuição do Prémio Fernando Gil em 2013, o júri decidiu atribuir uma menção honrosa a outro dos livros nomeados, cujo autor é Mark Priestley: A Science of Operations. Machines, Logic and the Invention of Programming, Springer, 2011.

Mark Priestley licenciou-se em Matemática e Filosofia pela Universidade de Oxford em 1979. No entanto, o seu interesse pela programação vem dos tempos em que era aluno na escola em Edimburgo. Ingressou assim temporariamente na indústria de software, trabalhando como programador e analista. No entanto, em 1987, transferiu-se para o mundo académico, aceitando lecionar em engenharia de software na Universidade de Westminster, em Londres. Em 1996, publicou um livro intitulado Object Oriented Programming - McGraw-Hill, 1996. Foi reeditado em 2000 numa versão revista, intitulada Practical Object-Oriented Design with UML, com uma segunda edição em 2003. Apesar deste envolvimento prático em computação, Mark Priestley manteve o seu interesse pela filosofia e, desde 2000, o seu principal envolvimento na investigação tem sido na área de história e filosofia da computação.

O tema subjacente ao presente livro é a relação entre lógica e computação. Os primeiros seis capítulos abrangem a obra de Babbage, Turing e von Neumann até à invenção do computador. Nos restantes seis capítulos, Mark Priestley retoma a questão de programação, abordando em primeiro lugar a programação de código de máquina e lógica, depois a invenção de linguagens de programação e finalmente o desenvolvimento dessas mesmas linguagens até 1970.

O júri ficou muito bem impressionado com o relato subtil e diversificado que Mark Priestley atribui à relação entre lógica e computação. Priestley reconhece a importância da lógica para a computação, mas salienta que outros fatores, como a cibernética, também estão presentes, e que a lógica no contexto de computação se tornou algo bastante diferente do que foi no passado. Pristley aborda o papel da lógica em linguagens tais como LISP, especificamente concebidas para ter um caracter lógico, assim como a influência da lógica em mais linguagens convencionais de programação lógica que ocorreram através do programa de investigação ALGOL.

O júri entendeu que Mark Priestley tinha realizado um importante trabalho pioneiro na análise do desenvolvimento intelectual de programação e que o seu livro levanta e argumenta questões filosóficas muito interessantes relacionadas com linguagens de programação. Dado o relevo primordial da computação na vida moderna, o júri entendeu que o livro de Mark Priestley poderá significar o ponto de partida para futuras e importantes questões filosóficas no seio da programação e linguagens da programação. Por estas razões, o júri decidiu atribuir ao livro uma menção honrosa.