אינדטרמיניזם
אינדטרמיניזם, רעיון שאומר שלא כל דבר נקבע מראש. לפעמים לא ידוע מראש מה יקרה. במקצת תופעות אין סיבה ברורה. במדע, במיוחד במכניקת הקוונטים (חלק של הפיזיקה של חלקיקים קטנים), רבים חושבים שהתוצאות הן עניין של סיכויים. העיקרון של הייזנברג (חוק שקובע שאי אפשר למדוד הכל בדיוק רב) מחזק את הרעיון הזה. יש ס...
דטרמיניזם
דטרמיניזם או כורחנות אומר שהכל כבר נקבע על ידי דברים קודמים. כלומר, לכל דבר יש סיבה. אריסטו אמר שכל משפט נכון או לא נכון. מכאן שאם משפט על העתיד כבר נכון, העתיד נראה קבוע. הרעיון המרכזי הוא שסיבות עוקבות סיבות. אם נעקוב אחורה, אפשר למצוא "מניע ראשון", הסיבה הראשונה. אנשים ראו בו לפעמים את אלוהים ...
אוטומט סופי לא דטרמיניסטי
יש מכונה שקוראים לה אוטומט. אוטומט זה יכול לבחור כמה דרכים שונות להגיב על אות קלט. לפעמים הוא ידע לאן ללכת, ולפעמים לא, ואז הוא נעצר והמילה לא מתקבלת. '''אוטומט סופי לא דטרמיניסטי''' זה אוטומט שמותר לו לבחור בין כמה מעברים. זה הוצג על ידי רבין וסקוט ב-1959. האוטומט שונה מהרגיל בשלוש דרכים עיקריות...
אלגוריתם דטרמיניסטי
אלגוריתם דטרמיניסטי הוא דרך קבועה וברורה לפתור בעיה. אלגוריתם (רשימת צעדים) שמקבל אותו קלט תמיד יעשה את אותם צעדים וייתן את אותו פלט. דוגמה ידועה היא החילוק הארוך. חושבים על מכונה עם מצבים. מצב אומר מה המכונה עושה עכשיו. במכונה דטרמיניסטית המצב הנוכחי והקלט קובעים בדיוק מה יהיה המצב הבא. תוכנית מח...
אוטומט מחסנית
אוטומט מחסנית הוא מכונה רעיונית במחשבים. מחסנית זה ערימה של סימנים. המכונה קוראת אות אחרי אות מהמילה. המחסנית שומרת סימנים כך שהאחרון שנכנס יוצא ראשון. אפשר לראות רק את הסימן העליון במחסנית. המכונה יכולה לשנות את מצבה ולשנות את המחסנית. היא יכולה להוציא סימן מהמחסנית ולהכניס סימנים אחרים במקומו. ...
מרחצאות דיוקלטיאנוס
מרחצאות דיוקלטיאנוס היו בית רחצה גדול ברומא. בית רחצה גדול זה נבנה ב-298 וב-306 נחנך על ידי קיסר בשם דיוקלטיאנוס. זה היה אחד הבתים הכי גדולים ורשומים ברומא. המרחצאות יכלו לקלוט למעלה מ-3,000 בני אדם. שטח הקומפלקס היה גדול מאוד. הוא עמד בצפון‑מזרח לגבעת וימינאליס ושירת אנשים משלוש גבעות בסביבה. הכנ...
משפט סביץ'
משפט סביץ' הוכח ב־1970 על ידי וולטר סביץ'. המשפט מדבר על כמה זיכרון צריך מחשב כדי לפתור בעיות. מכונת טיורינג היא דרך לחשוב על מחשב פשוט. אם אפשר לפתור בעיה כשהמחשב "מנחש" (זה נקרא אי-דטרמיניזם), אז אפשר גם לפתור אותה בלי לנחש. אבל המחשב השני צריך יותר זיכרון. הכמות הנוספת היא כמו לקחת את הזיכרון ול...
משחק דיפרנציאלי
משחק דיפרנציאלי הוא משחק שבו מה ששחקנים עושים משנה דבר בזמן. המערכת מתפתחת לפי חוקי שינוי. אלה נקראים משוואות דיפרנציאליות. משוואה זו אומרת איך משהו משתנה עם הזמן. דוגמה קלה: שני ילדים שולטים בנקודה על מסך. אחד מושך למעלה ולמטה. השני מושך שמאלה וימינה. על המסך יש אזורים שמקנים נקודות לכל שחקן. עוד...
חופש
חופש הוא האפשרות לבחור ולעשות בלי כפייה. זה קשור לדרך שבה חיים ביחד. לפני שנים רבות אנשים חיו בקבוצות קטנות. בחלק מהחברות היו חוקים ומנהגים שהגבילו את החופש. אחרי שהאנשים הקימו ערים וממלכות, רוב החופש היה של המלכים והעשירים. רבים היו עבדים, ולא היו להם זכויות. עם הזמן היו תנועות ששינו זאת, כמו אלה ...
אלגוריתם
אלגוריתם הוא סדרת צעדים ברורה לפתרון בעיה. זו כמו מתכון לעוגה. המתכון צריך לומר בדיוק מה לעשות. אם הוא לא ברור, ייתכן שיצטרכו לחשוב או לשמש שיפורים. אלגוריתם חייב לעצור בסוף ולתת תשובה נכונה. יש רעיון תאורטי בשם "מכונת טיורינג". זוהי מכונה דמיונית שמדגימה מה אפשר לחשב. יש בעיות שאי אפשר לפתור בכלל ...
בחירה חופשית
בחירה חופשית פירושה שאדם יכול להחליט מה לעשות בעצמו. זה כאילו יש לו אפשרות לבחור. חלק מהאנשים חושבים אחרת. הם אומרים שהכול כבר קבוע מראש. זה נקרא דטרמיניזם. דטרמיניזם אומר שהכל קרה בגלל סיבות קודמות. אם הכול כבר קבוע, קשה לתת אנשים עונש או פרס. אבל אם הכול אקראי, גם קשה להאשים מישהו. חוקרים חקרו ...
אוטומט סופי
מתג של נורה הוא דוגמה פשוטה לאוטומט סופי. אוטומט סופי הוא מכונה פשוטה עם מספר מצבים קטן. היא קוראת אותיות במילה ומחליטה אם לקבל אותה. אוטומט דטרמיניסטי תמיד יודע מצב יחיד להמשיך אליו אחרי קריאת אות. זה כמו דרך ברורה ללכת בה. אוטומט לא־דטרמיניסטי יכול לבחור בין כמה דרכים. הוא גם יכול לעבור מקום ב...
נאו-אבולוציוניזם
נאו-אבולוציוניזם אומר שחברות ותרבויות משתנות עם הזמן. "אבולוציוניזם" פירושו רעיון שהדברים מתפתחים וגדלים. הגישה הישנה חשבה שכל חברות עוברות את אותם שלבים. הנאו‑אבולוציוניזם אומר שזה לא תמיד כך. חברות יכולות להתפתח בדרכים שונות. לזלי וייט אמר שטכנולוגיה פירושה כלים ושיטות. הוא חשב שככל שחברה מש...
משפט מייהיל-נרוד
משפט מייהיל-נרוד מסביר איך להבין שפות רגולריות בעזרת חלוקה של מילים לקבוצות. השם מגיע מאניל נרוד וג'ון מייהיל. נגדיר יחס שקילות. יחס שקילות הוא דרך לחלק מילים לקבוצות לפי התנהגותן. שתי מילים x ו-y שייכות לאותה קבוצה אם לכל מילה z, ההוספה של z אל x ואל y מחזירה תוצאה שתקבע אם הן בשפה או לא. מילה שמפ...
מכונת טיורינג הסתברותית
מכונת טיורינג הסתברותית היא רעיון של מחשב דמיוני. מחשב זה פועל עם קצת מזל. "הסתברות" כאן פירושה כמה סיכוי שמשהו יקרה. יש כמה דרכים לתאר את המכונה הזאת. כולן דומות למודל המכונה הרגיל, אבל מוסיפים אלמנט של מזל. במחשב רגיל קלט מקובל או נדחה ברור. במכונה ההסתברותית הדברים אינם ברורים לגמרי. אפשר לקבל ...
פיזיקה קלאסית
פיזיקה קלאסית היא הדרך הישנה לתאר איך דברים גדולים עובדים. היא לא כוללת את תורת הקוונטים. תורת הקוונטים היא תיאוריה על חלקיקים מאוד קטנים. היא התחילה עם ניוטון, שמצא חוקי תנועה. מאוחר יותר נוספו משוואות מקסוול על אור וחשמל. גם חוקי החום, שנקראים תרמודינמיקה, חלק מהפיזיקה הקלאסית. הכללים האלו עובד...
מונאדה (לייבניץ)
מוֹנָאדָה (מוֹנָס, יחידה) היא רעיון של הפילוסוף גוטפריד וילהלם לייבניץ. מונאדה היא חלק קטן שלא חומרי. היא לא ניתנת לחלוקה. דקארט, פילוסוף קודם, אמר שחומר הוא משהו שמתפשט במרחב. לייבניץ שאל: אם מחלקים חומר בלי סוף, נותרות רק נקודות בלי נפח. לכן הוא אמר שהיחידות הראשוניות אינן חומריות. הוא קרא להן מו...
ברוך שפינוזה
ברוך שפינוזה (1632, 1677) היה פילוסוף יהודי שחי בהולנד. פילוסוף = אדם שחוקר רעיונות גדולים על החיים והעולם. שפינוזה נולד למשפחה יהודית. כשהיה צעיר הוא נידוי מהקהילה בגלל רעיונותיו. הוא עבד בליטוש עדשות למשקפיים כדי להתפרנס. הוא מת בגיל 44 ממחלה. שפינוזה חשב שהטבע והאל הם אותו דבר. זה נקרא פנתאיז...
קורט וונגוט
קורט וונגוט (1922, 2007) היה סופר אמריקאי שכתב ספרים מפורסמים. כמה כותרים חשובים שלו הם "בית מטבחיים 5" ו"עריסת חתול". וונגוט נולד באינדיאנפוליס. כשהיה צעיר למד באוניברסיטה אך עזב כדי לשרת בצבא במלחמת העולם השנייה. אמו התאבדה כשהיה צעיר וזה הכאיב לו מאוד. במלחמה הוא נתפס בשבי. בדרזדן הופצצה העיר...
למת הניפוח לשפות רגולריות
למת הניפוח היא דרך לבדוק אם שפה מתנהגת כמו מחשב קטן. היא הוצעה על ידי בר-הלל, פרלס ושמיר. אם מכונה קטנה יכולה לזהות שפה, אז במילים ארוכות יש קטע שחוזר. אפשר להוציא את הקטע הזה או לחזור עליו, והמילה תישאר בשפה. אם השפה רגולרית, יש מספר n כזה: כל מילה ארוכה מ-n מתחלקת ל-u, v, w כך ש- 1. החלק u ו-v...
שפה רגולרית
שפה רגולרית היא קבוצת מילים שאפשר לבדוק בעזרת מכונה פשוטה. מכונה פשוטה יש לה מצבים (תיבות), מצב התחלה, ומצבים שמקבלים. המכונה קוראת אותיות אחת אחת ועוברת בין התיבות לפי חוקים. אם בסוף היא בעמדת קבלה, המילה טובה. המכונה מתחילה בתיבה מיוחדת. היא קוראת את המילה מהתחלה לסוף. כל אות גורמת לה להחליף תיב...
היפותזת ספיר-וורף
השערת ספיר־וורף אומרת ששפה יכולה לשנות איך אנשים חושבים. השם נלקח משני בלשנים: ספיר ו־וורף. יש שתי גרסאות: אחת חזקה שאומרת השפה קובעת את המחשבה. והשנייה חלשה שאומרת שהשפה משפיעה על המחשבה. מדענים וחוקרים חשבו מזה זמן שבני אדם תופסים את העולם בעזרת מילים ורעיונות. פרנץ בועז חקר שפות ילידיות והראה שה...
חסדאי קרשקש
רבי חסדאי קרשקש נולד בערך ב-1340 בברצלונה. הוא היה רב ופילוסוף. פילוסוף = מישהו שחושב על רעיונות גדולים. הוא למד אצל רב חשוב שנקרא הר"ן. בהמשך חי בסרגוסה והיה רבה של הקהילה שם. ב-1391 היו פרעות קשות נגד יהודים. בנו של רבי חסדאי נהרג אז. אחרי זה עזר לשקם את השכונות ולהרגיע את הקהילה. הוא גם עסק במס...
הפרדוקס של ניוקום
הפרדוקס של ניוקום הוא משחק מחשבה בין שני אנשים. אחד מהם הוא "נביא", אדם שמנחש את העתיד. השני הוא הבוחר. המנביא שם כסף בשתי קופסאות. הקופסה הפתוחה תמיד מכילה 1,000 דולר. הקופסה הסגורה יכולה להכיל מיליון דולר או כלום. הבוחר לא יודע מה יש בקופסה הסגורה. הוא צריך להחליט: לקחת גם את הקופסה הפתוחה וגם א...
רובים, חיידקים ופלדה
רובים, חיידקים ופלדה הוא ספר שפורסם ב-1997 על ידי ג'ארד דיימונד. הוא חקר למה חלק מהעמים פתחו טכנולוגיה מוקדם יותר. דיימונד אומר שהמיקום והטבע של מקום משפיעים על האנשים שחיים בו. ביות זה לגרום לחיות וצמחים לחיות עם אנשים ולהיות מועילים. במקומות כמו אירואסיה היו צמחים חשובים לאכילה. גם היו שם חיות ג...
P (מחלקת סיבוכיות)
P היא קבוצה של בעיות שאפשר לפתור בצורה "מהירה" יחסית. "מהירה" כאן פירושו זמן פולינומי. זמן פולינומי אומר שהזמן גדל בצורה לא מוגזמת כשהקלט גדל. דוגמאות פשוטות ב-P הן חישוב המחלק המשותף הגדול של שני מספרים (GCD) ועץ פורש מינימלי. גם בדיקת האם מספר הוא ראשוני נכנסה ל-P בשנת 2002. בחירת זמן פולינומי ש...
פרדוקס הסבא
זה רעיון על מסע בזמן. אתה חוזר אחורה והורג את סבך לפני שהוא פוגש את סבתך. אז אחד מההורים שלך לא נולד. אם כך, איך יכולת לחזור ולהרוג את הסבך? הרעיון הופיע בסיפורים ישנים. הוא חוזר בספרים ובסרטים. דוגמה מפורסמת היא "בחזרה לעתיד". אחת התשובות אומרת שיש עוד עולמות. "עולמות מקבילים" זה כשיש עולמות א...