בתשובה לירדן ניר, 02/01/02 22:52
הבעייה היא שאפשר להמשיך עוד צעד 50940
ראשית, הלוגיקה עומדת בפני עצמה ללא כל קשר לעולם ולכן שום ניסוי פיזיקאלי לא יכול לסתור את חוק הסתירה אם נקבל את ההגדרות שעומדות בבסיס הלוגיקה.
ההבדל העקרוני בין הקוונטים ללוגיקה הוא שהם יכולים להיות בו זמנית בכמה מצבים, אם ניקח מערכת דו מצבית (ספין אלקטרון למשל) וננסה לבנות לה מודל לוגי בולאני, לא נתליח מכיוון שפונקצית גל של אלקטרון יכולה להכיל שני מצבים בו זמנית מה ששקול לטענה שהיא גם אמת וגם שקר. הלוגיקה הקלאסית, בהינתן מודל (כלומר ערכי אמת לכל שמות העצם בטענה. תשייך ערך אמת או שקר (או חסר משמעות במקרה של פרדוקסים) לכל טענה.

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

אני לא אתפלא לגלות שחלקים נכבדים מתחום החישוב הקוונטי (עוד קורס שאני לא מתכוון לקחת אלא אם לא תהיה לי שום ברירה אחרת) בונה לוגיקה מהסוג הזה ומשתמש בה כדי לבצע חישובים.
הבעייה היא שאפשר להמשיך עוד צעד 50956
ברוח הסכמתו של גלעד איתי, אני מסכים איתך. מה שנשאר פתוח, ורלוונטי לויכוח שלי עם שטייניץ/גוד, הוא האם תורת הקוונטים וממצאיה הרלוונטיים מתבססים, אם בודקים מספיק עמוק, על הלוגיקה הבוליאנית. אם יש לך במקרה דעה בעניין, אשמח לשמוע אותה.
הבעייה היא שאפשר להמשיך עוד צעד 51539
במהלך פיתוח תורת הקוונטים השתמשו לבטח בלוגיקה מתמטית, החל מפורמליזם של הוכחות מתמטיות (אם ואם ואם אז מ.ש.ל) ויתכן שניתן למצוא את הלוגיקה בבסיסן של תורות מתמטיות כמו החשבון האינפי' או תורת מרחבי הילברט על כל מוראותיה.
בכל אופן, לא נעשה שימוש בלוגיקה כמודל ישיר לתורת הקוונטים (עד כמה שידוע לי) ולכן ההתנגשות המדוברת לא קיימת.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים