Profile

Cover photo
Carl Hewitt
Works at iRobust
Attends Massachusetts Institute of Technology
Lives in Silicon Valley
202 followers|139,789 views
AboutPosts

Stream

Carl Hewitt

Shared publicly  - 
 
Installing Backdoors Assists CyberTerrorists

The Internet of Things (IoT) is becoming pervasive in all aspects of life including personal, corporate, government, and social. To counter cybercriminals, security services have proposed mandatory backdoors on all Internet of Things (IoT) devices, but a government-sponsored crash IoT security campaign should be launched instead.
1

Carl Hewitt

Shared publicly  - 
 
Actors for CyberThings

Please see keynote video at link below.

#ActorModel #iRobust #StandardIoT #Islet #IoT
4

Carl Hewitt

Shared publicly  - 
 
Installing Backdoors assists Cyberterrorists[1]

If the US adopts mandatory backdoors for the Internet of Things, then each country will have its own backdoors and massive pervasive surveillance will become the norm.  Backdoors are CyberTerrorism weapons  that can be used to control citizens' Internet of Things and steal their sensitive information. Cyberterrorists can exploit the immense powers of the Internet of  Things to create mass terror.

[1]Terrorists take action to bring about a particular political objective that creates a general climate of fear in a population. For example, state terrorists have been a continual problem, e.g., J. Edgar Hoover (FBI), Joe McCarthy (US Senate Permanent Subcommittee on Investigations), Erich Mielke (Stasi), etc. terrorized citizens of their countries.  Cyberterrorists can exploit the immense powers of the Internet of  Things to create mass terror.

@CarlHewitt  #DataCenterism #DataTotalism #DataLocalism #CyberCenterism #CyberTotalism #CyberLocalism   #CyberThing   #cyberaudit   #OwnYourCyberThings   #StandardIoT   #surveillance #NewAmCyber #backdoor   #CyberTerrorism #BanBackdoors   #InconsistencyRobustness #RAMencryption #EveryWordTagged   #cybersecurity 
#CarlHewitt
1

Carl Hewitt

Shared publicly  - 
 
Mathematics self proves its own consistency

The recently developed self-proof of consistency (above) shows that the current common understanding that Gödel   #Godel #Goedel  “Mathematics cannot prove its own consistency, if it is consistent” is inaccurate.[1]

[1] Four years after Gödel published his results for Principia Mathematica, [Church 1935, Turing 1936] published the first valid proof that the mathematical theory Principia is inferentially undecidable #IncompletenessTheorem (i.e. there is a proposition Ψ such that ⊬Ψ and ⊬¬Ψ) because provability in Principia is computationally undecidable (provided that the theory Principia is consistent).
Abstract: Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over the centuries.
2

Carl Hewitt

Shared publicly  - 
 
One computer is no Computer!

Theorem.  A nondeterministic Turing Machine is not  computationally universal in the sense that there are computations that it cannot perform.  (This does not mean that there are functions on the integers that it cannot compute.)

See http://arxiv.org/abs/1008.1459
Abstract: The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of ...
2

Carl Hewitt

Shared publicly  - 
 
Dear Dana,
 
Thanks for the report on your Vienna talk.
 
For the purposes of Computer Science, Gödel's work is now technically obsolete although it was quite innovative when done more than eight decades ago.  And the currently accepted interpretation of his second incompleteness result is inaccurate. (See http://arxiv.org/abs/0812.4852)
 
Of course, EVER BIGGER DATA is going to be important.  However, accumulating EVER BIGGER DATA is just a tool to increase scientific understanding that is part of the fundamental paradigm shift to Inconsistency Robustness for processing pervasively inconsistent information. In this regard, you might be interested in the video of an IR'11 presentation at the following link:  Scalable Inconsistency Robust Information Systems 

Again, thanks for an interesting overview of the field.
 
Cheers,
Carl
3
Have them in circles
202 people
Polly Jennings's profile photo
Ciprian TEODOROV's profile photo
Chris Anderson's profile photo
David Goldfarb's profile photo
Adi Shavit's profile photo
Brad Pillow's profile photo
Ihab Awad's profile photo
Dexter Pratt's profile photo
Sharon Creamer's profile photo

Carl Hewitt

Shared publicly  - 
 
Installing Backdoors assists CyberTerrorists
1

Carl Hewitt

Shared publicly  - 
 
Keynote at Erlang Conference:  San Francisco on March 26, 2015.

Please click on the following link to learn more:
http://www.erlang-factory.com/sfbay2015/carl-hewitt

#ActorModel #actors #backdoor #ActorScript #Erlang #CarlHewitt
<p><strong>Erlang Factory San Francisco Bay Area 2015</strong></p> <p><strong></strong>Conference: 26-27 March; Training: 23-25 March and 30 March-1 April</p> <p>Come meet inventor of Smalltalk and Turing Award Winner Alan Kay, Elixir Creator José Valim, Erlang inventors Joe Armstrong, Robert Virding and Mike Williams, Haskell and QuickCheck co-inventor John Hughes, "Seven Languages in Seven weeks" author Bruce Tate, O’Reilly Author Simon Thomp...
2

Carl Hewitt

Shared publicly  - 
 
Silicon Valley is caught between a rock and a hard place :-( Please see attached link. #NewAmCyber #backdoor #BanBackdoors   #surveillance
PS: Translation for those whose German is rusty:
       THE WORLD ORDER: How Silicon Valley controls our future
1

Carl Hewitt

Math Questions  - 
 
Does Mathematics self prove its own consistency?

Please see the following:
http://arxiv.org/abs/0907.3330
Abstract: Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over the centuries.
5

Carl Hewitt

Shared publicly  - 
 
See link for retrospective on extremely successful symposium.
3
1
Marius Buliga's profile photo

Carl Hewitt

Shared publicly  - 
 
A Wikipedia Administrator claims that I am not a mathematician furthermore insinuates that I am "Bozo the clown."

See link http://en.wikipedia.org/w/index.php?title=Talk%3ACarl_Hewitt&action=historysubmit&diff=616488782&oldid=615459787
:[[File:Red question icon with gradient background.svg|20px|link=]] '''Not done:''' it's not clear what changes you want to be made. Please mention the specific changes in a "change X to Y" format. — {{U|[[User:Technical 13|Technical ...
2
People
Have them in circles
202 people
Polly Jennings's profile photo
Ciprian TEODOROV's profile photo
Chris Anderson's profile photo
David Goldfarb's profile photo
Adi Shavit's profile photo
Brad Pillow's profile photo
Ihab Awad's profile photo
Dexter Pratt's profile photo
Sharon Creamer's profile photo
Work
Employment
  • iRobust
    Board Chair, present
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Silicon Valley
Links
Links
Story
Education
  • Massachusetts Institute of Technology
    present
Basic Information
Gender
Decline to State