Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Тарский, Альфред

Индекс Тарский, Альфред

Альфред Тарский (Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности.

43 отношения: Калифорния, Калифорнийский университет в Беркли, Проективная геометрия, Парадокс Банаха — Тарского, Польская кампания вермахта (1939), Польша, Алгоритм Тарского, Российская империя, Робинсон, Джулия, Скотт, Дана, Соединённые Штаты Америки, Серпинский, Вацлав, Теория множеств, Теорема Кнастера — Тарского, Теорема Тарского о невыразимости истины, Феферман, Соломон, Царство Польское, Эрш, Жанна, Мостовский, Анджей, Монтегю, Ричард, Мера множества, Задача о покрытии полосками, Британская академия, Банах, Стефан, Беркли (Калифорния), Варшавский университет, Варшава, Гарвардский университет, Гильберт, Давид, Доктор философии, Евклидова геометрия, Лукасевич, Ян, Линденбаум, Адольф, Лодзь, Лесьневский, Станислав, 14 января, 1901 год, 1923 год, 1929 год, 1939 год, 1948 год, 1983 год, 26 октября.

Калифорния

Калифо́рния (California, произносится) — штат США, расположенный на западном побережье страны, на берегу Тихого Океана.

Новый!!: Тарский, Альфред и Калифорния · Узнать больше »

Калифорнийский университет в Беркли

Калифорнийский университет в Беркли (The University of California, Berkeley) — государственный исследовательский университет США, расположенный в Беркли, штат Калифорния.

Новый!!: Тарский, Альфред и Калифорнийский университет в Беркли · Узнать больше »

Проективная геометрия

Проективная геометрия — раздел геометрии, изучающий проективные плоскости и пространства.

Новый!!: Тарский, Альфред и Проективная геометрия · Узнать больше »

Парадокс Банаха — Тарского

Шар можно «разбить» на куски и собрать из них два таких же шара. Парадо́кс Ба́наха — Та́рского (также называется парадо́ксом удвое́ния ша́ра и парадоксом Хаусдорфа — Ба́наха — Та́рского) — теорема в теории множеств, утверждающая, что трёхмерный шар равносоставлен двум своим копиям.

Новый!!: Тарский, Альфред и Парадокс Банаха — Тарского · Узнать больше »

Польская кампания вермахта (1939)

По́льская кампа́ния ве́рмахта (1939), также известная как Вторжение в Польшу и Операция «Вайс» (в польской историографии принято название «Сентябрьская кампания») — военная операция вооружённых сил нацистской Германии и Словакии, в результате которой было нанесено поражение польским вооружённым силам и была оккупирована территория Западной Польши.

Новый!!: Тарский, Альфред и Польская кампания вермахта (1939) · Узнать больше »

Польша

По́льша (Polska), официальное название — Респу́блика По́льша (Rzeczpospolita Polska) — государство в Центральной Европе.

Новый!!: Тарский, Альфред и Польша · Узнать больше »

Алгоритм Тарского

Алгоритм Тарского — универсальный алгоритм, позволяющий установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел.

Новый!!: Тарский, Альфред и Алгоритм Тарского · Узнать больше »

Российская империя

Росси́йская импе́рия (Россійская Имперія; также Всеросси́йская импе́рия, Росси́я) — государство, существовавшее в период с года до Февральской революции и провозглашения республики в 1917 году Временным правительством.

Новый!!: Тарский, Альфред и Российская империя · Узнать больше »

Робинсон, Джулия

Джулия Холл Робинсон (Julia Hall Robinson), урождённая Джулия Холл Боумэн (Julia Hall Bowman, 8 декабря 1919 — 30 июля 1985) — американский математик, внёсшая большой вклад в математическую логику.

Новый!!: Тарский, Альфред и Робинсон, Джулия · Узнать больше »

Скотт, Дана

Да́на Стю́арт Скотт (Dana Stewart Scott, р. 11 октября 1932 года) — американский, известный работами в области математической логики и информатики.

Новый!!: Тарский, Альфред и Скотт, Дана · Узнать больше »

Соединённые Штаты Америки

Соединённые Шта́ты Аме́рики (United States of America), часто кратко именуемые США (USA) или Соединёнными Штатами (United States, U.S.), — государство в Северной Америке.

Новый!!: Тарский, Альфред и Соединённые Штаты Америки · Узнать больше »

Серпинский, Вацлав

Ва́цлав Франци́ск Серпи́нский, в другой транскрипции — Серпиньский (Wacław Franciszek Sierpiński); (14 марта 1882, Варшава — 21 октября 1969, там же) — польский, известен трудами по теории множеств, аксиоме выбора, континуум-гипотезе, теории чисел, теории функций, а также топологии.

Новый!!: Тарский, Альфред и Серпинский, Вацлав · Узнать больше »

Теория множеств

Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством.

Новый!!: Тарский, Альфред и Теория множеств · Узнать больше »

Теорема Кнастера — Тарского

Бронислав Кнастер Альфред Тарский Теорема Кнастера — Тарского (теорема Тарского) — теорема в теории решёток, впервые сформулированная в частном случае и обобщенная Альфредом Тарским.

Новый!!: Тарский, Альфред и Теорема Кнастера — Тарского · Узнать больше »

Теорема Тарского о невыразимости истины

Теорема Тарского о невыразимости арифметической истины — теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике.

Новый!!: Тарский, Альфред и Теорема Тарского о невыразимости истины · Узнать больше »

Феферман, Соломон

Соломон Феферман (Solomon Feferman; 13 декабря 1928 г., Нью-Йорк — 26 июля 2016 г., Станфорд, Калифорния) — американский математический логик и историк логики.

Новый!!: Тарский, Альфред и Феферман, Соломон · Узнать больше »

Царство Польское

Ца́рство По́льское (Królestwo Polskie, также Конгрессовая Польша или Конгрессовка, от Królestwo Kongresowe, Kongresówka) — территория в Центральной Европе, находившаяся в составе Российской империи по решению Венского конгресса с 1815 по 1915 год.

Новый!!: Тарский, Альфред и Царство Польское · Узнать больше »

Эрш, Жанна

Жанна Эрш (Jeanne Hersch, 13 июля 1910, Женева — 5 июня 2000, там же) — швейцарский.

Новый!!: Тарский, Альфред и Эрш, Жанна · Узнать больше »

Мостовский, Анджей

А́нджей Стани́слав Мосто́вский (Andrzej Mostowski, 1913–1975) — польский и логик, член Польской академии наук (1956).

Новый!!: Тарский, Альфред и Мостовский, Анджей · Узнать больше »

Монтегю, Ричард

Ричард Монтегю в Калифорнийском университете, 1967 г. Ри́чард Ме́ретт Монтегю́ (Richard Merett Montague, 20 сентября 1930, Стоктон (Калифорния) — 7 марта 1971, Лос-Анджелес) — американский математик, философ.

Новый!!: Тарский, Альфред и Монтегю, Ричард · Узнать больше »

Мера множества

Ме́ра мно́жества — неотрицательная величина, интуитивно интерпретируемая как размер (объём) множества.

Новый!!: Тарский, Альфред и Мера множества · Узнать больше »

Задача о покрытии полосками

Задача о покрытии полосками — классическая задача комбинаторной геометрии.

Новый!!: Тарский, Альфред и Задача о покрытии полосками · Узнать больше »

Британская академия

Британская академия — национальная академия Великобритании для общественных и гуманитарных наук.

Новый!!: Тарский, Альфред и Британская академия · Узнать больше »

Банах, Стефан

Сте́фан Ба́нах (Stefan Banach; 30 марта 1892, Краков — 31 августа 1945, Львов) — выдающийся польский, профессор Университета Яна Казимира (1924), декан физико-математического факультета Львовского университета (1939).

Новый!!: Тарский, Альфред и Банах, Стефан · Узнать больше »

Беркли (Калифорния)

Бе́ркли (Berkeley) — город на восточном берегу залива Сан-Франциско, в округе Аламида штата Калифорния; входит в область залива Сан-Франциско.

Новый!!: Тарский, Альфред и Беркли (Калифорния) · Узнать больше »

Варшавский университет

Варша́вский университе́т (Uniwersytet Warszawski, Universitas Varsoviensis) — одно из крупнейших и самых престижных государственных высших учебных заведений Польши, основанное в 1816 году в Царстве Польском Российской империи.

Новый!!: Тарский, Альфред и Варшавский университет · Узнать больше »

Варшава

Варша́ва (Warszawa, МФА) — столица и крупнейший по населению и по территории город в Польше.

Новый!!: Тарский, Альфред и Варшава · Узнать больше »

Гарвардский университет

Гарвардский университет (Гарвард) (Harvard University) — один из самых известных университетов США и всего мира, старейший вуз США.

Новый!!: Тарский, Альфред и Гарвардский университет · Узнать больше »

Гильберт, Давид

Дави́д Ги́льберт (David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий -универсал, внёс значительный вклад в развитие многих областей математики.

Новый!!: Тарский, Альфред и Гильберт, Давид · Узнать больше »

Доктор философии

Оксфордского Университета в полном академическом облачении До́ктор филосо́фии (Philosophiæ Doctor, Ph.D., PhD, обычно произносится как пи-эйч-ди, в Оксфордском университете Doctor of Philosophy, D.Phil., DPhil, произносится как ди-фил) — учёная степень, присуждаемая в некоторых странах Запада, а также в Казахстане и Украине.

Новый!!: Тарский, Альфред и Доктор философии · Узнать больше »

Евклидова геометрия

Евкли́дова геоме́трия (или элементарная геометрия) — геометрическая теория, основанная на системе аксиом, впервые изложенной в «Началах» Евклида (III век до н. э.).

Новый!!: Тарский, Альфред и Евклидова геометрия · Узнать больше »

Лукасевич, Ян

Ян Лукасе́вич (правильно: Лукашевич, Jan Łukasiewicz;,  —) — польский логик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.

Новый!!: Тарский, Альфред и Лукасевич, Ян · Узнать больше »

Линденбаум, Адольф

А́дольф Линденба́ум (Adolf Lindenbaum, 1904, Варшава — 1941, Понары) — польский и логик, ученик Вацлава Серпинского.

Новый!!: Тарский, Альфред и Линденбаум, Адольф · Узнать больше »

Лодзь

Лодзь (Łódź  — «лодка», «ладья») — один из крупнейших городов Польши.

Новый!!: Тарский, Альфред и Лодзь · Узнать больше »

Лесьневский, Станислав

Станислав Лесьневский (Stanisław Leśniewski; 30 марта 1886, Серпухов — 13 мая 1939, Варшава) — польский математик и философ.

Новый!!: Тарский, Альфред и Лесьневский, Станислав · Узнать больше »

14 января

См.

Новый!!: Тарский, Альфред и 14 января · Узнать больше »

1901 год

Без описания.

Новый!!: Тарский, Альфред и 1901 год · Узнать больше »

1923 год

Без описания.

Новый!!: Тарский, Альфред и 1923 год · Узнать больше »

1929 год

Без описания.

Новый!!: Тарский, Альфред и 1929 год · Узнать больше »

1939 год

Без описания.

Новый!!: Тарский, Альфред и 1939 год · Узнать больше »

1948 год

Глава правительства Бирмы У Ну.

Новый!!: Тарский, Альфред и 1948 год · Узнать больше »

1983 год

ООН объявила 1983 год годом международных связей.

Новый!!: Тарский, Альфред и 1983 год · Узнать больше »

26 октября

См.

Новый!!: Тарский, Альфред и 26 октября · Узнать больше »

Перенаправления здесь:

Альфред Тарски, Альфред Тарский, Тарски Альфред, Тарски, Альфред, Тарский Альфред.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »