עקביות (לוגיקה)
עקביות אומרת שאין סתירה בתוך מערכת חוקים. אם יש סתירה, אפשר להוציא ממנה דברים לא נכונים. אקסיומות הן חוקים בסיסיים. מודל הוא מבנה שמקיים את כל החוקים האלה. אם מוצאים מודל לתורה, זו הוכחה שהיא עקבית. יש דוגמאות מהגאומטריה, שבהן הראו עקביות ביחס לגאומרת המישור האוקלידית. גדל הראה ב-1930 שלכל קבוצה ע...
עקביות (פסיכולוגיה)
עקביות היא שאדם נשאר דומה לאורך זמן. זה אומר שהוא עושה דברים דומים במצבים דומים. לפעמים אנשים משתנים בלמידה. גם החברים משפיעים ויכולים לשנות התנהגות לזמן קצר. ישנה תיאוריה שנקראת תאוריית הייחוס. היא מנסה להסביר אם מעשים מגיעים מהאדם או מהסביבה. אנשים רוצים להיות עקביים עם המחשבות שלהם. כשהמחשבות...
חוסר עקביות
'חוסר עקביות' פירושו כשדברים לא מתאימים. זו טעות בהסבר. דוגמה: פינה בתוכנית 'הקומדי סטור'....
מערכת זמן אמת
מערכת זמן אמת היא מחשב שצריך להגיב בזמן שקבעו. דרישות פונקציונליות פירושן: מה המחשב אמור לעשות. המערכת לא חייבת להיות הכי מהירה, אבל חייבת להגיב בזמן ובעקביות. = סוגי מערכות = יש שלושה סוגים של מערכות כאלה....
דמות גרר
על מנת לראותה, הביטו בתמונה כשלושים שניות. אחר כך הביטו במהירות בחלק הלבן של המסך. דמות גרר היא תעתוע בעיניים. זה קורה אחרי שמסתכלים זמן רב על תמונה ואז מביטים הצידה. העין ממשיכה לראות תמונה קצר אחרי שהמקור נעלם. כאשר מביטים בגירוי חזק מדי, חלק מהקולטנים בעין מתעייפים. קולטני צבע נקראים מדוכים (ה...
אקסיומה
אקסיומה היא רעיון שמקבלים כנכון בלי להוכיח. (הנחה = רעיון שמתחילים ממנו.) במתמטיקה בונים על אקסיומות. הן משמשות כנקודת מוצא להוכחות ולכללים. חשוב שהאקסיומות לא יתנו סתירה אחת לשנייה. יש מקרים שגילו שאפשר לשנות אקסיומה ולקבל גאומטריה אחרת. זה קורה עם אקסיומת המקבילים לגאומטריה. בפיזיקה אקסיומה היא ...
עצמאות (לוגיקה מתמטית)
טענה עצמאית היא טענה שאי אפשר להוכיח ולא אפשר להפריך בעזרת החוקים של מערכת מתמטית. החוקים האלה נקראים אקסיומות. ב־1931 המתמטיקאי קורט גדל הראה שיש מערכות מתמטיות חזקות שבהן יש טענות כאלה. המשמעות היא שהמערכת לא יכולה להיות גם שלמה וגם ללא סתירות. שלמה אומרת שכל טענה מוכחת או נפרכת. ללא סתירות פירוש...