'From Logic to computer science: a linguistic journey', London, UK
13 February 2013 - 13 February 2013
United Kingdom
A lecture entitled 'From Logic to computer science: a linguistic journey' will be held on 13 February 2013 in London, UK.
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 lecture will look at the interplay between logic and computer science, explaining what it takes to understand an artificial language.For further information, please visit:
http://royalsociety.org/events/2013/logic-computer-science/(opens in new window)
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 lecture will look at the interplay between logic and computer science, explaining what it takes to understand an artificial language.For further information, please visit:
http://royalsociety.org/events/2013/logic-computer-science/(opens in new window)