(no subject)
Немножко позитива: умер Martin Davis, не дожив двух месяцев до 95-ти лет (учился ещё у Чёрча, которого тезис Чёрча). Почему позитива: человек был исключительно здоровый, ещё в прошлом году сам летал за границу, до сентября возглавлял FOM (форум по основаниям математики). Умер быстро. На FOM читать было нечего, но некрологи очень интересные. Типа "умер такой-то в возрасте 98 лет" и глаза на лоб "а что, он был ещё живой?" В своё время выдвинул известную гипотезу Дэвиса "всякое перечислимое множество диофантово" и показал, что она верна, если существует некоторая фигня с интересными свойствами. Но построить нужную фигню не смог. В результате фигню построил (и доказал гипотезу) студент-вундеркинд Юрий Матиясевич, за что ему зачли диплом как докторскую степень (поскольку решает одну из проблем Гильберта).