My thought is the centralized notion of time or God observer view came into being as an approximation same as classical mechanics is an approximation .
Shavit and Herlihy won Godel Prize, not Turing award :)
This problem of concurrence will no doubt bring on the singularity that much faster. Making machines that can repair themselves is just one step away from machines that can redesign themselves.
If a machine as powerful or more so, than the human brain were put to the task of redesigning itself.... It would usher in an exponential growth of technology at faster and faster rates
It is unfair for a physicist to throw stones into computer science without doing homework.
Computer scietists are aware of the mentioned problems, they are! The neglected requirement in this talk is that the system should behave *predictably*. All others can be translated into this requirement.
The concurrency *is* being addressed through composition and non-determinism. See timed labeled transition systems, parallel composition, timed automata.
Giving time its partition, is one heck of an idea.
grunder20 2 months ago
This has been flagged as spam show
a great video! i'm hoping for more! thanks!
grunder20 3 months ago
Nice one! I like it a lot. Super!
agapitoflores001 3 months ago
My thought is the centralized notion of time or God observer view came into being as an approximation same as classical mechanics is an approximation .
Shavit and Herlihy won Godel Prize, not Turing award :)
saivenkat7 11 months ago
would someone please remove the mind tortuting high pitched sound throughout the whole lecture ?
Nevyle 1 year ago
Thanks Stanford.
Hooray for the Technological Singularity!!!
This problem of concurrence will no doubt bring on the singularity that much faster. Making machines that can repair themselves is just one step away from machines that can redesign themselves.
If a machine as powerful or more so, than the human brain were put to the task of redesigning itself.... It would usher in an exponential growth of technology at faster and faster rates
We will have built IGod.
=D
I hope I live to see it!
L00NGB00W 1 year ago
I had to jump to 1:40 for the presentation to start.
cmlburnett 2 years ago
the audio in this video reminds me of the star trek episode where kirk is subjected to a high-ptiched brainwashing torture device:
Dagger_of_the_Mind_(episode)
ytubeanon 2 years ago
It is unfair for a physicist to throw stones into computer science without doing homework.
Computer scietists are aware of the mentioned problems, they are! The neglected requirement in this talk is that the system should behave *predictably*. All others can be translated into this requirement.
The concurrency *is* being addressed through composition and non-determinism. See timed labeled transition systems, parallel composition, timed automata.
mm1979dk 2 years ago
Are you kidding me with the hissing audio?
Is everybody oinvolved with the sound high pitch noise deaf?
Mym mom (40+) does not hear it but it splits ears here (24)!
michalhantl 2 years ago