МЕТАТЕЛЬНЫЕ МАШИНЫ

МЕТАТЕЛЬНЫЕ МАШИНЫ (воен.), боевые машины, применявшиеся в древности и средние века для поражения живой силы и разрушения оборонительных сооружений противника. Устройство М. м. было основано на использовании энергии скрученных или растянутых различных волокон. М. м. были известны на Др. Востоке (в Ассирии, Индии и др.), в Др. Греции и особенно в Др. Риме. М. м. делились на катапульты и баллисты. У римлян М. м. были сведены в подразделения, насчитывавшие до 6 М. м. В 5 в. баллисты и катапульты были вытеснены в Византии новым видом М. м. (с противовесом) — фрондиболой. В Др. Руси М. м. применялись с 10 в., гл. обр. при осаде и обороне городов до появления огнестрельного оружия (14 в.).

Лит.: Артиллерия, 2 изд., М., 1938; Разин Е., История военного искусства, т. 1, М., 1955.

МЕТАТЕОРЕМА

(от мета...), теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) к.-л. научной теории (т. н. п р е д м е т н о й, или объектной, теории), доказываемая средствами метатеории этой теории. Термин «М.» употребляется преимущественно в применении к теоремам об объектах формализованных теорий (т. е. в случае, когда предметная теория является исчислением, или формальной системой). Если М., относящаяся к к.-л. логико-матемгтич. исчислению, доказывается т. н. финными средствами, ни в какой форме не использующими абстракции актуальной бесконечности, то её относят к метаматематике; таковы, напр., теорема о дедукции для исчисления высказываний или исчисления предикатов, теорема Гёделя о неполноте формальной арифметики и более богатых систем (см. Полнота в логике), теорема Чёрча о неразрешимости разрешения проблемы для исчисления предикатов, теорема Тарского о неопределимости предиката истинности для широкого класса исчислений средствами самих этих исчислений. Если же на характер трактуемых в М. понятий и (или) на средства её доказательства не накладывается никаких финитист-ских, или конструктивистских (см. Конструктивное направление в математике), ограничений, то такую М. причисляют к т. н. теоретико-множественной логике предикатов; примеры: теорема Гёделя о полноте исчисления предикатов, теорема Лёвенхейма - Сколема об интерпретируемости любой непротиворечивой теории на области натуральных чисел и вообще любые предложения, в к-рых говорится что-либо о "произвольной интерпретации", "совокупности всех интерпретаций", "общезначимости" и т. п. (в частности, все результаты о категоричности различных систем аксиом, т. е. об изоморфизме произвольных их интерпретаций, удовлетворяющих, быть может, некоторым дополнительным условиям). К М. относятся и любые теоремы о теоремах содержательных математич. теорий, напр, многочисл. "принципы двойственности" из различных областей математики (проективная геометрия, многие алгебраические теории и др.).

Лит. см. при статьях Метаматематика, Метатеория.

Ю. А. Гостев.




Смотреть больше слов в «Большой советской энциклопедии»

МЕТАТЕОРИЯ →← МЕТАТЕЗА

Смотреть что такое МЕТАТЕЛЬНЫЕ МАШИНЫ в других словарях:

МЕТАТЕЛЬНЫЕ МАШИНЫ

(военные)        боевые машины, применявшиеся в древности и средние века для поражения живой силы и разрушения оборонительных сооружений противника. Ус... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

Метательные машины - *МЕТАТЕЛЬНЫЯ (артиллерийския) МАШИНЫ, образцы арт-рии древн. и средн. веков, у к-рых использовано М. действие упруг. твердых тел и... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

— машины, применявшиеся в древние и средние века при осаде городов или в полевом бою и являвшиеся артиллерией тех времен. В зависимости от механизма, приводившего в действие эти машины, они делились на невробаллистические и баробалистические. Первые применялись в основном в древние века и приводились в действие пучком скрученных жил, откуда и само название. Вторые применялись в средние века; у них тяжелый груз, в виде противовеса, приводил в быстрое движение качающийся рычаг, длинное плечо которого при этом бросало снаряд. По роду действия метательные машины делились на прицельно-действующие (балисты, аркобалисты, скорпионы, бриколи) и действующие навесно (катапульты, онагры, требюше, фрондиболы). В зависимости от мощности машины снаряд (камень, стрела) бросался на дистанцию до 1 км. Метательные машины применялись до XV в. включительно ввиду несовершенства огнестрельного оружия того времени, а последний раз — в 1601 г. при осаде Остенде. В первую мировую войну 1914 — 18 гг. Метательные машины небольших размеров применялись для бросания в окопы противника ручных гранат.... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

         были известны в Ассирии в нач. 1-го тыс. до н.э. Впослед. были заимствованы греками и римлянами, к-рые внесли знач. усовершенств. в их устройс... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

были известны в Ассирии в нач. 1-го тыс. до н.э. Впослед. были заимствованы греками и римлянами, к-рые внесли знач. усовершенств. в их устройство и боевое применение. М. м. делились на катапульты и баллисты, бросавшие тяжелые камни и пускавшие тяжелые стрелы. Кроме камней и стрел, М. м. забрасывали в осажден. город бревна, бочки с горючей смесью и др. Применялись первонач. только при осаде и обороне городов. Позже, ок. 4 в. до н.э., с устройством облегч. образцов М. м., они стали использ. в полевом бою. У римлян М. м. с обслуживающим их составом были сведены в подразделения. Рим. легион насчитывал до шести М. м. В 5 в. баллисты и катапульты были вытеснены новым видом М. м. (с противовесом) — фрондиболой. В Др. Руси М. м. («пороки») применялись с 10 в., гл. обр. при осаде и обороне городов до появл. огнестрел. оружия.... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

МЕТАТЕЛЬНЫЕ МАШИНЫ, боевые машины, применявшиеся в древности и средние века для поражения живой силы и разрушения оборонительных сооружений. Виды метательных машин - катапульты, фрондиболы, баллисты и др.<br><br><br>... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

МЕТАТЕЛЬНЫЕ МАШИНЫ - боевые машины, применявшиеся в древности и средние века для поражения живой силы и разрушения оборонительных сооружений. Виды метательных машин - катапульты, фрондиболы, баллисты и др.<br>... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

МЕТАТЕЛЬНЫЕ МАШИНЫ , боевые машины, применявшиеся в древности и средние века для поражения живой силы и разрушения оборонительных сооружений. Виды метательных машин - катапульты, фрондиболы, баллисты и др.... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

МЕТАТЕЛЬНЫЕ МАШИНЫ, боевые машины, применявшиеся в древности и средние века для поражения живой силы и разрушения оборонительных сооружений. Виды метательных машин - катапульты, фрондиболы, баллисты и др.... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

- боевые машины, применявшиеся в древности и средниевека для поражения живой силы и разрушения оборонительных сооружений. Видыметательных машин - катапульты, фрондиболы, баллисты и др.... смотреть

МЕТАТЕЛЬНЫЕ МАШИНЫ

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

T: 133