Stosowana Logika Corporation

Stosowana Logika Corporation
Przemysł Komputery z podziałem czasu
Założony 1962 ; 61 lat temu ( 1962 ) w Princeton, New Jersey
Zmarły 1975 ( 1975 )
Los Bankructwo
Kluczowi ludzie
 Richard M. Colgate (prezes)

Applied Logic Corporation (AL/COM) była firmą z podziałem czasu w latach 60. i 70. XX wieku.

AL/COM, z siedzibą główną w Princeton w stanie New Jersey , rozpoczął w 1962 roku pracę nad „technikami matematycznymi i ich zastosowaniami do rozwiązywania problemów”.

Widząc potrzebę wewnętrznego podziału czasu, firma kupiła Digital Equipment Corporation (DEC) PDP-6 i rozwinęła swoją usługę podziału czasu, która pojawiła się on-line w 1966 roku. W 1968 roku firma rozpoczęła rozwój „Mathematics Park” w Montgomery Township, New Jersey , „zaprojektowany, aby zapewnić najemcom środowisko obsługiwane przez komputer i zorientowane matematycznie”, sąsiadujące z lotniskiem Princeton . Również w 1968 roku firma zarejestrowała AL/COM jako znak towarowy dla swoich usług.

System obejmował zarówno niestandardowe oprogramowanie, jak i niestandardowy sprzęt, a usługa była sprzedawana w całym kraju przez sieć współpracowników.

W ramach planu dystrybutorów AL-COM lokalne firmy świadczące usługi komputerowe, takie jak biura serwisowe, firmy zajmujące się programowaniem i oprogramowaniem, zostaną wyznaczone jako lokalni dystrybutorzy AL-COM. Dystrybutor AL-COM będzie kupował moc obliczeniową AL-COM ze zniżką od Applied Logic Corp., a następnie sprzedawał ją z marżą.

Pod koniec lat 60. firma opracowała system o nazwie SAM (Semi-Automated Mathematics) do udowadniania teorii matematycznych bez udziału człowieka. Twierdzenie udowodnione przez system, „lemat SAM”, zostało „powszechnie okrzyknięte pierwszym wkładem zautomatyzowanych systemów wnioskowania w matematykę”. Seria SAM była jednym z pierwszych interaktywnych programów dowodzących twierdzeń i miała wpływ na kolejne programy dowodzące twierdzeń.

W 1965 roku firma Applied logic nabyła system komputerowy DEC PDP-6 , który zaczął działać w styczniu 1966 roku. Do 1969 roku firma posiadała cztery podwójne systemy KL -10 DEC PDP-10 z planami na piąty i rozszerzyła działalność na cały kraj z biurami w San Jose , San Diego i San Francisco . Oprócz świadczenia usług firma planowała również wprowadzać na rynek swoje systemy podziału czasu. Firma odnotowała sprzedaż w wysokości 1 200 995 USD, przy stracie operacyjnej w wysokości 63 456 USD.

Do 1972 roku AL/COM miał lokalne urządzenia dial-up w dziesięciu miastach: Boston, Massachusetts, Buffalo, Nowy Jork, Chicago, Illinois, Indianapolis, Indiana, Montclair, New Jersey, Nowy Jork, Nowy Jork, Filadelfia, Pensylwania, Princeton, Nowy Jersey, Waszyngton, DC i Wilmington, Delaware. Centrum komputerowe znajdowało się w Mathematics Park w Princeton.

Pod koniec 1969 r. AL/COM miał konkretne plany, aby CIT Leasing wydzierżawił sprzęt w Mathematics Park za 2,73 mln USD i rozważał dodatkowe 7,5 mln USD więcej. W 1970 roku firma znalazła się w trudnej sytuacji finansowej i wynegocjowała porozumienie o odroczeniu 1 300 000 dolarów długu. upadłość na podstawie rozdziału XI w 1975 roku.

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Applied_Logic_Corporation&oldid=1082602719 ”