Посмертне помилування

У 2009 році прем'єр-міністр Великої Британії Гордон Браун офіційно попросив вибачення за те, що тодішня британська влада засудила померлого 55 років тому математика Алана Тюрінга до примусового лікування від гомосексуалізму^[8]:

З Аланом і з багатьма тисячами інших чоловіків-геїв, засуджених за гомофобними законами, обійшлися жахливо. А багато мільйонів тих, хто не були засуджені, роками жили в постійному страху бути засудженими за те, що вони такі, які вони є. Я пишаюся тим, що ті часи минули, і що за останні 12 років наш уряд зробив багато чого, щоб зробити життя справедливішим і рівним для нашої спільноти ЛГБТ. Визнання Алана однією з найвідоміших жертв гомофобії у Великобританії є ще одним кроком до забезпечення рівності. <...> Від імені британського уряду і всіх тих, хто живе на волі завдяки внеску Алана, я з усією щирістю кажу: прости нас, ти заслуговуєш набагато кращого.

У Тюрінга не залишилося живих родичів, тому вибачення мало символічний характер. У повідомленні Браун називає математика однією з найвідоміших жертв гомофобії у Великій Британії.

2012 року більше 21 тисячі осіб підписали електронну петицію на користь помилування Тюрінга на сайті канцелярії британського прем'єр-міністра, однак парламент Великобританії відмовився помилувати засудженого. Парламентарі висловлювали жаль через вирок, але наголошували, що рішення суду ґрунтувалося на законах, які діяли в той час^[9].

24 грудня 2013 року, після чергової громадської кампанії з вимогою помилування, в якій брали участь багато видатних вчених та громадських діячів, в тому числі фізик Стівен Хокінг, королева Великобританії Єлизавета II скористалася королівською прерогативою помилування (англ. Royal Prerogative of Mercy), яке є вкрай рідкісним явищем у країні, і посмертно помилувала Алана Тюрінга, засудженого за 59 років до того за гомосексуалізм^[10].

Наукові досягнення та відкриття

Проблема зупинки

Докладніше: Проблема зупинки

Було виявлено, що комп'ютери все-таки можуть розв'язати не будь-яку математичну задачу. Алан Тюрінг довів у 1936 році, що загальний алгоритм розв'язання проблеми зупинки для довільних можливих вхідних даних не може існувати.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Після війни	\|	Розшифровка коду «Енігми»

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.017 сек.