Tarski

💡 In logic class, Tarski taught us to separate metalanguage from object language with care.

در کلاس منطق، تارسکی به ما آموخت که زبانِ فراشناختی (metalanguage) را با دقت از زبانِ شیءشناختی (object language) جدا کنیم.

💡 A biography of Tarski reads like a map of twentieth-century mathematics in motion.

زندگینامه تارسکی مانند نقشه‌ای از ریاضیات قرن بیستم در حال حرکت است.

💡 Discussions of truth conditions inevitably circle back to Tarski and his schemas.

بحث‌های مربوط به شرایط صدق، ناگزیر به تارسکی و طرح‌های او بازمی‌گردد.

💡 Smullyan’s many mathematical contributions center on the work of Gödel and Tarski.

بسیاری از مشارکت‌های ریاضی اسمولیان بر کارهای گودل و تارسکی متمرکز است.