https://wikijoo.ir/index.php?action=history&feed=atom&title=%D8%AA%D8%A7%D8%B1%D8%B3%DA%A9%DB%8C%D8%8C_%D8%A2%D9%84%D9%81%D8%B1%D8%AF_%28%DB%B1%DB%B9%DB%B0%DB%B2%D9%80%DB%B1%DB%B9%DB%B8%DB%B2%29 2026-05-01T20:48:37Z تاریخچهٔ نسخه‌ها برای این صفحه در ویکی MediaWiki 1.41.0 https://wikijoo.ir/index.php?title=%D8%AA%D8%A7%D8%B1%D8%B3%DA%A9%DB%8C%D8%8C_%D8%A2%D9%84%D9%81%D8%B1%D8%AF_(%DB%B1%DB%B9%DB%B0%DB%B2%D9%80%DB%B1%DB%B9%DB%B8%DB%B2)&diff=1254191&oldid=prev 2019-07-24T05:23:50Z

<p></p> <p><b>صفحهٔ تازه</b></p><div><br /> تارْسْکی، آلْفرِد (۱۹۰۲ـ۱۹۸۲)(Tarski, Alfred)<br /> <br /> (نام اصلی: آلفرد تایتلباوم&lt;ref&gt;Alfred Tajtelbaum&lt;/ref&gt;) منطق‌دان و ریاضی‌دان امریکاییِ لهستانی‌تبار. در ورشو&lt;ref&gt;Warsaw &lt;/ref&gt; متولد شد. از ۱۹۲۵ تا شروع جنگ جهانی دوم در آن‌جا سمتِ استادی داشت. توانست به ایالات متحده مهاجرت کند و به دانشگاه کالیفرنیا در برکلی&lt;ref&gt;Berkeley &lt;/ref&gt; رفت (۱۹۴۲ـ۱۹۶۸). در پیشبرد منطق ریاضی، به‌ویژه بخش‌هایی که به معنی‌شناسی&lt;ref&gt;semantics &lt;/ref&gt; و «نظریۀ مدل‌ها&lt;ref&gt;model theory &lt;/ref&gt;» مرتبط می‌شدند، نقش بسیاری داشت. به مناسبت آنچه «پارادُکس باناخ ـ تارسکی&lt;ref&gt;Banach-Tarski paradox &lt;/ref&gt;» نامیده می‌شود، و به مجموعه‌های اندازه‌ناپذیر&lt;ref&gt;non-measurable sets &lt;/ref&gt; مربوط است، شهرت دارد، اما شهرتش بیشتر برای تعریفِ صدق در زبان‌های منطق صوری است؛ او این تعریف را در تک‌نگاشتی با عنوان &#039;&#039;مفهوم صدق در زبان‌های صوری ‌شده&#039;&#039;&lt;ref&gt;&#039;&#039;Der Wahrheitsbegriff in den Fromalisierten Sprachen/Concept of Truth in Formalized Language&#039;&#039;&lt;/ref&gt; (۱۹۳۳) تنظیم و تدوین کرد.<br /> <br /> &amp;nbsp;<br /> <br /> &amp;nbsp;<br /> <br /> &lt;br/&gt; &lt;!--14013300--&gt;<br /> <br /> [[Category:ریاضیات]] [[Category:(ریاضیات)اشخاص و آثار]] [[Category:فلسفه ، منطق و کلام]] [[Category:منطق]]</div>

Nazanin