Карел С. Шолтен - Carel S. Scholten

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: "Карел С. Шолтен"  – Новости  · газеты  · книги  · ученый  · JSTOR (Июнь 2019) (Узнайте, как и когда удалить этот шаблон сообщения)

Карел С. Шолтен (Амстердам, 1925 - 2009 гг.) физик и пионер вычисление.

Он пошел в Гимназия Воссиуса в Амстердаме, а затем учился физика с 1945 по 1952 г. Амстердамский университет.

В 1947 году голландцы попросили его Mathematisch Centrum (который позже стал Centrum Wiskunde & Informatica ) сотрудничать в создании автоматического калькулятора со своим другом и однокурсником Брэм Лупстра. Их первая система, ARRA I не имел успеха, но его преемник, ARRA II, на котором Геррит Блаау также сотрудничал, был.

В 1954 году начались работы по ARMAC, который он построил вместе с Loopstra и Эдсгер Дейкстра, который отвечал за программное обеспечение и сотрудничал со Шолтеном более 30 лет. ARMAC отличался использованием транзисторы.

В 1958 году Шолтен перешел на работу в Electrologica (потом Philips Electrologica), где он разработал Electrologica X1 компьютер с Loopstra; до 1964 г. было установлено 40 моделей, в основном в университетах. Он работал в Philips Electrologica до 1979 года, когда перешел на Лаборатория Philips Natuurkundig, где он пробыл до 1985 года.

В 1991 г. был награжден почетный доктор к Technische Universiteit Eindhoven.

Публикации

• Эдсгер В. Дейкстра и Карел С. Шолтен (1990). Исчисление предикатов и семантика программ. Springer-Verlag ISBN  0-387-96957-8 - абстрактный формальный подход к Семантика преобразователя предикатов^[1]

внешняя ссылка

• Eredoctor Carel Scholten overleden - Технический университет Эйндховена (на голландском) - Некролог TU Eindhoven.
• Невоспетые герои голландской компьютерной истории - Карел С. Шолтен и Брэм Ян Лупстра - Иллюстрированный отчет о работе в Техническом университете Эйндховена.
• Компьютеры ontwerpen, toen (Тогда проектирование компьютеров) (на голландском, на Фонд Electrologica site) - ретроспективное обращение Карела Шолтен 23-11-1979.

Рекомендации