-
עקביות
כל מה שרצית לדעת על עקביות:עקביות (לוגיקה) של מערכת לוגית־מתמטיתעקביות (פסיכולוגיה) של התנהגות האדםקוהרנטיות (בלשנות) של טקסטעקביות (פילוסופיה) – השאלה האם כל תאוריות המדע עקביות זו לזוזהו נלקח מויקיפדיה הגדרות נוספות הקשורות לעקביות:•פירושונים
-
טאוטולוגיה
כל מה שרצית לדעת על טאוטולוגיה:טאוטולוגיה – מאפיין של טקסט ספרותי או רטוריטאוטולוגיה – מונח בתחשיב הפסוקים של תחום הלוגיקה המתמטיתזהו נלקח מויקיפדיה הגדרות נוספות הקשורות לטאוטולוגיה:•פירושונים
-
גוטפריד וילהלם לייבניץ
כל מה שרצית לדעת על גוטפריד וילהלם לייבניץ:גוטפריד וילהלם פון לייבניץ (בגרמנית: Gottfried Wilhelm von Leibniz; 1 ביולי 1646 – 14 בנובמבר 1716 בהנובר) היה מתמטיקאי, פילוסוף ואיש אשכולות גרמני שכתב בעיקר בלטינית ובצרפתית. לייבניץ נולד בלייפציג. כילד מחונן החל ללמוד משפטים באוניברסיטת לייפציג בגיל 15, וקיבל תואר ראשון ב-1663. ב-1666 סירבה האוניברסיטה לתת לו…
-
לויצן אגברטוס יאן בראואר
כל מה שרצית לדעת על לויצן אגברטוס יאן בראואר:לויצן אגברטוס יאן בראואר (בהולנדית: Luitzen Egbertus Jan Brouwer; ידוע בעיקר בשמו המקוצר L E J Brouwer; 27 בפברואר 1881 – 2 בדצמבר 1966) היה מתמטיקאי הולנדי, אבי זרם האינטואיציוניזם בפילוסופיה של המתמטיקה. על שמו קרוי משפט נקודת השבת של בראואר. בגיל 14 סיים את לימודיו בבית…
-
תורת הקבוצות
כל מה שרצית לדעת על תורת הקבוצות:תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה. התורה מאפשרת טיפול מתמטי מדויק במושגי יסוד במתמטיקה כגון יחס, פונקציה, מספר ואינסוף. תורת הקבוצות האקסיומטית, המנוסחת בשפה של הלוגיקה המתמטית, מספקת תשתית לכל תחומי המתמטיקה. כשלעצמה, תורת הקבוצות עוסקת בעיקר בתכונות…
-
הפרדוקס של ראסל
כל מה שרצית לדעת על הפרדוקס של ראסל:הפרדוקס של ראסל הוא פרדוקס שהציע הפילוסוף והלוגיקן ברטראנד ראסל בשנת 1901, במכתב ששלח למייסדה של הלוגיקה המתמטית, גוטלוב פרגה. לפרדוקס הייתה השפעה מכרעת על התפתחותה של תורת הקבוצות ועל התפתחות המתמטיקה בכלל. פרגה, שקיבל את מכתבו של ראסל זמן קצר לפני השלמת הכרך השני של ספרו "יסודות…
-
הבעיה העשירית של הילברט
כל מה שרצית לדעת על הבעיה העשירית של הילברט:הבעיה העשירית היא אחת מעשרים ושלוש הבעיות שהציג דויד הילברט בקונגרס המתמטי של שנת 1900. בעיה זו היא מהבעיות המפורסמות ביותר במתמטיקה של המאה ה-20, ותולדותיה הן אבני דרך בולטות בהתפתחות הלוגיקה המתמטית ומדעי המחשב התאורטיים. הדרישה שהציגה הבעיה: "למצוא אלגוריתם שיקבע האם למשוואה דיופנטית פולינומית נתונה…
-
גוטפריד וילהלם לייבניץ
כל מה שרצית לדעת על גוטפריד וילהלם לייבניץ:גוטפריד וילהלם פון לייבניץ (בגרמנית: Gottfried Wilhelm von Leibniz; 1 ביולי 1646 – 14 בנובמבר 1716 בהנובר) היה מתמטיקאי, פילוסוף ואיש אשכולות גרמני שכתב בעיקר בלטינית ובצרפתית. לייבניץ נולד בלייפציג. כילד מחונן החל ללמוד משפטים באוניברסיטת לייפציג בגיל 15, וקיבל תואר ראשון ב-1663. ב-1666 סירבה האוניברסיטה לתת לו…
-
קונסטרוקטיביזם (פילוסופיה של המתמטיקה)
כל מה שרצית לדעת על קונסטרוקטיביזם (פילוסופיה של המתמטיקה):קונסטרוקטיביזם היא אסכולה בפילוסופיה של המתמטיקה הגורסת שיש צורך למצוא (או "לבנות") אובייקט מתמטי על מנת להוכיח שהוא קיים. זאת בניגוד לתפיסה המודרנית במתמטיקה, שלפיה אפשר להסיק שהעצם קיים, גם מתוך כך שהנחת אי-קיומו מביאה לסתירה. לעתים נעשה שימוש במכונת טיורינג כדי להגדיר מהו "ניתן לבנייה". האסכולה…
-
אוגוסטוס דה מורגן
כל מה שרצית לדעת על אוגוסטוס דה מורגן:אוגוסטוס דה מורגן (27 ביוני 1806 – 18 במרץ 1871) היה מתמטיקאי ולוגיקן בריטי יליד הודו שפיתח את כללי דה מורגן. אוגוסטוס דה מורגן נולד כבן חמישי לאב בצבא האנגלי, בהודו – שם הוצב אביו. זמן קצר אחרי היוולדו איבד את הראייה בעינו הימנית, וכשהיה בן שבעה חודשים…