Можно ли считать формулу сокращения Лоренца, доказательством недоступности скорости света?

Answer 1

Не совсем.
Доказательством недоступности скорости света, обычно, считается формула, полученная Эйнштейном для массы:

M = M0 / SQTR (1 - (V/C) ^2)

То есть тело с конечной массой покоя M0 не может достичь скорости света потому что по этой формуле у неё станет бесконечной масса, то есть в это тело нужно закачать бесконечную энергию, чтобы разогнать до такой скорости.