Nothing technical here. In this video I introduce some important
questions about mathematical, logical and computational models, to
start you thinking about the relationship between the virtual
worlds, created by the models we will study in logic and implement
in software, and the material world we inhabit in real life (IRL).
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.