Archive for March, 2009

תודה למק

Friday, March 13th, 2009

היום המחשב שלי קרס… לחצתי לחיצה ארוכה על כפתור הכיבוי, בגלל שלא הצלחתי להוציא אותו ממצב שינה. ואז נזכרתי שיש לי מיליון דברים פתוחים בתוכנות שונות ולא כולם שמורים.
אז מסתבר שכל(!) התוכנות שאני משתמש בהם, שומרות הכל באופן אוטומטי, לא איבדתי כלום, אפילו textedit שהיא תוכנה כמו notepad
אז אני שמח 🙂

למרות שאני עדיין סקרן למה לא הצלחתי להעיר את המחשב, זו פעם ראשונה שנתקלתי בזה וראיתי היום עוד מישהו שנתקל בזה במק שלו… אולי זה עניין של עדכון.

נ.ב – כשיצאתי לטיול אמרתי לעצמי שההחלטה לקחת איתי מחשב, לוקחת בחשבון את האפשרות הסבירה שאני לא הולך לחזור עם המחשב. אני עדיין לוקח את זה בחשבון, אבל אני יודע שזה יהיה קשה להתמודד עם זה במידה וזה יקרה.

(מישהי כבר איבדה את המצלמה וראיתי כמה זה קשה)

some more Purim pictures

Friday, March 13th, 2009

זלדה הסינית מחופשת למשה

2589_1119367027365_1322707680_351644_6185370_n.jpg

ג'סיקה, שותפתי הנוכחית וחברה טובה

2589_1119367067366_1322707680_351645_158054_n.jpg

עוד אנשים:

2589_1119367107367_1322707680_351646_2946125_n.jpg

2589_1119367147368_1322707680_351647_441757_n.jpg

2589_1119367187369_1322707680_351648_4251273_n.jpg

2589_1119367267371_1322707680_351650_674753_n.jpg

2589_1119367307372_1322707680_351651_2007355_n.jpg

2589_1119367347373_1322707680_351652_3588693_n.jpg

2589_1119367387374_1322707680_351653_6958091_n.jpg

2589_1119367427375_1322707680_351654_1433806_n.jpg

2589_1119367467376_1322707680_351655_6008327_n.jpg

2589_1119367507377_1322707680_351656_7854887_n.jpg

גנבתי את התמונות מפייסבוק של מישהו

אלוהים אדירים!

Wednesday, March 11th, 2009

תמונות מוצלחות יותר והסברים יגיעו בהמשך, אבל הייתי חייב לחלוק איתכם את פיסת המידע הזו – עברתי היום חוויה רוחנית מדהימה!

S6300771.JPG

מה שאתם רואים לפניכם היא מפלצת הספגטי המעופפת בבית כנסת משיחי!
(ולצידי האב המארח שלי, שהוא במקרה נוצרי מסור)

אני בהחלט חושב שזו היתה מסיבת הפורים המוצלחת ביותר שלי

בתקווה פרטים נוספים בהמשך 🙂

לוגיקה מותנית מסקנה

Wednesday, March 4th, 2009
FF_70_brain1_f.jpg

כשאנחנו משתמשים בביטוי "לוגיקה" לרוב אנו מתכוונים ל"לוגיקה מתמטית", לוגיקה אשר לפיה אם הבית שלי כחול, וכל הבתים הכחולים יקרים אז הבית שלי יקר.
לוגיקה מתמטית מאפשרת להרכיב משפטים שמכילים הנחות ומסקנה, ואם ההנחות נכונות, המסקנה נכונה.
זו לוגיקה שימושית בחיי היום יום ובמדעים השונים.

מעטים יודעים כי ישנם סוגים נוספים של לוגיקה, דוגמא מוכרת היא לוגיקת האי-גיון של לואיס קרול שניתן לראות בספרו: אליס בארץ הפלאות.

לוגיקה נוספת שנמצאת בשימוש נרחב כמו הלוגיקה המתמטית, ועליה ארחיב את הדיבור הוא: לוגיקה מותנית מסקנה (למ"מ).
לעומת לוגיקה מתמטית בלמ"מ מתחילים מהמסקנה ועליה מבססים טענות. המסקנה היא אמת ולכן כל הטענות הצצות ממנה אף הן אמיתות.
הלמ"מ היא פחות אינטואיטיבית ומוכרת, אבל דוגמא עשויה להקל את ההבנה. אני אקח לדוגמא את תת-התורה שנקראת לוגיקת בוקר, והיא יישום ספציפי של למ"מ שבו המסקנה הסופית היא:
זה בסדר לישון עכשיו יותר זמן ממה שהתכוונתי בתכנון המקורי

התוצאה הזו תמיד תהיה אמת כאשר משתמשים בלוגיקת בוקר.
אחרי שיש לנו את המסקנה, אנחנו מחפשים את הטענות:
חמש דקות לא משנות
אני לא רעב לארוחת בוקר
אני אתארגן מהר
שינה יותר חשובה מגילוח
כבר יותר מדי זמן שלא לקחתי יום חופש

כאשר משתמשים בלוגיקת בוקר, כל אחת מהטענות שמובילה למסקנה שאפשר לישון עוד היא אמת משום שהמסקנה היא אמת.

למעשה ישנו אוסף של לוגיקות שנקרא לוגיקות סטייה מהתכנון המקורי, ולוגיקת בוקר שייכת אליו יחד עם לוגיקת לימודים שמאפשרת דחיית מטלות ולוגיקת דיאטה שמאפשרת חריגה חד פעמית מהדיאטה.

שימושים נוספים של למ"מ שאינם לצורך סטייה מהתכנון המקורי הם לוגיקת המצפון הנקי, אשר מאפשרת לשמור על מצפון נקי לאחר ביצוע מעשים נתונים במחלוקת כמו גניבה, שקר, רצח וכדומה.

לוגיקת אמונה, אלוהים קיים זו המסקנה והיא אמת (ושאר מסקנות מבוססות אמונה), ולכן טענות כמו אלוהים ברא את האדם הן אמיתות.

סיכום:
חשוב להיות מודע לקיומם של סוגים שונים של לוגיקה (בפוסט זה תארתי שלוש בקצרה) על מנת לדעת מתי נכון להשתמש באיזו, ועל מנת להבין ביתר קלות שכאשר נמצאים בעימות מול אדם אשר טוען שיש לו הוכחה, או אשר טוען שהוא מחזיק באמת והאמת שלו שונה משלכם, אין זה אומר שהוא משקר, ייתכן ששניכם משתמשים במערכות לוגיות שונות!