Tutor information
Niccolò Salvatori
Niccolò Salvatori completed a Ph.D. in Pure Mathematics at KCL in 2017 on logarithmic structures of Topological Quantum Field Theories and has been teaching for the Department of Mathematics at LSE since 2016.
Courses
This is an overview of how Mathematicians validate truth and create new knowledge. By presenting various proof techniques and examples, we will investigate how mathematicians formalized reasoning over the centuries to make it correct and unambiguous.
Explore Alan Turing's contributions to the foundations of computing including how the Turing Machine - his mathematical model of the computer - helps define basic computational steps and the theoretical limits of computation.