Тире не ставится при наличии частицы не, если сказуемое выражено числительным или существительным. Если сказуемое выражено инфинитивом, это правило не работает. В данном случае тире нужно.
В современной русской речи слово робот (в значении 'автоматическое устройство') склоняется по типу одушевленного и неодушевленного существительного. Варьирование падежных форм (в сочетании с переходными глаголами, в предложных конструкциях) остается приметной особенностью этого слова. Варьирование обусловлено рядом факторов: речевой практикой в той или иной сфере (например, в профессиональной, отраслевой среде, в художественной литературе), представлениями о том, какое именно автоматическое устройство обозначается этим термином, контекстными условиями.
Запятая не нужна. Запятая в подобного рода конструкциях, состоящих из глагола быть, найти, остаться, вопросительно-относительного местоимения или наречия (кто, что, где, куда и др.) и неопределенной формы другого глагола, не ставится: будет о чем поговорить, есть на что посмотреть, есть к чему стремиться, не нашла что сказать, осталось на что жить и т. д.
Запятая не нужна. Запятая в подобного рода конструкциях, состоящих из глагола быть, найти, остаться, вопросительно-относительного местоимения или наречия (кто, что, где, куда и др.) и неопределенной формы другого глагола, не ставится, ср.: будет о чем поговорить, есть на что посмотреть, есть к чему стремиться, не нашла что сказать, осталось на что жить и т. д.
Запятая не нужна. Запятая в подобного рода конструкциях, состоящих из глагола быть, найти, остаться, вопросительно-относительного местоимения или наречия (кто, что, где, куда и др.) и неопределенной формы другого глагола, не ставится, ср.: будет о чем поговорить, есть на что посмотреть, есть к чему стремиться, не нашла что сказать, осталось на что жить и т. д.
Запятая не нужна. Запятая в подобного рода конструкциях, состоящих из глагола быть, найти, остаться, вопросительно-относительного местоимения или наречия (кто, что, где, куда и др.) и неопределенной формы другого глагола, не ставится, ср.: будет о чем поговорить, есть на что посмотреть, есть к чему стремиться, не нашла что сказать, осталось на что жить и т. д.
Слово иноагент является аббревиатурой (сложносокращенным словом), созданной на основе сочетания начальной части слова иностранный (ино-) с целым словом агент. В сложносокращенных словах, в отличие от сложных слов, интерфиксы отсутствуют. Основной особенностью аббревиатурного усечения основ является его независимость от морфемного членения: от слова может остаться любой отрезок. Поэтому правила образования сложносокращенных слов в аббревиатуре иноагент не нарушены, слово зафиксировано в академическом орфографическом словаре, размещенном на ресурсе «Академос» Института русского языка им. В. В. Виноградова РАН.
Действительно, в аббревиатурах (сложносокращенных словах) интурист и иняз используется другая усеченная часть основы слова иностранный, однако в сложносокращенных словах иномарка, иноСМИ присутствует отрезок с гласной ― ино-.
В фонетической системе русского языка нет запрета на сочетание безударного и ударного звука [а], ср.: соавтор, поахать, одноактный, легкоатлет, биоакустика и др. Так что и в звуковом плане слово нормативно.
Упомянутые в вопросе слова иностранец и иномир образованы способом сложения, в них используется основа слова иной и интерфикс -о-.
Сочетания типа по теореме X являются скорее обстоятельством причины (≈ «поскольку такова теорема Х»), нежели ссылкой на источник информации; теорема может быть приведена в разных источниках, созданных разными авторами. Конструкции вроде по словам учёных или по расчётам кого-то заключают в себе субъективность, то есть высказывание основано на мнении, данных или расчётах, которые могут быть подвержены изменению интерпретации или оценке. Такая субъективность характерна для вводных конструкций.
При этом сочетания типа по теореме Х могут быть выделены запятыми, как и любые другие обстоятельства, для попутного пояснения или смыслового выделения.
Телеса и словеса - это, действительно, формы мн. ч. слов тело и небо, однако не слов русского языка, а слов церковнославянских (старославянских). В русском языке эти формы существуют параллельно с формами "тела", "слова" и имеют стилистическую помету "книжное". Отметим, что форма небеса является литературной (и единственной) формой мн. ч. им. п. слова небо.
