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

1902 год
-
1983 год

Польша

Польский математик и логик, основатель формальной теории истинности.

В 30-х годах XX века Альфред Тарский разрабатывал вопросы логического следования и определения истины для формализованных языков.

Теорема Тарского о невыразимости арифметической истины гласит, что понятие арифметической истины не может быть выражено средствами самой арифметики. Или: понятия «ложно» и «истинно» допустимы к употреблению исключительно на уровне метаязыка, но не уровне объектного языка. Теорема Тарского применима к любой достаточно сильной формальной системе.

См. также: Теорема Курта Гёделя о неполноте 1931 года

В 1939 году он выехал на математический конгресс в США, но в это время Польшу захватила Германия и учёный остался за океаном…

На научные взгляды Альфреда Тарского повлияли идеи польских математиков: идеи Тадеуша Котарбиньского, Станислава Лесьневского, Яна Лукасевича и Вацлава Серпинского, а также достижения Бертрана Рассела.

Новости
Случайная цитата
  • Жанр «бумажной архитектуры» по Джованни Пиранези
    Точная датировка возникновения этого нового жанра затруднена, но традиционно его «отцом» считается Джованни Батиста Пиранези, который обычно подписывался как «венецианский архитектор», но преимущество занимался рисованием развалин Древнего Рима и только возможных, но не построенных, новых зданий и их архитектурных элементов. Примерно можно датировать возникновение этого жанра по выпуску  Дж. Б. Пиранези двух серий гравюр и Varie Vedute di Roma в 1741 году и Prima Parte di architettura e Prospet...