-
ברטראנד ארתור ויליאם ראסל
כל מה שרצית לדעת על ברטראנד ארתור ויליאם ראסל:ברטראנד ארתור ויליאם ראסל (באנגלית: Bertrand Arthur William Russell; 18 במאי 1872 – 2 בפברואר 1970), פילוסוף והוגה דעות בריטי. תרם תרומות חשובות לתחום הפילוסופיה של הלשון ותורת ההכרה. חיבוריו בתחום פילוסופיה אנליטית השפיעו רבות גם על התפתחות המתמטיקה והלוגיקה. הפרדוקס הקרוי על שמו השפיע רבות על…
-
ג'ון סטיוארט מיל
כל מה שרצית לדעת על ג'ון סטיוארט מיל:ג'ון סטיוארט מיל (באנגלית: John Stuart Mill; 20 במאי 1806 – 8 במאי 1873) היה פילוסוף וכלכלן פוליטי אנגלי, וההוגה הליברלי המשפיע ביותר במאה התשע עשרה. הוא פיתח את תורת התועלתנות בתחום הפילוסופיה של המוסר, עסק בלוגיקה ובפילוסופיה מדינית ותמך בתאוריה האתית שהציג לראשונה מורו וחברו הטוב של…
-
ג'ון בורדלי רולס
כל מה שרצית לדעת על ג'ון בורדלי רולס:ג'ון בורדלי רולס (באנגלית: John Bordley Rawls; 21 בפברואר 1921 – 24 בנובמבר 2002) היה פילוסוף אמריקאי שעסק בהגות בעיקר בתחומי הפילוסופיה של המוסר ומדע המדינה מנקודת ראות ליברלית וקנטיאנית. שימש פרופסור לפילוסופיה בקתדרה על שם ג'יימס בריאנט קונאנט באוניברסיטת הרווארד. הספר המזוהה ביותר עם הגותו של רולס…
-
תומאס הובס
כל מה שרצית לדעת על תומאס הובס:תומאס הובס (אנגלית: Thomas Hobbes) (5 באפריל 1588 – 4 בדצמבר 1679) היה הוגה דעות ופילוסוף פוליטי אנגלי, אשר התפרסם בעיקר בזכות ספרו "לויתן" (Leviathan 1651), העוסק בשלטון ובסמכות. הובס מציג את ההיסטוריה האנושית כהיסטוריה של מאבק סביב הישרדות וצבירת כוח. על-פי הובס, מצבו הטבעי של האדם הוא מלחמת…
-
ריגורוזיות
כל מה שרצית לדעת על ריגורוזיות:ריגורוזיות (מלטינית: Rigor) היא תואר לדבר שמבוצע באופן קפדני, מדוקדק, מדויק ומבוסס לוגית. המונח נמצא בשימוש בעיקר בתחום המתמטיקה. כיום, ריגורוזיות היא הסטנדרט המקובל וההכרחי לעבודה מתמטית על מנת שתהיה קבילה ומבוססת. שימוש זה נפוץ בייחוד להגדרות והוכחות והוא משמש כתואר חיובי: ניסוח ריגורוזי הוא ניסוח קפדני ומדוקדק. הוכחה ריגורוזית…
-
ממשק משתמש גרפי
כל מה שרצית לדעת על ממשק משתמש גרפי:ממשק משתמש גרפי (באנגלית: Graphical User Interface – GUI או Man-Machine Interface – MMI) הוא ממשק משתמש לתוכנה או לאתר אינטרנט, המבוסס על עיצוב גרפי (להבדיל מעיצוב טקסטואלי בלבד) של המסך המוצג למשתמש. בעבר, כאשר מהירות המחשבים הייתה נמוכה, נהגו להשתמש בממשק משתמש טקסטואלי, כזה המבוסס רק על…
-
אל-כִנדי
כל מה שרצית לדעת על אל-כִנדי:אל-כִנדי (בערבית: الكندي ; שמו המלא: أبو يوسف يعقوب بن إسحاق الصبّاح الكندي; תעתיק; אבו יוסף יעקוב בן אסחאק אל-סבאח אל-כנדי) (801–873) היה פילוסוף, מתמטיקאי, מוזיקאי ורופא ערבי מוסלמי. זכה לכינוי "פילוסוף הערבים" ונחשב לאבי הפילוסופיה הערבית והאסלאמית עבור הסינתזה שלו של הפילוסופיה היוונית העתיקה והאימוץ שלה למסגרת אסלאמית. אל-כנדי היה…
-
משפט הפוך
כל מה שרצית לדעת על משפט הפוך:משפט הפוך (למשפט נתון) הוא משפט שבו מוחלפים חלק מן ההנחות והמסקנה בתפקידיהם. דוגמה: משפט: אם מספר טבעי מתחלק ב-2 וב-3, הוא מתחלק גם ב-6. משפט הפוך: אם מספר טבעי מתחלק ב-6, הוא מתחלק גם ב-2 וב-3. לא תמיד המשפט ההפוך מתקיים. לדוגמה נכון המשפט "כל מספר המתחלק ב-4…
-
משפטי האי-שלמות של
כל מה שרצית לדעת על משפטי האי-שלמות של :משפטי האי-שלמות של קורט גדל הם צמד משפטים יסודיים בלוגיקה מתמטית, הענף החוקר את יסודות הלוגיקה בכלים מתמטיים. גדל הראה שכל מערכת אקסיומות אפקטיבית ועשירה מספיק (כזו המכילה חלק מספיק גדול מאקסיומות האריתמטיקה) שהיא עקבית, היא בהכרח לא שלמה, משמע שקיימות טענות שלא ניתנות להכרעה, כלומר שלא…
-
צ'ארלס לוטווידג' דודג'סון
כל מה שרצית לדעת על צ'ארלס לוטווידג' דודג'סון:צ'ארלס לוטווידג' דודג'סון (באנגלית: Charles Lutwidge Dodgson; 27 בינואר 1832 – 14 בינואר 1898), המוכר בשם העט לואיס קרול (Lewis Carroll), היה סופר, מתמטיקאי, לוגיקן, צלם, ממציא ופילוסוף בריטי. יצירותיו הידועות ביותר הן הספרים "הרפתקאות אליס בארץ הפלאות" (Alice's Adventures in Wonderland) והמשכו "מבעד למראה ומה אליס מצאה…