Карел С. Шолтен

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

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

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

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

В 1954 году началась работа над ARMAC, который он построил вместе с Loopstra и Edsger W. Dijkstra , который отвечал за программное обеспечение и сотрудничал с Scholten более 30 лет. ARMAC был примечателен тем, что использовал транзисторы .

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

В 1991 году ему была присвоена степень почетного доктора Технического университета Эйндховена .

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

• Эредектор Карел Схолтен overleden - TU Eindhoven (на голландском языке) - Некролог TU Eindhoven .
• Невоспетые герои в истории голландской вычислительной техники – Карел С. Шолтен и Брэм Ян Лоопстра. Архивировано 16 февраля 2019 г. в Wayback Machine – Иллюстрированный отчет о его работе в Техническом университете Эйндховена.
• Computers ontwerpen, toen (Проектирование компьютеров тогда) (на голландском языке, на сайте Electrologica Foundation ) - Ретроспективное выступление Карела Шолтена 23 ноября 1979 г.