From logic to computer science: a linguistic journey

Royal Society Milner Award lecture by Professor Gordon Plotkin FRS

Event details

Professor Gordon Plotkin FRS is Professor of Computer Science at the University of Edinburgh. 

Artificial languages gave rise to one of the great intellectual endeavours of the 20th century. They came to maturity in mathematical logic, around the 30's, in pursuit of metamathematics, the mathematics of mathematics. The first modern programming languages arose in the 50's; they made it possible to write today's complex software systems, which perform the myriad tasks we all now rely on. 

The study of artificial languages forms a fascinating mix of science and engineering. Professor Plotkin will look at this story, and the interplay between logic and computer science, explaining what it takes to understand an artificial language. As well as its syntax, its form, one must also give an account of its semantics, its meaning, itself tied intimately to its use. He will illustrate what can be done in computer science using semantical methods, and speculate on what else may be done. Finally, he will ask what the future developments of artificial languages may be, and look at a 21st century example, where they are beginning to be used in systems and synthetic biology, itself part of a broader movement connecting computer science and biology.

Enquiries: Contact the events team

From logic to computer science: a linguistic journey 6-9 Carlton House Terrace London SW1Y 5AG UK

Events coming up

  • The next big thing 29 May 2015 at Hay Festival, Hay-on-Wye, Wales Four Royal Society Research Fellows discuss their work at the forefront of science at the Hay Festival.
  • Stuff matters 31 May 2015 at Hay Festival, Hay-on-Wye, Wales Join award winning author Mark Miodownik at the Hay Festival.
  • Elements, genomes and ecosystems: cascading nitrogen and phosphorus impacts across levels of biological organisation 01 June 2015 at The Royal Society at Chicheley Hall, home of the Kavli Royal Society International Centre, Buckinghamshire Theo Murphy international scientific meeting organised by Professor Andrew Leitch, Professor Maurine Neiman, Professor Dag Hessen, Professor Puni Jeyasingh, Professor Lawrence J. Weider and Dr Ilia Leitch

For more events please see the events diary.

Share this page