Applied Logic Corporation: Difference between revisions
Content deleted Content added
Nominated for deletion; see Wikipedia:Articles for deletion/Applied Logic Corporation. (TW) |
Peter Flass (talk | contribs) added some references, external links, and additional material |
||
| Line 11: | Line 11: | ||
Seeing the need for in-house time sharing the company bought a [[Digital Equipment Corporation]] (DEC) [[PDP-6]] and developed its time sharing service, which came on-line in 1966.<ref name=Auerbach /> In 1968 the company registered ''AL/COM'' as a trademark for its service.<ref>{{cite web|title=Legal Force Trademarkia|url=http://www.trademarkia.com/alcom-72303736.html|accessdate=May 25, 2013}}</ref> The system involved both custom software and custom hardware. |
Seeing the need for in-house time sharing the company bought a [[Digital Equipment Corporation]] (DEC) [[PDP-6]] and developed its time sharing service, which came on-line in 1966.<ref name=Auerbach /> In 1968 the company registered ''AL/COM'' as a trademark for its service.<ref>{{cite web|title=Legal Force Trademarkia|url=http://www.trademarkia.com/alcom-72303736.html|accessdate=May 25, 2013}}</ref> The system involved both custom software and custom hardware. |
||
In the late 1960s the company developed a system called SAM (Semi-Automated Mathematics) for proving mathematical theories without human intervention.<ref>{{cite book |last1=Krantz |first1=Steven G. |title=The Proof is in the Pudding: The Changing Nature of Mathematical Proof |date=2011 |publisher=Springer Science & Business Media |isbn=978-0-387-48908-7 |page=122 |url=https://books.google.com/books?id=mMZBtxVZiQoC&pg=PA122 |accessdate=Jan 9, 2020}}</ref><ref>{{cite book |last1=MacKenzie |first1=Donald A. |title=Mechanizing Proof: Computing, Risk, and Trust |date=2004 |publisher=MIT Press |isbn=0-262-13393-8 |page=89 |url=https://books.google.com/books?id=QiMS8t4V_0cC&pg=PA89 |accessdate=Jan 9, 2020}}</ref> |
|||
| ⚫ | By 1969 |
||
| ⚫ | In 1965 Applied logic acquired a DEC [[PDP-6]] computer system,<ref>{{cite journal |journal=Decuscope |date=January 1965 |volume=4 |issue=1 |url=http://bitsavers.trailing-edge.com/pdf/dec/decus/decuscope/Decuscope_Vol04_1965.pdf |accessdate=Jan 9, 2020}}</ref> which became operation in January, 1966.<ref name=Auerbach /> By 1969 the company had four DEC [[PDP-10]] dual KL-10 systems with plans for a fifth, and had expanded nationwide with offices in [[San Jose, California|San Jose]], [[San Diego, California|San Diego]], and [[San Francisco, California|San Francisco]]. The company also planned to market its time sharing systems in addition to providing services.<ref name=TT1969>{{cite news|url=http://libserv23.princeton.edu/princetonperiodicals/cgi-bin/princetonperiodicals?a=d&d=TownTopics19691120-01.2.122&e=-------en-20--1--txt-IN-----#|newspaper=Town Topics|date=November 20, 1969|title=APPLIED LOGIC EXPANDS}}{{Dead link|date=November 2018 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> The company reported sales of $1,200,995, with an operational loss of $63,456.<ref>{{cite news|url=http://libserv23.princeton.edu/princetonperiodicals/cgi-bin/princetonperiodicals?a=d&d=TownTopics19690612-01.2.76&e=-------en-20--1--txt-IN----- |newspaper=Town Topics |date=June 12, 1969 |title=EARNINGS REPORTED }}{{dead link|date=July 2017 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> |
||
By 1972 AL/COM had local dial-up facilities in ten cities: Boston, Massachusetts, Buffalo, New York, Chicago, Illinois, Indianapolis, Indiana, Montclair, New Jersey, New York, New York, Philadelphia, Pennsylvania, Princeton, New Jersey, Washington, DC, and Wilmington, Delaware.<ref name=Auerbach /> The computer center was located in ''Mathematics Park'' in Princeton.<ref name=TT1969 /> |
By 1972 AL/COM had local dial-up facilities in ten cities: Boston, Massachusetts, Buffalo, New York, Chicago, Illinois, Indianapolis, Indiana, Montclair, New Jersey, New York, New York, Philadelphia, Pennsylvania, Princeton, New Jersey, Washington, DC, and Wilmington, Delaware.<ref name=Auerbach /> The computer center was located in ''Mathematics Park'' in Princeton.<ref name=TT1969 /> |
||
| Line 20: | Line 22: | ||
{{Reflist}} |
{{Reflist}} |
||
==External links== |
|||
* [https://www.gettyimages.com/detail/news-photo/woman-adjusting-an-applied-logic-corporation-time-sharing-news-photo/171791865 A woman adjusting an Applied Logic Corporation (AL/COM) time sharing AL-10 computer system] (photo at Getty Images) |
|||
* [https://pdfs.semanticscholar.org/211c/fb54514f52bb83d3d506d58ed2229498787e.pdf CRT-AIDED SEMI-AUTOMATED MATHEMATICS] SAM Final Report |
|||
Revision as of 23:04, 9 January 2020
An editor has nominated this article for deletion. You are welcome to participate in the deletion discussion, which will decide whether or not to retain it. |
Applied Logic Corporation (AL/COM) was a time-sharing company in the 1960s and 70s.
Headquartered in Princeton, New Jersey, AL/COM started in 1962 working on "mathematical techniques and their applications to problem-solving."[1]
Seeing the need for in-house time sharing the company bought a Digital Equipment Corporation (DEC) PDP-6 and developed its time sharing service, which came on-line in 1966.[1] In 1968 the company registered AL/COM as a trademark for its service.[2] The system involved both custom software and custom hardware.
In the late 1960s the company developed a system called SAM (Semi-Automated Mathematics) for proving mathematical theories without human intervention.[3][4]
In 1965 Applied logic acquired a DEC PDP-6 computer system,[5] which became operation in January, 1966.[1] By 1969 the company had four DEC PDP-10 dual KL-10 systems with plans for a fifth, and had expanded nationwide with offices in San Jose, San Diego, and San Francisco. The company also planned to market its time sharing systems in addition to providing services.[6] The company reported sales of $1,200,995, with an operational loss of $63,456.[7]
By 1972 AL/COM had local dial-up facilities in ten cities: Boston, Massachusetts, Buffalo, New York, Chicago, Illinois, Indianapolis, Indiana, Montclair, New Jersey, New York, New York, Philadelphia, Pennsylvania, Princeton, New Jersey, Washington, DC, and Wilmington, Delaware.[1] The computer center was located in Mathematics Park in Princeton.[6]
By 1970 the company was in financial difficulty and negotiated an agreement to defer $1,300,000 of debt.[8] Applied Logic filed for Chapter XI bankruptcy in 1975.
References
- ^ a b c d Auerbach Publishers (1972). Auerbach Guide to Time Sharing (PDF). Philadelphia, PA. p. 86.
{{cite book}}: CS1 maint: location missing publisher (link) - ^ "Legal Force Trademarkia". Retrieved May 25, 2013.
- ^ Krantz, Steven G. (2011). The Proof is in the Pudding: The Changing Nature of Mathematical Proof. Springer Science & Business Media. p. 122. ISBN 978-0-387-48908-7. Retrieved Jan 9, 2020.
- ^ MacKenzie, Donald A. (2004). Mechanizing Proof: Computing, Risk, and Trust. MIT Press. p. 89. ISBN 0-262-13393-8. Retrieved Jan 9, 2020.
- ^ Decuscope. 4 (1). January 1965 http://bitsavers.trailing-edge.com/pdf/dec/decus/decuscope/Decuscope_Vol04_1965.pdf. Retrieved Jan 9, 2020.
{{cite journal}}: Missing or empty|title=(help) - ^ a b "APPLIED LOGIC EXPANDS". Town Topics. November 20, 1969.[permanent dead link]
- ^ "EARNINGS REPORTED". Town Topics. June 12, 1969.[permanent dead link]
- ^ "In re APPLIED LOGIC CORPORATION, Bankrupt. NEW JERSEY NATIONAL BANK, Plaintiff-Appellant, v. Daniel GUTTERMAN, as Trustee of Applied Logic Corporation, Bankrupt, Defendant-Appellee". Archived from the original on May 14, 2010. Retrieved May 25, 2013.
External links
- A woman adjusting an Applied Logic Corporation (AL/COM) time sharing AL-10 computer system (photo at Getty Images)
- CRT-AIDED SEMI-AUTOMATED MATHEMATICS SAM Final Report
 | This article related to a computer company is a stub. You can help Wikipedia by expanding it. |