نتایج جستجو برای: قضیۀ گودل

تعداد نتایج: 125  

ژورنال: حکمت و فلسفه 2016
صدیقه میرزایی عبدالعلی شکر,

پذیرش و اثبات اصالت وجود، مستلزم پذیرش مجعولیت وجود است. به همین جهت، اصالت وجود با مجعولیت آن در تلازم است؛ هرچند این دو مسئله تفاوت­هایی دارند. مطابق مبانی حکمت متعالیه، ملاک مجعولیت وجود بر پایۀ رابط بودن آن تعیین می­شود. رابط بودن وجود به معنای «وابستگی صرف به غیر» است. آنچه به علت خود تعلق محض دارد، مجعول واقعی آن نیز به شمار می­رود. در مکتب صدرایی، وجود رابط به این معنا جایگاه متفاوتی با...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم پایه 1388

با بررسی در درخت جستجوی دودویی، دو نوع فاصله تصادفی را مورد توجه قرار می دهیم؛ عمق یک گره به تصادف انتخاب شده در درخت و فاصلۀ دو گره به تصادف انتخاب شده در درخت جستجوی دودویی. ابتدا با طرح چند قضیه و تشریح جستجوی موفق و جستجوی ناموفق در درخت جستجوی دودویی، به بررسی، عمق گره به تصادف انتخاب شده در درخت جستجوی دودویی می پردازیم و با کمک روشهای قدیمی (انتخاب تابع مولد احتمال برای متغیر تصادفی مورد...

دیوان بین‌المللی دادگستری در یازدهم مهر ۱۳۹۷ (3 اکتبر ۲۰۱۸) به درخواست ایران برای صدور دستور موقت در قضیۀ نقض‌های ادعایی عهدنامۀ مودت به اتفاق آرا پاسخ مثبت داد و آمریکا را ملزم کرد تا تمهیدات لازم را در مورد صادرات آزاد به ایران در خصوص نیازهای انسان‌دوستانه از جمله دارو و لوازم پزشکی و بهداشتی، محصولات کشاورزی و غذایی و قطعات یدکی و تجهیزات ضروری و خدمات برای ایمنی هواپیمایی کشوری اتخاذ کند و...

به لحاظ سنتی و تاریخی، اقدامات بازیگران غیردولتی تنها در صورتی به دولت منتسب می‌شود که به‌طور رسمی یا عملی ارگان آن دولت محسوب شوند، یا نمایندۀ آن دولت باشند و تحت کنترل و هدایت دولت عمل کنند یا اینکه دولت اقدامات آنان را به‌صراحت تأیید کند و به‌عنوان عمل خود بپذیرد. بعد از واقعۀ 11 سپتامبر 2001، قاعدۀ سنتی مزبور تا حدوی تغییر یافت، به‌گونه‌ای که منطقۀ خاکستری به‌وجود آمد مبنی بر اینکه آیا دولت...

مادۀ 27 اساسنامۀ رم مصونیت سران دولت‌ها را رافع مسئولیت کیفری آنها در خصوص جنایات تحت صلاحیت دیوان نمی‌داند. این امر در خصوص دولت‌های عضو اساسنامه کاملاً صادق است؛ چه آنکه آنان با پذیرش عضویت در دیوان تلویحاً از مصونیت سران دولت خود در صورت ارتکاب جنایات تحت صلاحیت دیوان اعراض کرده‌اند. مشکل جایی است که براساس ارجاع شورای امنیت وضعیت یک کشور غیرعضو به دیوان ارجاع شود. در این صورت برخی از اصول حقو...

دیوان بین‌المللی دادگستری، در پی طرح دعوای کرواسی علیه صربستان و رویارویی با دعوای متقابل، پس از نزدیک به شانزده سال رسیدگی، در نهایت در سال 2015 مبادرت به صدور رأی ترافعی راجع به جنایت نسل‌زدایی کرد. دیوان بین‌المللی دادگستری که در صدور این رأی، بسیار تحت تأثیر دیوان بین‌المللی کیفری برای یوگسلاوی سابق بود، با عدم احراز عنصر معنوی، حکم به عدم تحقق جنایت نسل‌زدایی داده و تلویحاً آستانۀ بسیار بال...

  حق طرح دعوی برای مطالبۀ خسارت و حتی استحقاق دریافت خسارت، به معنای دریافت قطعی خسارت نیست. گاهی شیوۀ ارزیابی، میزان خسارت قابل مطالبه را بسیار کاهش می‌دهد. بنابراین، همیشه پس از موضوع استحقاق برای جبران خسارت، بحث ثانوی ارزیابی آن، به‌ویژه در دعاوی بین‌المللی ملی کردن، از جمله مصادرۀ دارایی‌های شرکت‌های بین‌المللی نفتی، ظهور پیدا می‌کند. زیان‌دیدگان در پی افزایش و عاملان زیان در صدد کاهش آن ب...

حکومت بحرین طی شش سال گذشته با اعتراضات آشکار مردمی روبه‌رو بوده است. این اعتراضات مسالمت‌آمیز اغلب با هدف بهره‌مندی از حق تعیین سرنوشت برای اکثریت مردم بحرین انجام می‌‌شود. شیخ عیسی قاسم، یکی از رهبران مذهبی این اعتراضات از سوی حکومت دستگیر و در سال 2016 تابعیت بحرینی از وی سلب شد. مقالۀ حاضر با روش تحلیلی- توصیفی نشان می‌دهد تابعیت، موضوع بین‌‌المللی‌‌ شده است و مطابق حقوق بین‌‌الملل، سلب تاب...

ژورنال: سیاست 2019

هدف این مقاله بررسی مردم‌نگارانۀ کیفیت مشارکت سیاسی - شیوه‌ها و الگوهای رأی‌دهی در انتخابات- در استان ایلام است. چارچوب مفهومی مورد مطالعه مبتنی بر رویکردهای کنشی در جوامع ارگانیک و مکانیک دورکیم، گزل شافت وگمین شافت فردیناندو تونیس، متغیرهای الگویی پارسونز، قضایای جورج هومنز و برخی دیگر از این دسته از نظریه‌پردازان است. میدان مورد مطالعه، حوزۀ انتخاباتی شمالی در استان ایلام شامل شش شهرستان است...

ژورنال: تاریخ علم 2013

می‌توان الأشکال الکریه از منلائوس را مهم‌ترین اثر در سنت نگارش کتاب‌های اکر دانست؛ کتاب‌هایی که با هدف حل مسائل نجوم کروی به رشتۀ تحریر درآمده‌اند. کتاب اصول از اقلیدس نیز مهمترین اثر دربارۀ هندسۀ اشکال مسطحه در ریاضی باستان است. در مقالۀ پیش رو نگارنده بر آن است که با قیاس میان کتاب الأشکال الکریه و اصول اقلیدس، نشان دهد که مقالۀ اول الأشکال الکریه کوششی جهت بازسازی محتوای مقالۀ اول اصول برای ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید