نتایج جستجو برای: قضیۀ گودل
تعداد نتایج: 125 فیلتر نتایج به سال:
برخی قضایای عام یا مطلق اخلاقی در منابع دین، علیرغم ظاهر کلی، ازحیث سور اجمال دارند؛ حتی در مواردی یقین داریم گزارهای کلی نیست؛ درحالیکه ظاهراً بهصورت مطلق یا کلی آمده است. این موضوع ما را به سایر گزارهها هم مشکوک میکند. در این پژوهش برای کشف سور حقیقی این گزارهها علاوهبر مراجعه به تفاسیر قرآن کریم و شروح روایی، از تحلیل عقلی و منطقی و کشف دلالتهای عرفی بهره گرفته و چند احتمال را کشف کر...
این مقاله تاریخچه پژوهش های فوریه و ریاضیدانان پس از او دربارۀ پیدایش سریهای فوریه، قضیه های همگرایی این سریها و گرایش های جدید در این حوزه از ریاضیات است. در اینجا به بخشی مهم از میراث علمی او خواهیم پرداخت که همان موضوع بسط یک تابع برحسب سری مثلثاتی و دستور محاسبۀ ضرایب مربوط به آن است. این موضوع یکی از راه هایی است که می توان تأمل دربارۀ فوریه و ارتباط او با فیزیک و فلسفۀ طبیعی را از آن آغا...
چرا برخی علاقه به بررسی فضای ژئودزی های پوچ یک فضا-زمان دارند؟ یک انگیزه برای بررسی این فضا، پروگرام تویستور می باشد که توسط راجر پنروز بنیان گذاری شده و بینش ها و دیدگاه هایی را در بسیاری از مفاهیم هندسه ی فضا-زمان فراهم کرده است. کار اخیر پنروز بیانگر این نکته می باشد که علاقه و رغبت زیادی برای به کارگیری هندسه و توپولوژی فضای ژئودزی های پوچ فضا-زمان وجود دارد. در فیزیک نیوتنی، فضا-زمان ساخ...
نظریه ی نسبیت عام انیشتین ، نظریه ی موفقی بوده و حداقل برای میدانهای گرانشی ضعیف دارای تأیید های تجربی فراوانی می باشد. پیش بینی های این نظریه از امکان وجود سیاه چاله ها و امواج گرانشی گرفته تا مدل های کیهانشناختی که شروعی نخستین به نام انفجار بزرگ را برای جهان پیش بینی می کنند، گسترده می باشد. از طرفی دیگر، مشاهده می شود که می توان به سهولت جواب هایی از معادلات میدان انیشتین را پیدا کرد که شام...
منطقِ شهودی، نتیجه ای است از دیدگاه های فلسفیِ براوئر در مورد مبانی و فلسفه ی ریاضیات که به شهودگرایی معروف است. این رویکرد در حوزه ی منطق منجر به بازنگری در مبانی منطق کلاسیک، و شکل گیری منطقی جدید با نام منطقِ شهودی گردید. منظور از شهودگرایی در اینجا، فلسفه ای است که در اوایل قرن بیستم، توسط براوئر، و هنگامی که منطق کلاسیک چندان رشد نیافته بود، ارائه گردید. اولین مقاله ی براوئر که در آن به مبانی...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید