• شود، بنیان ریاضیات به این مفاهیم از جنبه فلسفی و یک پارچگی ریاضیات هم نگاه می کند. جست و جو برای بنیان های ریاضیات، پرسش مرکزی در فلسفه ریاضیات است؛ طبیعت...
    10 KB (1,002 words) - 10:44, 6 June 2023
  • فضا (هندسه)، و تغییرات (آنالیز ریاضیات) می‌پردازد. در حقیقت، تعریفی جهانی که همه بر سر آن توافق داشته باشند، برای ریاضیات وجود ندارد. ریاضی‌دانان به دنبال...
    51 KB (4,148 words) - 14:43, 30 March 2024
  • آمریکایی مجاری‌تبار بود. وی سهم بزرگی در رشته‌های گوناگون، شامل ریاضیات (بنیان‌های ریاضیات، آنالیز ریاضی، نظریه ارگودیک، هندسه، نظریه گروه ها، نظریه ماتریس،...
    16 KB (636 words) - 07:31, 11 January 2024
  • در فلسفه ریاضیات، ساخت‌گرایی (Constructivism)، بیان می‌دارد که یافتن (یا «ساختن») یک شیء ریاضیاتی جهت اثبات وجودش ضروری است. در ریاضیات کلاسیک، می‌توان...
    4 KB (336 words) - 17:07, 19 June 2021
  • منطق ریاضی، در پی بروز پرسش‌های نوین در بنیان‌های ریاضیات پدید آمد. به عنوان نمونه، فرگه می‌کوشید تا ریاضیات را بر پایهٔ اصول برآمده از منطق و نظریهٔ...
    4 KB (265 words) - 12:58, 22 February 2024
  • تاریخ ریاضیات حوزه‌ای از مطالعات که به عنوان تاریخ ریاضیات شناخته می‌شود. در درجه اول به منشأ اکتشافات در ریاضی و در درجه‌های پایین‌تر به تحقیق و تفحص...
    73 KB (7,209 words) - 11:09, 15 January 2024
  • ایران (category ایالت‌ها و قلمروهای بنیان‌گذاری‌شده در ۱۹۷۹ (میلادی))
    تاریخی، دارای دانشمندان بزرگی در زمینه‌های اخترشناسی، انسان‌شناسی، پزشکی، ریاضیات، شیمی، تاریخ و جغرافیا بوده است که شامل ابوریحان بیرونی، ابوالوفا محمد...
    367 KB (28,545 words) - 10:32, 28 April 2024
  • نظریه طبیعی مجموعه‌ها، یکی از چندین تئوری مجموعه هاست که در بحث بنیان‌های ریاضیات مطرح می‌شود. عبارت نظریهٔ طبیعی مجموعه‌ها یا نظریهٔ شهودی مجموعه‌ها،...
    32 KB (3,860 words) - 06:55, 17 January 2024
  • اتحادیه جهانی ریاضیات سازمان غیردولتی و بین‌المللی‌ای است که برای توسعه و ترویج دانش ریاضی فعالیت می‌کند. اعضای آن، سازمان‌ها و انجمن‌های ریاضی کشوری...
    2 KB (38 words) - 22:03, 18 January 2024
  • نظریه رسته‌ها (category بنیان‌های ریاضیات)
    را می‌توان به عنوان زیربنای اصول موضوعه‌ای برای خود ریاضیات، به جای نظریه مجموعه‌ها و دیگر بنیان‌های پیشنهاد شده، مورد استفاده قرار داد. رسته‌ها، تجریدی...
    23 KB (2,095 words) - 15:14, 14 December 2023
  • آلونزو چرچ در دهه ۱۹۳۰ میلادی، به عنوان بخشی از تحقیقات او بر روی بنیان‌های ریاضیات معرفی گشت. حساب لامبدا، شامل ساخت ترم‌های لامبدا و اعمال عملیات کاهشی...
    65 KB (7,348 words) - 07:10, 17 April 2024
  • قضیه کانتور (category قضایای بنیان‌های ریاضیات)
    نوزدهم میلادی بیان و اثبات کرد. قضیه کانتور پیامدهای فوری و مهمی در فلسفه ریاضیات داشت. به عنوان مثال، با تکرار عمل ساخت مجموعه توانی از یک مجموعه نامتناهی...
    12 KB (1,364 words) - 22:24, 18 November 2022
  • قضایای ناتمامیت گودل (category قضایای بنیان‌های ریاضیات)
    مجموعه‌ای کامل و سازگار از اصول موضوع برای کل ریاضیات است. قضیهٔ اول ناتمامیت گودل، شاید مشهورترین نتیجه در منطق ریاضیات باشد، که بیان می‌کند: فرض کنید K یک نظریه...
    10 KB (984 words) - 16:03, 13 August 2023
  • لبنان کنونی قرون دهم و یازدهم هجری بود که در دانش‌های فلسفه، منطق، هیئت و ریاضیات دانایی داشت، در حدود ۹۶ کتاب و رساله از او در سیاست، حدیث، ریاضی، اخلاق،...
    54 KB (4,756 words) - 16:23, 28 April 2024
  • ریاضیات گسسته شاخه‌ای از علم ریاضیات است که با عناصر گسسته سروکار دارد و نه عناصر پیوسته، و از جبر و حساب استفاده می‌کند. ریاضیات گسسته به‌دلیل کاربردهای...
    13 KB (1,145 words) - 12:54, 13 April 2024
  • اطلاعات رمزنگاری ترکیبیات نظریه کدگذاری نظریه گراف نظریه بازی‌ها منطق و بنیان‌های ریاضیات منطق شهودی (Intuitionistic) منطق موجهات نظریه برهان نظریه محاسبه‌پذیری...
    54 KB (522 words) - 08:01, 9 April 2024
  • حساب منطق ریاضی و بنیان‌های ریاضیات نظریه مجموعه‌ها نظریه برهان نظریه مدل نظریه رایانش‌پذیری منطق موجهات منطق شهودی نظریه تقریب ریاضیات محاسباتی آنالیز...
    70 KB (3,444 words) - 15:22, 8 April 2024
  • گالیله‌ای و کارتزین دربارهٔ فضا، ماده و حرکت از بنیان‌های انقلاب علمی هستند که با انتشار مبادی ریاضیات نیوتن در سال ۱۶۸۷به اوج رسید. نیوتن به کمک نظریه‌هایش...
    40 KB (3,831 words) - 18:32, 29 November 2023
  • هنوز معتبر است و دقتی به مراتب بالاتر از گاه‌شماری میلادی دارد. وی در ریاضیات، نجوم، علوم ادبی، دینی و تاریخی استاد بود. نقش خیام در حل معادلات درجهٔ...
    108 KB (8,545 words) - 16:19, 20 April 2024
  • داویت هیلبرت (category فیلسوفان ریاضیات)
    مسئله هم به زمینه‌ای جز ریاضیات، به فیزیک، مربوط می‌شود. هیلبرت از مدافعان اصلی فرمالیسم بود. هیلبرت یکی از بنیان‌گذاران ریاضیات قرن بیستم و آفرینندهٔ مکتب...
    19 KB (1,461 words) - 12:01, 14 February 2024
  • اخترشناسی – زیست‌شناسی – شیمی – زمین‌شناسی – فیزیک – آمار – احتمالات – ریاضیات – سامانه‌ها – علوم رایانه – منطق دانش اجتماعی و انسانی: آموزش – ادبیات...
    5 KB (1,330 words) - 00:26, 22 June 2023
  • کرسی ریاضیات لوکاسین نام یک کرسی معروف علمی در جهان است. این کرسی در سال ۱۶۶۳ به وسیلهٔ هنری لوکاس در دانشگاه کمبریج انگلستان بنا نهاده شد. ویکی انگلیسی...
    4 KB (29 words) - 19:13, 15 October 2021
  • از ۱۶۰٬۰۰۰ دانشمندی بوده‌است که در سطح پژوهش به ریاضیات کمک کرده‌اند. هر مدخل پروژهٔ تبارشناسی ریاضیات برای یک ریاضی‌دان معمولی دارای مدرک دکترا، دربردارندهٔ...
    6 KB (422 words) - 23:00, 28 March 2024
  • راسل، و آلفرد نورث وایتهد، بحثی طولانی را در مورد بنیان‌های ریاضیات آغاز کرد. در کنار گسترس علم ریاضیات در قرن نوزدهم، انجمن‌‌های ملی متعددی در این زمینه...
    25 KB (2,228 words) - 17:17, 27 April 2024
  • گماشتند. در این مدارس درس‌های زیر تدریس می‌شد. فقه، حدیث، تفسیر، علوم ادبی، ریاضیات، طب و حکمت همچنین همه مدارس دارای کتابخانه‌های معتبر بودند. در این مدارس...
    41 KB (3,571 words) - 18:01, 29 April 2024
  • فلسفه با دین، ریاضیات، علوم طبیعی، آموزش و سیاست ارتباط نزدیک داشت. اگرچه آن زمان به ‌عنوان کتاب فیزیک طبقه‌بندی شده‌است، اما اصول ریاضیات نیوتن (۱۶۸۷)...
    67 KB (5,102 words) - 16:01, 24 April 2024
  • فیزیک نظری و ریاضیات) پژوهشگاهی دولتی وابسته به وزارت علوم، تحقیقات و فناوری در تهران، ایران است. هدف اولیه «مرکز تحقیقات فیزیک نظری و ریاضیات»، پیشبرد پژوهش...
    8 KB (552 words) - 21:28, 2 April 2024
  • گِراف یا مریم در ریاضیات دست‌کم دارای دو معنی می‌باشد. در ریاضیات پایه گراف اشاره به نمودار تابع دارد، و در اصطلاح ریاضی‌دانان گراف مجموعه‌ای از نقاط و...
    35 KB (3,734 words) - 12:10, 15 April 2024
  • پارادوکس باناخ–تارسکی (category قضایای بنیان‌های ریاضیات)
    دو ریاضیدان لهستانی به نام‌های، آلفرد تارسکی و استفان باناخ در سال ۱۹۲۴ میلادی به کمک اصل انتخاب ثابت کردند[نیازمند منبع] که کره‌ای با شعاع یک واحد، در...
    3 KB (175 words) - 13:59, 22 October 2022
  • ریاضیات محض (به انگلیسی: Pure Mathematics) به مطالعهٔ مفاهیم ریاضیاتی مستقل از هر نوع کاربرد خارج از دایره ریاضیات می‌پردازد. این مفاهیم ممکن است از دغدغه‌های...
    6 KB (460 words) - 06:20, 23 January 2024
  • محاسباتی، مطالعه کلاس زبان رسمی که مدل می‌تواند تولید کند است. منطق ریاضی بنیان‌های ریاضیات پیچیدگی محاسباتی علوم نظری رایانه ماشین‌های تورینگ زبان‌های صوری استقراء...
    8 KB (772 words) - 04:55, 21 August 2023