1991 год в науке

16-04-2023

1991 год в науке
19891990 — 1991 — 19921993
См. также: Другие события в 1991 году

В 1991 году были различные научные и технологические события, некоторые из которых представлены ниже.

Содержание

События

Достижения человечества

Открытия


Новые виды животных

Награды

  • Нобелевская премия
  • Премия Бальцана
  • Премия Тьюринга
    • Робин Милнер — «За три различных полноценных достижения: 1) LCF прувер, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике; 2) ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработкой ошибок; 3) CCS, общая теория конкурентных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками».

Скончались

Примечания


1991 год в науке.

© 2011–2023 stamp-i-k.ru, Россия, Барнаул, ул. Анатолия 32, +7 (3852) 15-49-47