Опровержение: Создатель Quicksort Хоар жив
Ключевые факты
- 1 Создатель Quicksort, сэр Чарльз Энтони Ричард Хоар, жив.
- 2 Хоар разработал язык CSP, повлиявший на Erlang, Elixir и Go-каналы.
- 3 Он учился в Оксфорде, затем в МГУ, где и создал Quicksort.
- 4 Известная цитата Дейкстры о Хоаре подтверждена.
- 5 Цитата Хоара из лекции Тьюринга подтверждена, но с добавлением.
В посте утверждается о кончине сэра Чарльза Энтони Ричарда Хоара, известного как Тони Хоар, создателя алгоритма Quicksort. Однако, согласно актуальным данным, Хоар, родившийся в 1934 году, жив и является активным членом научного сообщества. Пост также упоминает его значительный вклад в разработку языка Communicating Sequential Processes (CSP), который стал фундаментальной основой для концепций параллельных процессов и оказал влияние на такие языки, как Erlang, Elixir, а также на реализацию каналов в Go. Упоминаются его академические достижения, включая обучение в Оксфорде, изучение русского языка во флоте и стажировку в МГУ, где он и разработал Quicksort для машинного перевода. Большая часть этих исторических фактов подтверждена, за исключением ключевого утверждения о его смерти и небольшой неточности в цитате из его лекции при получении премии Тьюринга.