Overview
Location
United Kingdom, England, Cambridge
Mentions in press and media 3
| Date | Title | Description |
| Sign up to see | Sign up to see | Sign up to see |
| Jun 26, 2026 | Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли? | Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean. В Древней Греции Евклид показал, что, если согласовать небо... |
| May 13, 2008 | Not since 1657... | Not since 1657... 13-05-2008 In a feat unmatched since 1657, a Cambridge academic has been appointed to a second chair at London’s oldest institute of higher education. Following on from his great success in delivering free public lectures ... |