Jump to content

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

Карел Шолтен
Альма-матер Амстердамский университет
Научная карьера
Поля
Учреждения

Карел С. Шолтен (Амстердам, 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]
[ редактировать ]
  1. ^ «Эдсгер Вайбе Дейкстра» . Школа математических и вычислительных наук . Университет Сент-Эндрюс . Проверено 26 декабря 2010 г.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 3a6aa0d5975b99fc0e4fe30f366e3863__1700023500
URL1:https://arc.ask3.ru/arc/aa/3a/63/3a6aa0d5975b99fc0e4fe30f366e3863.html
Заголовок, (Title) документа по адресу, URL1:
Carel S. Scholten - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)