«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می‌بود ... هیچ علمی کاملاً صوری نیست» (Frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسة اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه‌های سازگاری و استقلال برای این نظام، راه‌حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئلة خطوط موازی) ارائه داد. گوتلوب فرگه، پایه‌گذار منطق صوری جدید، مخالفت‌های بنیادینی با روی...

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

در این پایان نامه به فشرده سازی و تکین زدایی معادلات چندجمله ای لیینارد از نوع (m,n) می پردازیم. به عبارت دیگر، میدان های برداری مسطح مربوط به یک معادله دیفرانسیل اسکالر مرتبه دوم مانند x ?+f(x) x ?+g(x)=0 را در نظر می گیریم که در آن f و g به ترتیب چندجمله ای هایی از درجه ی m و n (بر حسب متغیر x) هستند. علاوه بر فشرده سازی صفحه ی فاز یا همان صفحه ی لیینارد، نشان داده می شود که فضای معادلات لیین...

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

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

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

در این مقاله تبدیل هیلبرت هوانگ (hht) برای آنالیز سری زمانی موقعیت ایستگاه های دائمی gpsارائه می شود. تبدیل هیلبرت هوانگ و طیف وابسته به آن، روشی جدید برای آنالیز فرآیند های غیرخطی و غیرایستا به شمار می رود. این روش نه تنها یک تحلیل دقیق از وقایع خاص در فضای زمان- فرکانس ارائه می دهد بلکه تفاسیر معنی دار فیزیکی از فرآیندهای دینامیکی را نیز بیان می کند. روش مذکور برای آنالیز داده ها در دو مرحله ...

در این مقاله راه حل جدیدی برای مساله فضای هیلبرت در کیهانشناسی کوانتمی در مینی ابر فضا (mini super space) مورد بحث قرار گرفته و نتایج حاصل از تغییرات زمانی هندسه فضای هیلبرت در ساختار مکانیک کوانتمی غیر نسبیتی بررسی شده است. نتایج به دست آمده نشانگر وجود شباهتهای جالب توجهی بین مکانیک کوانتمی و نظریه نسبیت عام است.

در این مقاله با استفاده از روش تجزیة مد تجربی، طیف فرکانس لحظه‌ای یا طیف هیلبرت معرفی و به منظور حذف امواج زمین‌غلت، حذف نوفة تصادفی و تجزیة طیفی مقاطع لرزه‌ای به کار گرفته شده است. طیف هیلبرت پیشنهادی کاستی‌های فرکانس لحظه‌ای حاصل از تبدیل هیلبرت مرسوم را ندارد. برتری نتایج استفاده از طیف هیلبرت در پردازش و تفسیر با اعمال روش روی داده‌های لرزه‌ای مصنوعی و واقعی نشان داده شده است. همچنین در زمی...