Перевод: со всех языков на украинский

с украинского на все языки

курт

  • 1 Курт Гедель

    Філософський енциклопедичний словник > Курт Гедель

  • 2 Гедель, Курт

    Гедель, Курт (1906, Брюнн, нині Брно - 1978) - австр. логік, математик. Од 1940 р. проживав у США. Серед значних здобутків у царині математичної логіки і теорії множин найвідомішою є знаменита теорема Г. Вона була сформульована у статті "Про формальну невирішуваність тез Principia Mathematica і споріднених систем" (1931), що згодом отримала світове визнання. Суть відкриття Г. зводилася до двох основних результатів. Перший - це теорема про неповноту, в якій стверджується, що будь-яка несуперечлива система, подібна до Principia Mathematica (див. Вайтгед, Рассел), неповна. Г. показав, що в таких системах є істинні твердження, які засобами цих теорій не можна ані довести, ані спростувати. У філософсько-методологічному плані теорема Г. про неповноту виявилася обґрунтуванням принципової неможливості повної формалізації наукового знання, зокрема, математики. Була спростована точка зору, згідно з якою в обґрунтуванні математичного знання логіка може бути гарантованим засобом отримання нових істин. Другий результат - теорема про несуперечливість, суть якої полягала в обґрунтуванні неможливості доведення несуперечливості формальної системи її власними засобами. Г. довів, що це можна зробити, лише застосовуючи методи більш розвинутої формальної теорії. З математичної та філософської точки зору ідеї Г. виявили принципову нездійсненність програми обґрунтування математики Гільберта. Г. також належать вагомі результати в теорії моделей та конструктивній логіці.
    [br]
    Осн. тв.: "Про формальну невирішуваність тез Principia mathematica і споріднених систем" (1931); "Про інтуїтивну арифметику та теорію чисел" (1932); "Математична логіка Рассела" (1944) та ін.

    Філософський енциклопедичний словник > Гедель, Курт

  • 3 Kurt

    n ч. ім'я
    Керт, Курт

    English-Ukrainian dictionary > Kurt

  • 4 Надёвка

    1) (действие) - см. Надевание; оконч. вдягнення, надягнення; взуття (-ття); накладення; настромлення и т. п.;
    2) (куртка) курт(к)а, куцина.

    Русско-украинский словарь > Надёвка

  • 5 Гедель

    Філософський енциклопедичний словник > Гедель

См. также в других словарях:

  • куртёха — (Е) …   Словарь употребления буквы Ё

  • Курт — может означать: Курт (имя) (Kurt)  мужское имя. Известные носители: Курт Воннегут, Курт Кобейн, Курт Вайль, Курт Георг Кизингер. Происходит от уменьшительной формы таких имён как Кёртис и Конрад. Курт (блюдо) (узб. qurt)  блюдо,… …   Википедия

  • Курт —         Курт (узбекск.), курут (тадж.), корт (татарск.), ак гурт (туркм.). Способ приготовления курта прост.         Сузьму (1 кг), соль (1 ст. ложка), красный молотый перец (1 ч. ложка) размешивают в однородную массу, формуют из нее шарики… …   Большая энциклопедия кулинарного искусства

  • КУРТ — Волк. В южно тюркском (огузская группа) языке слово курт КУРТ корт до сих пор употребляется в значении волк . Сохранилось в фамилии Куртов. Синонимы: Бури, Кашкар, Чан. Антрополексема. Татарские, тюркские, мусульманские мужские имена. Словарь… …   Словарь личных имен

  • Курт Вёсс — (нем. Kurt Wöss; 2 мая 1914, Линц 4 декабря 1987, Дрезден) австрийский дирижёр. Учился в Венской академии музыки у Эгона Йозефа Веллеса, Роберта Лаха, Альфреда Орела и Роберта Марии Хааса (унаследовав от последнего пристальное внимание к… …   Википедия

  • куртёха — сущ., кол во синонимов: 1 • куртеха (4) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • КУРТ — Каменск Уральский радиотехнический техникум г. Каменск Уральский образование и наука, Свердловская обл., связь, техн …   Словарь сокращений и аббревиатур

  • курт. — курт. куртка Словарь: С. Фадеев. Словарь сокращений современного русского языка. С. Пб.: Политехника, 1997. 527 с …   Словарь сокращений и аббревиатур

  • Курт Э. — КУРТ (Kurth) Эрнст (1886–1946), швейц. музыковед. Фундам. тр.: Основы линеарного контрапункта (1917, рус. пер. 1931), Романтическая гармония и её кризис в Тристане Вагнера (1920, рус. пер. 1975). Книги о творчестве И. С. Баха, А. Брукнера, Р …   Биографический словарь

  • Курт — Тип блюда: Категория: Продукты: Рецепт приготовления …   Энциклопедия кулинарных рецептов

  • Курт Г. — Годфруа Курт (фр. Godefroid Kurth; 1847 ) бельгийский историк. Его важнейшие труды: «Les origines de la ville de Liège» (Люттих, 1882); «Les origines de la civilisation moderne» (4 изд., П., 1898); «Histoire poétique des Mérovingiens» (П., 1893); …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»