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

1902 год
-
1983 год

Польша

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

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

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

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

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

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

Новости
Случайная цитата
  • Принципиальное неравенство людей от природы по И.М. Ефимову
    «Мы живём в эпоху, ознаменованную победным наступлением эгалитарной идеи - идеи равенства. Начиная с Жан Жака Руссо и Французской революции, в странах Европы один за другим рушились сословные барьеры. Исчезали сеньоры, графы, князья, дворяне. Избирательные права предоставлялись любому бедняку. В странах Азии шла и до сих пор идёт упорная и во многом успешная борьба с системой каст. Люди отдавали и отдают свои жизни в борьбе с расовым неравенством. Горячие страсти вызывает борьба за равенство ж...