העברתי היום באייקון הרצאה על רובוטים האירוע באייקון תודה לכל מי שהגיע, היה כיף גרסת רשת של המצגת ביבליוגרפיה The Onion – Are We Giving Robots Too Much Power? Portal – This Is Aperture Cats vs Roomba Giant fire breathing baby iDiots Agent Smith Commercial Mac vs PC The Chubbchubbs Sound of Cylons Living Person: […]

הפוסט הקרוב הוא מתמטי וארוך. ניסיתי לקבץ חלקים מסויימים ממנו בתקווה שזה יאפשר לכל אחד להתמקד בנושאים שמעניינים אותו, אשמח לשמוע את דעתכם על הניסיון הזה. אספר על מכונת הימורים שחשבתי עליה, ולדעתי מעלה שאלות מעניינות על האינטואיציה שלנו. למכונה שלי יש את התכונה הבאה: בחצי מהמקרים היא נותנת את התוצאה 2, ברבע מהמקרים היא […]

בעית ארבע הצבעים היא בעיה במתמטיקה האומרת שניתן לצבוע כל מפה בעזרת ארבעה צבעים בלבד כך שלא יהיו שני שטחים שנוגעים זה בזה. אתם מוזמנים להתנסות בצביעת מפה באופן כזה עם האפליקציה הזו: [swfobj src=”http://www.nikoli.com/swf/four_color_problem_001_en.swf”] מפות נוספות הבעיה הזו עניינה אותי במיוחד, בגלל שהיא מקשרת בין עולם המתמטיקה לעולם המחשבים. בשנת 1976 חוקרים מאוניברסיטת אלנוי […]

אני הולך לנסות לתת אינטואיצה למשפט שגדל הוכיח לגבי בסיס המתמטיקה. קודם כל הייתי זקוק לאינטואציה הזו לעצמי, על מנת להבין האם משפטים כמו: “משפט שהוכח באופן מתמטי עשוי יום אחד להיות מופרך” הם נכונים (המשפט הזה למשל, אינו נובע ממשפט גדל) אחרי שנוצרה אצלי מספיק אינטואציה בשביל לענות על השאלה הזו, אני רוצה לשתף […]

הזכרתי כבר בעבר שקיימים סוגים שונים של לוגיקה.לכבוד פורים ערכתי מסיבת חידות וניסיתי לאמץ אליה סוג אחר של לוגיקה שאכנה – לוגיקת העריץ.זו לא המצאה שלי, זו לוגיקה קיימת ומוכרת גם בשלטונות מסויימים, כמו גם בכל חברה בעלת גוף ריבון על האמת (ע”ע דתיים). כשהתחלנו את הערב ניסיתי להבהיר למשתתפים את החוק האחד של לוגיקת […]