На самом деле, непротиворечивая специальная теория относительности противоречий имеет достаточно. Например, иногда использует преобразования Лоренца, которые были предназначены исключительно для уравнивания плеч интерферометра Майкельсона. А конкретно – уменьшения продольного, а совсем конкретно – времени. То есть, время за которое световой сигнал проходит продольное плечо, должно было равняться времени прохождения световым сигналом поперечного плеча, согласно опыту. Поэтому утверждение, что у=у' – никак, вроде бы, не конфликтует с формулой времени...
Про сокращение длины при увеличении скорости сегодня широко известно. Во всех статьях упоминается это интересное явление и при построении описания той же теории относительности это явление чуть ли не самое главное. Вот только нет ответа на главный вопрос - а что такое это сокращение длины с физической точки зрения и чем оно является? Ну и есть ещё более интересный вопрос про возможность измерить такое сокращение. Само по себе явление, которое мы привыкли видеть в объяснениях, "растёт" из преобразований Лоренца...