Carl Hewitt

Massachusetts Institute of Technology (MIT)

Emeritus professor

77 Massachusetts Avenue

50 Memorial Drive

Cambridge, MA 02139-4307

United States

SCHOLARLY PAPERS

5

DOWNLOADS

485

SSRN CITATIONS

0

CROSSREF CITATIONS

2

Scholarly Papers (5)

1.

Citadels: Increased Robustness and Better Information Integration Than Datacenters of Competing Companies

Number of pages: 11 Posted: 09 Sep 2016 Last Revised: 29 Jul 2019
Carl Hewitt
Massachusetts Institute of Technology (MIT)
Downloads 247 (123,870)
Citation 1

Abstract:

Loading...

Actor Model, Backdoors, International Commerce, Representative Government, Inference Robustness, IoT, Citadels, Mass Surveillance, Sensitive Information

2.

Scalable Intelligent Systems by 2025

Number of pages: 18 Posted: 08 Aug 2019 Last Revised: 18 Sep 2019
Carl Hewitt
Massachusetts Institute of Technology (MIT)
Downloads 33 (454,157)

Abstract:

Loading...

Scalable Intelligent Systems, Pain Management, Massive Inference Robust Ontology

3.

Highly-Secure Backdoors: Internet of Traitorous Things (IoTT)

Number of pages: 9 Posted: 25 Jul 2019 Last Revised: 18 Sep 2019
Carl Hewitt
Massachusetts Institute of Technology (MIT)
Downloads 28 (477,985)

Abstract:

Loading...

mandatory backdoors, Internet of Traitorous Things, Nothing is Beyond Our Reach, sensitive citizen information, hologlasses

4.

Theory Ordinals can replace ZFC in Computer Science

Number of pages: 15
Carl Hewitt
Massachusetts Institute of Technology (MIT)
Downloads 3

Abstract:

Loading...

uniquely categorical theories, strong types, Scalable Intelligent Systems, Actor Model of Computation, Sergei Artemov, Jeremy Avigad, Steve Awodey, Jon Barwise, Nicolas Bourbaki, Cesare Burali-Forti, John Burgess, Alonzo Church, Paul Cohen, Thierry Coquand, Haskell Curry, Dedekind, Jean-Yves Girard,

5.

Computer Science Must Rely on Strongly-Typed Actors and Theories for Cybersecurity

Number of pages: 32 Posted: 11 Jul 2019
Carl Hewitt
Massachusetts Institute of Technology (MIT)
Downloads 174

Abstract:

Loading...

Uniquely Categorical Theories, Strong Types, Scalable Intelligent Systems, Actor Model of Computation, Gul Agha, Joe Armstrong, Sergei Artemov, Russ Atkinson, Jeremy Avigad, Steve Awodey, Henry Baker, Jon Barwise, Nicolas Bourbaki, Cesare Burali-Forti, John Burgess, Will Clinger, Per Brinch Hansen