Universal Intelligent Systems by 2030 Video https://youtu.be/yXvrmCEqJjI Linux 60th Anniversary Keynote Video https://t....| professorhewitt.blogspot.com
Following are videos of my rembrances of Marvin Minsky https://web.media.mit.edu/~lieber/Minsky-Stanford-Memorial/Carl%20Hewitt%20Remember...| professorhewitt.blogspot.com
Basing the development of foundations on existence of a monster can lead to serious errors . For example, the [Gödel 1931] conclusion ...| professorhewitt.blogspot.com
Communication between Turing Machines and between lambda-expressions was crucially omitted thereby crippling them as a foundation for Comput...| professorhewitt.blogspot.com
The Church/Turing Thesis [cf. Turing 1936] was developed to that effect that a nondeterministic Turing Machine can perform any computation...| professorhewitt.blogspot.com
Hilbert believed every proposition is either provable or disprovable every mathematical proposition is, that is, inferentially decidable {...| professorhewitt.blogspot.com
I fondly remember Dijkstra! He inspired important advances in my own professional development as related in this posting. I was fortunat...| professorhewitt.blogspot.com
The video is here: https://www.youtube.com/watch?v=37wFVVVZlVU In a wide ranging discussion, t here were some fundamental di...| professorhewitt.blogspot.com
https://www.youtube.com/watch?time_continue=37&v=A69umiVS3ic| professorhewitt.blogspot.com
Video of Stanford Colloquium: https://www.youtube.com/watch?v=l1wMFd2dHCE The slides are here: https://drive.goo...| professorhewitt.blogspot.com
Alonzo Church made major contributions to foundations by creating the lambda calculus and proving the computational undecidability of whethe...| professorhewitt.blogspot.com