عموماً پذیرفته شده است که مفهوم صفر، بدین صورت که ما امروز تصور می کنیم، از دو تمدن مایا و هندی که از نظر جغرافیایی متمایزند، نشأت گرفته است. اما صفر به عنوان نمایانگر یک کمیت یا جداکننده جهت به مصر چهار هزار سال پیش برمی گردد. صفر به عنوان نشان دهنده مکان خالی از ارزش در نظام عددنویسی ارزش مکانی بابل و پیش از نخستین مورد ثبت شده صفر هندی ظاهر شد. همچنین صفر به صورت یک فاصله خالی در نظام عددنویس...

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

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

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

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

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

در صرف تکواژبنیاد، تکواژ صفر به تکواژی گفته می شود که بار معنایی دارد، اما هیچ گونه تظاهر صوری ندارد؛ یعنی نه صورت آوایی دارد و نه صورت نوشتاری؛ به عنوان نمونه،  کلمة «رفت» در زبان فارسی، فعل گذشتة سوم شخص مفرد است، اما در این کلمه هیچ نشانة صوری ای برای نشان دادن مشخصه های شخص و شمار وجود ندارد. گروهی از زبان شناسان کلمة «رفت» را به صورت [رفت-ø]فعل تحلیل می کنند و مشخصه های شخص و شمار را به تک...

عموماً پذیرفته شده است که مفهوم صفر، بدین صورت که ما امروز تصور می کنیم، از دو تمدن مایا و هندی که از نظر جغرافیایی متمایزند، نشأت گرفته است. اما صفر به عنوان نمایانگر یک کمیت یا جداکننده جهت به مصر چهار هزار سال پیش برمی گردد. صفر به عنوان نشان دهنده مکان خالی از ارزش در نظام عددنویسی ارزش مکانی بابل و پیش از نخستین مورد ثبت شده صفر هندی ظاهر شد. همچنین صفر به صورت یک فاصله خالی در نظام عددنویس...

قضیه منگر از قضایای اساسی نظریه گراف است که نشان می دهد ارسال داده از یک منبع به یک مقصد امکان پذیر است. قضیه ادموندز قضیه دیگری می باشد که نشان می دهد ارسال داده از یک منبع به چند مقصد با مسیریابی امکان پذیر است. اهلسود در قضیه کدگذاری شبکه نشان داد که می توان از منبع به چند مقصد به طور هم زمان ارسال کرد. در صورتی که بدون استفاده از کدگذاری شبکه و تنها با استفاده از مسیریابی نمی توان به این هد...

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