ТЕОРЕМЫ ГЁДЕЛЯ О НЕПОЛНОТЕ

Русско-английский перевод ТЕОРЕМЫ ГЁДЕЛЯ О НЕПОЛНОТЕ

Gödel's incompleteness theorems

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

О — prep. about, on, of
Russian-English Dictionary of the Mathematical Sciences
Ӧ — O with diaeresis
Русско-Американский Английский словарь
ТЕОРЕМЫ — Theorems
Русско-Американский Английский словарь
О — O
Русско-Американский Английский словарь
О- — см. глаголы с этой приставкой
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
О — 1. об, обо предл. (пр.) 1. ( относительно ) of; about ( об. с оттенком большей обстоятельности ); ( при …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
О — об, обо предлог 1. (относительно) about, of; (на тему тж.) on; о чем вы говорили? what were you talking about?; …
Русско-Английский словарь общей тематики
О- — об-, обо- (глагольная приставка) см. глаголы с этой приставкой
Русско-Английский словарь
О — 1. об, обо предл. (пр.) 1. ( относительно ) of; about ( об. с оттенком большей обстоятельности ); ( при …
Русско-Английский словарь
О- — об-, обо- (глагольная приставка) см. глаголы с этой приставкой
Russian-English Smirnitsky abbreviations dictionary
О — 1. об, обо предл. (пр.) 1. ( относительно ) of; about ( об. с оттенком большей обстоятельности ); ( при …
Russian-English Smirnitsky abbreviations dictionary
О — I предл. 1) ( ком-л./чем-л. ) about, of ( относительно ) ; on (при обозначении темы, в заглавиях научных трудов …
Русско-Английский краткий словарь по общей лексике
О:-) — ангел
Англо-Русско-Английский словарь сленга, жаргона, русских имен
О — об, обо предлог 1. (относительно) about, of; (на тему тж.) on; о чем вы говорили? what were you talking about?; подумать, вспомнить о …
Русско-Английский словарь - QD
О — см. тж. информация о ; наука о ; относительно ; трение стали о сталь • Of such machines it can …
Русско-Английский научно-технический словарь переводчика
О! — oh! o!
Большой Русско-Английский словарь
О — I предл. 1) (ком-л./чем-л.) about, of (относительно) on (при обозначении темы, в заглавиях научных трудов и т.п.) concerning 2) (чем-л. …
Большой Русско-Английский словарь
О — о on;about;of
Русско-Английский словарь Сократ
ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ — Gödel's incompleteness theorem
Русско-Американский Английский словарь
GÖDEL'S INCOMPLETENESS THEOREMS — Теоремы Гёделя о неполноте
Американский Англо-Русский словарь
GÖDEL'S INCOMPLETENESS THEOREM — Теорема Гёделя о неполноте
Американский Англо-Русский словарь
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Создание дифференциального и интегрального исчислений ознаменовало начало "высшей математики". Методы математического анализа, в отличие от понятия предела, лежащего …
Русский словарь Colier
ГЁДЕЛЬ — (Gdel, Kurt) (1906-1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. …
Русский словарь Colier
ТЕОРЕМА О НЕПОЛНОТЕ — мат. incompleteness theorem
Большой Русско-Английский словарь
WEAK VERSION — мат. слабый вариант (теоремы)
Большой Англо-Русский словарь
THEOREMS — Теоремы
Большой Англо-Русский словарь
THEOREMATIC — излагаемый в виде теоремы
Большой Англо-Русский словарь
THEOREM PROVING — мат. доказательство теоремы
Большой Англо-Русский словарь
THEOREM IMPLYIES — мат. из теоремы следует, что
Большой Англо-Русский словарь
THEOREM-PROVING SYSTEM — мат. система доказательства теоремы
Большой Англо-Русский словарь
THEOREM-PROVING PROCESS — мат. процесс доказательства теоремы
Большой Англо-Русский словарь
THEOREM-PROVING HEURISTICS — мат. эвристика доказательства теоремы
Большой Англо-Русский словарь
THEOREM-FINDING HEURISTICS — мат. эвристика построения теоремы
Большой Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
REPORT — 1. сущ. 1) а) отчет, доклад, рапорт, донесение, сообщение; рассказ, описание событий to confirm a report ≈ подтверждать сообщение to …
Большой Англо-Русский словарь
RANK OF THEOREM — мат. ранг теоремы
Большой Англо-Русский словарь
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Большой Англо-Русский словарь
PROBABILITY — сущ. 1) возможное, осуществимое, правдоподобное His return to power was discussed openly as a probability. ≈ Его возвращение к власти …
Большой Англо-Русский словарь
ORDER — 1. сущ. 1) порядок, расположение в определенном порядке in order ≈ по порядку out of order ≈ не по порядку …
Большой Англо-Русский словарь
NOTICE — 1. сущ. 1) а) извещение, сообщение, уведомление; предупреждение Did you receive any notice about the sale? ≈ Ты получил какое-нибудь …
Большой Англо-Русский словарь
INCOMPLETENESS THEOREM — мат. теорема о неполноте
Большой Англо-Русский словарь
GO
Большой Англо-Русский словарь
CLAUSE — 1. сущ. 1) статья, пункт, условие; параграф, пункт; оговорка, клаузула (договорного документа) to include a clause ≈ вносить оговорку (в …
Большой Англо-Русский словарь
CERTIFICATE — 1. сущ. 1) документ, свидетельство, сертификат baptismal certificate ≈ свидетельство о крещении death certificate ≈ свидетельство о смерти gift certificate …
Большой Англо-Русский словарь
AGREEMENT — сущ. 1) (взаимное) согласие (about, on) agreement of opinion ≈ единомыслие to come to an agreement ≈ прийти к соглашению …
Большой Англо-Русский словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
INCOMPLETENESS THEOREM — матем. теорема о неполноте
Англо-Русский научно-технический словарь
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ В естественных науках. Аналитические функции широко используются в некоторых областях науки и техники просто потому, что дают в …
Русский словарь Colier
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ Теория меры и интегрирования является важным разделом общей теории математических функций, берущей начало с работ А.Лебега (1906) по …
Русский словарь Colier
ПИФАГОР — (6 в. до н.э.), древнегреческий философ и математик, прославившийся своим учением о космической гармонии и переселении душ. Предание приписывает Пифагору …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Несмотря на заявления о независимости математики, никто не станет отрицать, что математика и физический мир связаны друг с другом. …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Рождение математики. Около 2000 до н.э. было замечено, что в треугольнике со сторонами в 3, 4 и 5 единиц …
Русский словарь Colier
ДИФФЕРЕНЦИАЛЬНЫЕ — Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими-то величинами. …
Русский словарь Colier
ГЕОМЕТРИЯ
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
АРХИМЕД — (ок. 287-212 до н.э.), величайший древнегреческий математик и механик. Жизнь. Уроженец греческого города Сиракузы на острове Сицилия, Архимед был приближенным …
Русский словарь Colier
ЭВКЛИД — (расцвет деятельности ок. 300 до н.э.), также Евклид, древнегреческий математик, известный прежде всего как автор Начал, самого знаменитого учебника в …
Русский словарь Colier
ЧИСЕЛ — раздел чистой математики, занимающийся изучением целых чисел 0, ?1, ?2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. …
Русский словарь Colier
ФРЕГЕ — (Frege, Gottlob) (1848-1925), немецкий математик и философ. Родился 8 ноября 1848 в Висмаре. Получил математическое и естественнонаучное образование в Йенском …
Русский словарь Colier
ПРОЕКТИВНАЯ — раздел геометрии, изучающий проективные свойства фигур. Отличается от евклидовой геометрии тем, что в ней не используются понятия параллельности, перпендикулярности и …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Классическая Греция. С точки зрения 20 в. родоначальниками математики явились греки классического периода (6-4 вв. до н.э.). Математика, …
Русский словарь Colier
ДЕТСКАЯ — В историческом времени представление о ребенке как о существе со своими особыми интересами и запросами - недавнего происхождения, оно получило …
Русский словарь Colier
ГАУСС — (Gauss, Carl Friedrich) (1777-1855), немецкий математик, астроном и физик. Родился 30 апреля 1777 в Брауншвейге. Необыкновенные способности к математике и …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier

Русско-Американский Английский словарь

← ТЕОРЕМА ТЕОРЕМЫ СИЛОВА→