Hello Professor, I was not familiar with you or your work and leave this here for anyone who's similarly uninformed:

https://en.wikipedia.org/wiki/Carl_Hewitt

Thanks Marktangotango.

Unfortunately, the above article is woefully incomplete and

inaccurate because it is highly censored by Wikipedia.

More comprehensive, up-to-date, and accurate information can be found here:

* https://professorhewitt.blogspot.com/

* https://twitter.com/profcarlhewitt

The repeated paragraphs are in the abstract on the site, not in the actual pdf. Here is a sample:

> “Monster” is a term introduced in [Lakatos 1976] for a mathematical construct that introduces inconsistencies and paradoxes. Euclid, Richard Dedekind, Gottlob Frege, Bertrand Russell, Kurt Gödel, Ludwig Wittgenstein, Alonzo Church, Alan Turing, and Stanisław Jaśkowski all had issues with mathematical monsters as discussed in this article. Monsters can lurk long undiscovered. For example, that “theorems are provably computational enumerable” [Euclid approximately 300 BC] is a monster was only discovered after millennia when [Church 1934] used it to identify fundamental inconsistency in the foundations of mathematics that is resolved in this article.

> Euclid, Richard Dedekind, Gottlob Frege, Bertrand Russell, Kurt Gödel, Ludwig Wittgenstein, Alonzo Church, Alan Turing, and Stanisław Jaśkowski all had issues with mathematical monsters as discussed in this article. This article explains how the theories Actors and Ordinals recraft classical foundations without limiting mathematical power.

> Euclid, Richard Dedekind, Gottlob Frege, Bertrand Russell, Kurt Gödel, Ludwig Wittgenstein, Alonzo Church, Alan Turing, and Stanisław Jaśkowski all had issues with mathematical monsters as discussed in this article. Computer Science brings new concerns and considerations to foundations beyond earlier work requiring new machinery. This article explains how the theories Actors and Ordinals recraft classical foundations without limiting mathematical power.

> “Monster” is a term introduced in [Lakatos 1976] for a mathematical construct that introduces inconsistencies and paradoxes. Since the very beginning, monsters have been endemic in foundations. They can lurk long undiscovered. For example, that "theorems are provably computational enumerable" [Euclid approximately 300 BC] is a monster was only discovered after millennia when [Church 1934] used it to identify fundamental

For typos in the actual PDF, here are a few :

- teams of Wrens (female Naval Officers) operated large-scale simulations in [sic!] that discovered ways to defeat U-boat attacks that were crippling Britain.

- The reason that in practice that [sic!] an Actor can be hundreds of times faster is that in order to carry out a concurrent computation, the parallel [...]

- close request when received, send [...] [not a typo, just strange phrasing?]

- if it is not recorded as that the engine is [...]

- Actor event induction (cf. [Turing 1949]) can used to prove [...]

- Suppose to obtain a contradiction that there is [...]

Tsimionescu:

Thank you very much for finding these typos!!!!

They should all now be fixed at SSRN :-)

Can anyone find more typos or make other suggestions for improvement???

Thanks! Carl