خدمات مرکز


بحث توپولوژیکی در رابطه با ناسازگاری و ناسازگاری در پارادوکس یابلو

چکیده: مقالاتی که تاکنون در رابطه با صوری‌سازی پارادوکس یابلو ارائه‌شده‌اند تعدادی دنباله‌ی یابلو را ناسازگار و برخی دیگر آن راω -ناسازگار می‌دانند. در این مقاله با توجه به تحلیل توپولوژیکی که توسط  برناردی کلادیو در رابطه با دنباله‌ای از جملات که هر جمله‌ی آن دنباله به جملات دیگر دنباله اشاره دارد، ناسازگاری و ω –ناسازگاری را در دنباله جملات یابلو بررسی می‌کنیم. تابع ارزشگذار دنباله‌ جملات یابلو وقتی صوری‌سازی ω –ناسازگار را برای آن در نظر بگیریم با تابع ارزشگذار این دنباله وقتی آن را ناسازگار بدانیم متفاوت بوده و دارای نقطه‌ی ثابت می‌باشد. البته هم در حالت ناسازگاری و هم در ω –ناسازگاری تابع ارزشگذار دنباله مرتب اما ناپیوسته است.





مقالات دیگر
رمزگشایی از وجه تسمیۀ آثار و بناهای تاریخی از روی ویژگی‌های معماری،پل باستانی دوره ساسانی ، کر و دت ، هلیلان

علی سالاری مهر


بررسی جامعه‌شناختی نماز در تمدن سازی نوین اسلامی با رویکرد آسیب شناسانه

محسن فرهادي محلي ، منصوره زارع ، محمد اسماعیل اسفندیاری


بررسی خودپرداز بیومتریک

محمد آزاد شلمزاری ، عباس پورعلیزاده