Area of Study 3:Universality of computation and algorithms
In this area of study, students examine computation as a universal concept that is independent of programming languages and computer hardware.
They encounter examples of computational problems that cannot be solved in principle and learn formal methods for studying the outer limits of computation. Students investigate the prospects for automatic reasoning and engage with the philosophical debate about whether artificial intelligence is possible. They study these topics in historical context to explore past and present connections between computer science, mathematics and philosophy. Students are not required to produce proofs or formal explanations concerning undecidability.
Yes