Карел С. Шолтен
Эта статья нуждается в дополнительных цитатах для проверки . ( июнь 2019 г. ) |
Карел Шолтен | |
---|---|
Альма-матер | Амстердамский университет |
Научная карьера | |
Поля | |
Учреждения |
Карел С. Шолтен (Амстердам, 1925–2009) был физиком и пионером вычислительной техники .
Он учился в гимназии Воссиуса в Амстердаме, а затем изучал физику с 1945 по 1952 год в Амстердамском университете .
) попросил его В 1947 году голландский математический центр (который позже стал Centrum Wiskunde & Informatica сотрудничать в создании автоматического калькулятора с его другом и сокурсником Брэмом Лупстрой . Их первая система, ARRA I, не имела успеха, но ее преемник, ARRA II , над которым Геррит Блаау также сотрудничал , добился успеха.
В 1954 году началась работа над ARMAC , которую он построил вместе с Лупстрой и Эдсгером В. Дейкстра , который отвечал за программное обеспечение и сотрудничал со Шолтеном более 30 лет.ARMAC отличался использованием транзисторов .
В 1958 году Шолтен перешел на работу в компанию Electrologica (позже Philips Electrologica), где вместе с Loopstra разработал компьютер Electrologica X1 ; до 1964 г. было установлено 40 моделей, в основном в университетах. Он оставался в Philips Electrologica до 1979 года, затем перешел в Philips Natuurkundig Laboratorium , где оставался до 1985 года.
В 1991 году ему была присвоена степень почетного доктора Эйндховена Технологического университета .
Публикации
[ редактировать ]- Эдсгер В. Дейкстра и Карел С. Шолтен (1990). Исчисление предикатов и семантика программ . Шпрингер-Верлаг ISBN 0-387-96957-8 - Абстрактная формальная трактовка семантики преобразователя предикатов. [1]
Внешние ссылки
[ редактировать ]- Скончался почетный доктор Карел Шолтен - TU Eindhoven (на голландском языке) - Некролог TU Eindhoven .
- Невоспетые герои в истории компьютерных технологий Нидерландов - Карел С. Шолтен и Брэм Ян Лупстра. Архивировано 16 февраля 2019 года в Wayback Machine . Иллюстрированный отчет о его работе в Техническом университете Эйндховена.
- Проектирование компьютеров тогда ( на голландском языке, на сайте Electrologica Foundation ) – ретроспективное выступление Карела Шолтена 23 ноября 1979 года.
Ссылки
[ редактировать ]- ^ «Эдсгер Вайбе Дейкстра» . Школа математических и вычислительных наук . Университет Сент-Эндрюс . Проверено 26 декабря 2010 г.