This public lecture was part of the Harmonic Analysis, Stochastics and PDEs workshop at ICMS. We were delighted to welcome speaker Ilya Chevyrev (University of Edinburgh) for this public lecture.The…
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Learning from equivalence queries and
unprovability of circuit upper bounds University of Warwick Igor Oliveira
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.
Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.