«Кальмар»

(Kalmar)

город и порт на Ю.-В. Швеции, на побережье Балтийского моря. Административный центр лена Кальмар. 39 тыс. жителей (1970). Машиностроение и пищевая промышленность. Паромное сообщение с острова Эланд.

1. кальма́р;
2. кальма́ры;
3. кальма́ра;
4. кальма́ров;
5. кальма́ру;
6. кальма́рам;
7. кальма́ра;
8. кальма́ров;
9. кальма́ром;
10. кальма́рами;
11. кальма́ре;
12. кальма́рах.

КАЛЬМА́Р, -а, муж. Съедобный морской моллюск класса головоногих. Мясо кальмара.

| прил. кальмаровый, -ая, -ое.

-а, м.

Морской съедобный головоногий моллюск.

[франц. calmar]

м.

1.

Морское животное класса головоногих моллюсков с торпедообразным туловищем и длинными щупальцами.

2.

Мясо такого животного, употребляемое в пищу.

3.

Кушанье, приготовленное из такого мяса.

муж.;
зоол. squidsquid

м

Kalmar m

кальмар м Kalmar m 1a

м.

calmar m

м.

calamar m

м.

calamaro

КА́ЛЬМАР

(Kalmár), Ласло (р. 27 марта 1905) – венг. логик и математик. Проф. ун-та в Сегеде, чл. АН Венг. Народной Республики (с 1961). Работает в области математич. логики, а также теории функций, функционального анализа и в др. областях математики. Работы К. в области логики посвящены в основном исследованиям проблемы разрешения для исчисления предикатов первой ступени. Еще в 1936 К. свел проблему разрешения для любых формул исчисления предикатов первой ступени к проблеме выполнимости для формул, содержащих только одну двуместную предикатную переменную. В 1948 К. доказал, что теорему Чёрча о неразрешимости проблемы разрешения для исчисления предикатов можно рассматривать как частный случай теоремы Гёделя о неполноте формальной арифметики, а в 1955 дал прямое доказательство обще-рекурсивной неразрешимости проблемы разрешения (доказательство Чёрча было косвенным: оно сводило нек-рую неразрешимую массовую проблему арифметики к проблеме разрешения для исчисления предикатов). Оговорка относительно "обще-рекурсивности" имеет гносеологич. значение, т.к. К. считает, что теоремой Чёрча доказывается не существование абсолютно неразрешимых проблем, а лишь существование проблем, неразрешимых посредством обще-рекурсивных функций.

Соч.: Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen binären Funktionsvariablen, в кн.: Compositio Mathematica, 1936, v. 4, p. 137–44; On the reduction of the decision problem, "J. Symb. Logic", 1939, v. 4, No 1, p. 1–9, 1947, v. 12, No 3, p. 65–73, 1950, v. 15, No 3, p. 161–73; Contributions to the reduction theory of the decision problem, "Acta math. Acad. Sci. Hungaricae", 1950, t. 1, p. 64–73, 1951, t. 2, p. 19–38, 125–42; Another proof of Markov-Post theorem, там же, 1952, t. 3, p. 1–27; On unsolvable mathematical problems, в кн.: Proceedings of the Tenth International Congress of Philosophy (Amsterdam, August 11–18, 1948), Amst., 1949, p. 756–58; Eine einfache Konstruktion unentscheidbarer Sätze in formalen Systemen, "Methodos", 1950, v. 2, No 6–7, S. 220–26; Közvetlen bizonyitás az eldöntésproblémának általános rekurziv algoritmussal valό megoldhatatlanságára, в кн.: A Magyar Tudományos Akadémia III. Osztályának kozleményei, [Bdpst ], [v. ] 6, 1956, p. 125.

Лит.: Surányi J., Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe, Bdpst, 1959.

В. Донченко. Москва.

КАЛЬМА́Р -а; м. [франц. calmar] Морской съедобный головоногий моллюск. Консервы из кальмаров. Мороженые кальмары. Салат с кальмарами. // Мясо этого моллюска.

* * *

(Kalmar), город и порт в Швеции, административный центр лена Кальмар. 56 тыс. жителей (1990). Судостроение, автосборочный завод, пищевая промышленность.

* * *

КА́ЛЬМАР (Kalmar), город на юге Швеции(см. ШВЕЦИЯ), на берегу Балтийского моря, административный центр лена(см. ЛЕН (в Швеции)) Кальмар. Население 35 тыс человек (2006). Расположен на островах, сообщается с о. Эланд(см. ЭЛАНД) мостом.

Судостроение, автосборочный завод, пищевая промышленность. Порт.

Первые письменные упоминания относятся к 11 в. Был известен как торговый город. В 13 в. был заложен Кальмарский замок, ставший аванпостом Швеции. В 1397 здесь была заключена Кальмарская уния(см. КАЛЬМАРСКАЯ УНИЯ). В 1611 в ходе Кальмарской войны(см. КАЛЬМАРСКАЯ ВОЙНА) датские войска овладели городом. В 1634 стал столицей лена Кальмар, в 1658 — Швеция вернула себе эти территории, но город потерял свое стратегическое значение. В дальнейшем развивался как индустриальный город.

Среди достопримечательностей: Кальмарский замок; городской парк (разбит в 1877—1880); Кальмарский кафедральный собор (вторая половина 17 в., барокко, архитектор Никодемус Тессин Старший). Морской музей, музей лена Кальмар.