Home > Digital Learning > Resources > Algorithmics > Algorithmics Study Design > Unit 4: Principles of algorithm design > Area of Study 3:Universality of computation and algorithms
Area of Study 3:Universality of computation and algorithms
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.
