תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- ...תירה. הקונסטרוקטיביזם מחייב פירוש מחדש לא רק של ה[[כמת|כמת היישי]], אלא גם של כל ה[[קשר (לוגיקה מתמטית)|קשרים הלוגיים]]. לאסכולה הקונסטרוקטיביסטית מספר ו ...פחות, אך מה שנדע, ייתכן ויהיה פחות רגיש לסתירות והשלכות של משפטי אי השלמות של גדל. ...6 ק"ב (45 מילים) - 19:55, 29 בפברואר 2024
דפים עם תוכן תואם
- | סוגה = [[פילוסופיה]] ...] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]]. ...4 ק"ב (188 מילים) - 11:55, 26 בנובמבר 2021
- ...ה|מתמטית]], שמהווה מלבד שיטת עבודה גם [[פילוסופיה]] ותפיסה כוללת לגבי מהות המתמטיקה. ...תן של טענות קיימות (אם ניתן להצרין את ההוכחות הקיימות עבורן), ולחיפוש מכני של הוכחות חדשות (למשל, באמצעות [[מחשב]]). ...7 ק"ב (88 מילים) - 10:41, 5 בספטמבר 2024
- ...תירה. הקונסטרוקטיביזם מחייב פירוש מחדש לא רק של ה[[כמת|כמת היישי]], אלא גם של כל ה[[קשר (לוגיקה מתמטית)|קשרים הלוגיים]]. לאסכולה הקונסטרוקטיביסטית מספר ו ...פחות, אך מה שנדע, ייתכן ויהיה פחות רגיש לסתירות והשלכות של משפטי אי השלמות של גדל. ...6 ק"ב (45 מילים) - 19:55, 29 בפברואר 2024
- ...גוריה השייכת ל[[מתמטיקה]]|אחר=קטגוריה השייכת ל[[פילוסופיה]]|ראו=[[קטגוריה (פילוסופיה)]]}} ...קטגוריות מופיעות בכל אחד מענפי המתמטיקה והן מהוות דרך מרכזית לאחד את ענפי המתמטיקה השונים תחת מסגרת כוללת. העיסוק בקטגוריות כאובייקטים בפני עצמן נקרא "[[תורת ...9 ק"ב (366 מילים) - 13:02, 17 ביוני 2023
- |שם=המשפט האחרון של פרמה ...העברית יצאה בשנת [[2000]] בהוצאת [[ידיעות אחרונות - ספרי חמד]], בקטגוריית "פילוסופיה ומדע". ...5 ק"ב (61 מילים) - 02:06, 8 ביולי 2024
- ...im.gif|שמאל|ממוזער|333x333px|דוגמה ל"דרך הוכחה יפה" - הוכחה פשוטה ואלגנטית של [[משפט פיתגורס]]]] ...ים להשוות אותה ל[[מוזיקה]] ול[[שירה]]. נושא זה נדון על ידי ה[[פילוסופיה של המתמטיקה]]. ...10 ק"ב (122 מילים) - 11:05, 27 בפברואר 2025
- ...יתן להוכיח או להפריך רק באמצעות שיטות הוכחה [[קונסטרוקטיביזם (פילוסופיה של המתמטיקה)|קונסטרוקטיביות]]. לכן פוסלים האינטואיציוניסטים [[הוכחה על דרך השלילה|הוכחו ...אריתמטיקה את מושג הזמן, הנמצאים שניהם בבסיס הכרתנו עצמה. כלומר, בפילוסופיה של קאנט למתמטיקה יש תפקיד מנטלי לחלוטין. הנכונות המתמטית היא נכונות סובייקטיבי ...22 ק"ב (194 מילים) - 07:17, 5 במאי 2023
- נודע בעבודתו על [[פאון|פאונים]] רגולריים וגאומטריות של [[ממד (מתמטיקה)|ממד]] גבוה (כלומר ארבעה ממדים ויותר). הוא היה חסיד הגישה הק ...נולד ב[[לונדון]], בן יחיד ללוסי גי, [[צייר]]ת, ולהרולד סמואל קוקסטר, יצרן של מכשור רפואי. הוריו התגרשו בנעוריו, והוא נשלח ללמוד ב[[פנימייה]]. ...7 ק"ב (180 מילים) - 00:42, 7 בדצמבר 2021
- ...ורג-שוורין|הדוכסות הגדולה של מקלנבורג-שוורין]] [[ויסמר]], [[הדוכסות הגדולה של מקלנבורג-שוורין|מקלנבורג-שוורין]] |זרם=[[פילוסופיה אנליטית]] ...26 ק"ב (463 מילים) - 21:02, 31 בדצמבר 2024
- ...הו משפט טיפוסי ב[[תורת רמזי]] – במבנה גדול דיו אי־אפשר להימנע ממידה מסוימת של סדר. ...h>a,b</math> מספרים טבעיים, ותהי <math> \ x_1,x_2,...,x_{ab+1}</math> סדרה של מספרים ממשיים שונים. אזי יש תת־סדרה מונוטונית עולה ממש באורך <math>\ a+1</m ...7 ק"ב (378 מילים) - 20:57, 25 במרץ 2024
- ניתן לראות את המספרים הממשיים החיוביים כ[[אורך|אורכים]] של [[קטע]]ים על [[ישר]] [[אינסוף|אינסופי]] (הקרוי, לפיכך, [[הישר הממשי]]). לכל ...וב[[חשבון אינפיניטסימלי|חשבון הדיפרנציאלי והאינטגרלי]] בפרט, כגון: [[גבול של פונקציה|גבול]], [[פונקציה רציפה (אנליזה)|רציפות]], [[אינטגרל]], [[חסם עליון ...13 ק"ב (135 מילים) - 20:48, 19 במרץ 2025
- ...רל]]. אנליזה לא סטנדרטית משתמשת בהרחבת שדה סדור של מספרים ממשיים לשדה סדור של מספרים היפר-ממשיים. ...ותחה לראשונה על ידי [[אברהם רובינזון]] ב[[שנות ה-60 של המאה ה-20|שנות ה-60 של המאה העשרים]]. ...8 ק"ב (338 מילים) - 06:13, 4 במרץ 2024
- ...nts.jpg|שמאל|ממוזער|350px|[[נייר אפייה#נייר פרגמנט|פרגמנט]] מתוך הספר השני של [[יסודות (ספר)|יסודות]] מאת [[אוקלידס]], על [[פפירוס]] שנמצא בחפירות באוקסי אחת מתרומותיה החשובות לאנושות של [[יוון העתיקה]] היא פיתוח ה[[מתמטיקה]]. ...24 ק"ב (296 מילים) - 22:36, 4 באוגוסט 2023
- ...נות את בית הספר. לאור בקשת אביו שילמד [[הנדסה]] הוא החל ללמוד בפוליטכניקום של [[ציריך]]. לאחר סמסטר אחד החליט ללמוד [[מתמטיקה]] ב[[אוניברסיטת ברלין]], שם ...]] 1874 נישא לוואלי גוטמן, ידידה יהודיה{{הערה|I. Grattan-Guinness עמ' 76}} של אחותו, ולזוג נולדו שישה ילדים. ...16 ק"ב (174 מילים) - 10:18, 29 בנובמבר 2024
- |הערות=[[יוהאן ברנולי]], אחיו של יאקוב ברנולי ...י [[חשבון וריאציות|חשבון הווריאציות]]. ב[[תורת ההסתברות]] ניסח גרסה ראשונה של [[חוק המספרים הגדולים]]. ...11 ק"ב (211 מילים) - 05:48, 4 בנובמבר 2024
- ...סוף]] וה[[מתמטיקאי]] [[ברטראנד ראסל]] הדגים זאת בדוגמה הבאה: אם נתונה סדרה של זוגות [[נעליים]], אפשר לבחור נעל אחת מכל זוג גם ללא אקסיומת הבחירה, לפי הכל ...מתמטיקאים, אך בה במידה יש לה מסקנות העשויות להראות מופרכות (כגון [[הפרדוקס של בנך-טרסקי|פרדוקס בנך-טרסקי]]). ...16 ק"ב (170 מילים) - 17:41, 25 באפריל 2024
- ...ו'. ניתן לכלול בכך גם את המחקר ה[[פילוסופיה של המתמטיקה|פילוסופי]] של הקשר של מסגרת זו עם ה[[מציאות]]. ...רק אם מדובר במשפט שמוכח מ[[הנחה (לוגיקה)|הנחות יסוד]] אמיתיות באמצעות רצף של [[סילוגיזם]] ([[כלל היסק|כללי היסק]]), כאשר הנחות היסוד הן משפטים שכבר הוכח ...55 ק"ב (582 מילים) - 08:07, 8 במרץ 2025
- ...00px|האריתמטיקה וה[[רטוריקה]] – שתיים מבין [[שבע האמנויות החופשיות]]. פסלם של [[ניקולא פיזאנו]] ו[[ג'ובאני פיזאנו]], פונטנה מאג'ורה, [[פרוג'ה]].]] ...ת החשבון]] ו[[סדר חלקי|סדר]] בין מספרים, משמשים כל אדם מודרני לצורך ביצוען של משימות יום-יומיות פשוטות כגון הכנת מזון ותכנון [[כלכלת הבית]]. לאריתמטיקה ה ...36 ק"ב (508 מילים) - 12:42, 6 במרץ 2025
- ...כון. במילים אחרות: אם הנחת טיעון מסוים מובילה ל[[סתירה לוגית]], אזי ניגודה של הנחה זו בהכרח נכון. ב[[לטינית]] מכונה ''Reductio ad absurdum'' – רֶדּוּקְצְ ...ת ה[[אינטואיציוניזם]] שאינם מקבלים שיטה זו. בפרט הם דוחים את הטיעון ששלילה של הטענה ההפוכה גוררת שהטענה נכונה. על כן הם אינם מקבלים הוכחה בדרך השלילה כהו ...10 ק"ב (110 מילים) - 17:31, 26 בפברואר 2025
- ...של המערכות השונות ואיתן של מושג המספר, ולא בשאלה חסרת המשמעות מה זו מערכת של מספרים. --> | כיתוב תמונה = [[דיאגרמת ון]] של מערכות מספרים ...39 ק"ב (604 מילים) - 06:04, 21 בינואר 2025