Tales of Electrologica: Computers, Software and People

Alberts, Gerard, Groote, Jan Friso

  • 出版商: Springer
  • 出版日期: 2024-01-06
  • 售價: $1,750
  • 貴賓價: 9.5$1,663
  • 語言: 英文
  • 頁數: 201
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031130359
  • ISBN-13: 9783031130359
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.

The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the values, which went without saying in the 1960s.

  • To disagree, Paul Klint relates the contrasting views on software in Dutch research traditions.
  • ALGOL culture: Frans Kruseman Aretz takes the reader along to the detailed decisions on constructing compilers and shows the values of an ALGOL culture transpiring.
  • Signposts: Dirk Dekker for the first time 'owns' his algorithm for mutual exclusion.
  • In particle physics: René van Dantzig's use case was an Electrologica X8 computer controlling two other computers in three-dimensional detection of colliding particles.
  • Early steps in AI: Lambert Meertens' tale of the X8 machine composing a violin quartet comes with his original presentation, as well as the code in ALGOL 60.
  • The reflections of first hand experiences combine well with the second thoughts of historical research into archival sources. Historians Huub de Beer and Gerard Alberts offer a view into the boardrooms of the local enterprise Electrologica, and of the electronics multinational Philips. Where pioneers and historians meet in an inspiring dialogue, the reader gains a view on the often implicit decisions constituting the field.

    Fortuitously, a copy of the X8 was retrieved from Kiel, Germany, and put on display at Rijksmuseum Boerhaave, Leiden. Sparked by the very material presence of an X8, the present book takes stock of the state of historiography of Electrologica.

    Gerard Alberts is an associate professor in History of Digital Cultures, retired from the University of Amsterdam. Jan Friso Groote is a full professor of Formal Methods at the Eindhoven University of Technology.

    商品描述(中文翻譯)

    在1950年代,批量生產電腦是一項相當了不起的成就。這裡討論的機器被稱為X1和X8,無論在數學上有多麼複雜。

    這項工業成就,加上在數學研究中心的背景,使得Electrologica公司成為荷蘭計算機界的傳奇。本書中的故事由那些有權講述的人來講述。高度投入的專業人士帶領讀者回顧他們與這些機器的開創性工作,並在回顧中揭示出一些在1960年代不言而喻的價值觀。

    - 不同意見:Paul Klint講述了荷蘭研究傳統中對軟體的對立觀點。
    - ALGOL文化:Frans Kruseman Aretz帶領讀者深入探討編譯器建構的詳細決策,並展示出ALGOL文化所體現的價值。
    - 路標:Dirk Dekker首次「擁有」他的互斷算法。
    - 在粒子物理學中:René van Dantzig的使用案例是利用Electrologica X8電腦控制另外兩台電腦進行三維碰撞粒子的檢測。
    - 人工智慧的早期步驟:Lambert Meertens講述X8機器創作小提琴四重奏的故事,並附上他的原始演示以及ALGOL 60的程式碼。

    第一手經驗的反思與對檔案來源的歷史研究的再思考相得益彰。歷史學家Huub de Beer和Gerard Alberts提供了對當地企業Electrologica和電子跨國公司Philips董事會的洞察。在開創者與歷史學家之間的啟發性對話中,讀者得以窺見構成該領域的那些常常隱含的決策。

    巧合的是,一台X8的複製品從德國基爾被找回,並在萊頓的博爾哈維博物館展出。受到X8實體存在的啟發,本書對Electrologica的歷史學狀態進行了盤點。

    Gerard Alberts是數位文化歷史的副教授,已從阿姆斯特丹大學退休。Jan Friso Groote是埃因霍溫科技大學的正式教授,專攻形式方法。

    作者簡介

    Gerard Alberts (1954) is an historian of digital cultures and historian of mathematical thought. He graduated in mathematics and took his PhD cum laude in History. Gerard's key contribution to the history of mathematical thinking is pinpointing the rise of mathematical modeling in the middle of the twentieth century. In history of computing his focus has been on the history of software, and history of hacker culture. Recent work has been on webarchaeology. He his member of the editorial board of Annals of the history of computing and of Internet histories.

    Gerard Alberts served the research Eurocores project "Software for Europe" (2007-2011) as its project leader. He is retired associate professor history of digital cultures at University of Amsterdam.

    Gerard Alberts is the editor of the Springer series History of Computing.

    Jan Friso Groote (1965) is a full professor in Formal Methods at Eindhoven University of Technology. His interest is in efficiently proving the correctness of the software in computer controlled systems. This for instance led to the book, Modeling and Analysis of Communicating Systems, The MIT Press 2014. Before commencing in Eindhoven, in 1997, he studied Computer Science at Twente University and wrote a PhD on process algebra at CWI, Amsterdam (1991), where he later became a leader of the research group SEN2.

    作者簡介(中文翻譯)

    Gerard Alberts(1954年)是數位文化的歷史學家及數學思想的歷史學家。他畢業於數學,並以優異的成績獲得歷史學博士學位。Gerard對數學思維歷史的主要貢獻在於指出數學建模在二十世紀中期的興起。在計算機歷史方面,他專注於軟體的歷史以及駭客文化的歷史。最近的研究工作集中在網路考古學上。他是《計算機歷史年鑑》和《網際網路歷史》的編輯委員會成員。

    Gerard Alberts擔任研究歐洲核心計畫「歐洲的軟體」(2007-2011)的專案負責人。他是阿姆斯特丹大學數位文化歷史的退休副教授。

    Gerard Alberts是Springer系列《計算機歷史》的編輯。

    Jan Friso Groote(1965年)是埃因霍溫科技大學的正式教授,專注於形式方法。他的研究興趣在於有效地證明計算機控制系統中軟體的正確性。例如,這導致了他於2014年出版的書籍《建模與分析通訊系統》,由麻省理工學院出版社出版。在1997年開始在埃因霍溫工作之前,他在特溫特大學學習計算機科學,並於1991年在阿姆斯特丹的CWI撰寫了有關過程代數的博士論文,之後成為研究小組SEN2的負責人。