Revaz Gamkrelidze — Georgian mathematician (1927–2025)