3>Ваш "авторитетный источник" наверное бредит. Никакого "времени" у машины Тьюринга нет. Есть дискретная последовательность шагов. И вообще — это чисто математическая конструкция. Современные компьютеры тоже по существу дискретны.
Абсолютно согласен.
Есть правда интересная аналогия между понятием "одновременности" в распределенных (многопроцессорных) компьютерных системах и ОТО.
3>А вот с этой статьей не согласен. Автор путает интуитивное понятие события происходящее в реальном мире и определение события в компьютерной технологии. Событие — это изменение состояния памяти. И нет никаких проблем с одновременностью (и вообще со временем). Просто программа есть последовательность событий (с точки зрения одного процессора). Конечно, не совсем так просто, и для этого нужна другая архитектура, но это уже много придется писать. Например, к событиям еще относится и адресация (в моей системе 4 вида адресации). А в много процессорной системе происходят сразу несколько этих последовательностей.