شود، بنیان ریاضیات به این مفاهیم از جنبه فلسفی و یک پارچگی ریاضیات هم نگاه می کند. جست و جو برای بنیان های ریاضیات، پرسش مرکزی در فلسفه ریاضیات است؛ طبیعت...
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
رئوس مطالب رشتههای دانشگاهی (section ریاضیات)
اطلاعات رمزنگاری ترکیبیات نظریه کدگذاری نظریه گراف نظریه بازیها منطق و بنیانهای ریاضیات منطق شهودی (Intuitionistic) منطق موجهات نظریه برهان نظریه محاسبهپذیری...
54 KB (522 words) - 08:01, 9 April 2024
فهرست رشتههای تحصیلی (section ریاضیات)
حساب منطق ریاضی و بنیانهای ریاضیات نظریه مجموعهها نظریه برهان نظریه مدل نظریه رایانشپذیری منطق موجهات منطق شهودی نظریه تقریب ریاضیات محاسباتی آنالیز...
70 KB (3,444 words) - 15:22, 8 April 2024
فضا (redirect from فضا (رياضيات))
گالیلهای و کارتزین دربارهٔ فضا، ماده و حرکت از بنیانهای انقلاب علمی هستند که با انتشار مبادی ریاضیات نیوتن در سال ۱۶۸۷به اوج رسید. نیوتن به کمک نظریههایش...
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
علم در سده نوزدهم میلادی (section ریاضیات)
راسل، و آلفرد نورث وایتهد، بحثی طولانی را در مورد بنیانهای ریاضیات آغاز کرد. در کنار گسترس علم ریاضیات در قرن نوزدهم، انجمنهای ملی متعددی در این زمینه...
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
پژوهشگاه دانشهای بنیادی (redirect from مرکز تحقیقات فیزیک نظری و ریاضیات)
فیزیک نظری و ریاضیات) پژوهشگاهی دولتی وابسته به وزارت علوم، تحقیقات و فناوری در تهران، ایران است. هدف اولیه «مرکز تحقیقات فیزیک نظری و ریاضیات»، پیشبرد پژوهش...
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