רציפות (פילוסופיה)

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

==מושג הרציפות במתמטיקה==

===העת העתיקה===

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

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

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

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

===העת החדשה===
בסוף המאה ה-17 וראשית המאה ה-18 המשיכו לייבניץ וניוטון את דרכו של ארכימדס ופיתחו חשבון המסוגל לחשב, בין היתר, את שטחן של צורות עקומות: חשבון אינפיניטסימלי. גם כאן נדרשה חלוקה אינסופית. הפעם הציב החישוב גם קשיים לוגיים. במהלך החישוב הופיע מושג האינפיניטסימל - "גודל קטן לאין סוף", שדרך ההתייחסות אליו הייתה כפולה: בראשית החישוב התייחסו אליו כגדול מאפס, ובהמשך החישוב התייחסו אליו כשווה ממש לאפס.
 
בתקופה זו עדיין היה קשר חזק יחסית בין המתמטיקה לפילוסופיה. ניוטון, ובעיקר לייבניץ, התייחסו בכתביהם למושג הרציפות האינטואיטיבי. לייבניץ ניסה להסביר מדוע לדעתו קיימת רציפות בטבע, כפי שהיא קיימת במתמטיקה. הפילוסוף ג'ורג' ברקלי ביקר את שיטותיהם של ניוטון ולייבניץ:
 
 
הקושי הלוגי שהתעורר בחשבון האינפיניטסימלי גרם למתמטיקאים לעבור מעיסוק בגאומטריה לעיסוק בהגדרות לוגיות ובתורת המספרים.<br /> 
הפתרון העיקרי שניתן בתחום החשבון האינפיניטסימלי היה החלפת המושג "גודל קטן עד אין סוף" במושג גבול. מושג הגבול מביע את הרעיון המופיע במושג "גודל קטן עד אין סוף", אולם ניסוחו המתמטי אינו יוצר קשיים לוגיים, מפני שהגבול שם נקודת גבול לאינסוף המתכנס ובכך שם סוג של סוף (גבול), או נקודת עצירה לאינסוף, או במילים אחרות, הופך את הרציפות לדבר המורכב מאובייקטים בדידים קטנים כרצוננו אך סופיים (אפסילון - epsilon).

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

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

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

==האם הטבע רציף?==

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

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

במהלך המאה ה-19 הועלו תאוריות שונות בנוגע למבנה האטום, ובתחילת המאה ה-20 החל להתברר מבנהו. מצד אחד נתגלה כי האטום מכיל חלקיקים יסודיים יותר כמו אלקטרונים, פרוטונים וקווארקים. מצד שני, התצפית בחלקיקים אלו נתגלתה כבעייתית גם בגלל גודלם וגם בגלל התנהגותם. אם בסוף המאה ה-19 סברו הפיזיקאים שיוכלו לתאר את תנועת החלקיקים כשם שמתארים תנועת כדורי ביליארד, הרי שבמהלך המאה ה-20 התברר כי זוהי משימה בלתי אפשרית. 

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

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

===עמדותיהם של פילוסופים בנוגע לרציפות בטבע===
במהלך העת החדשה העסיקה סוגיית הרציפות בטבע כמה פילוסופים בולטים. סעיף זה דן בפילוסופים שפעלו לפני הפיזיקה הקוונטית.<br /> 
בהכללה גסה, ניתן לומר שפילוסופים המאמינים שיש ביכולתנו לתפוס את הרציפות בשכל, מאמינים גם כי היא קיימת בטבע. גישה זו שייכת לאסכולה הנקראת ריאליזם.

דקארט טען כי הטבע רציף מהסיבות הבאות:

לייבניץ טען אף הוא כי הטבע רציף:

לעומתם, ניוטון היה זהיר יותר:

==האם אנו מסוגלים לתפוס רציפות?==

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

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

גם דייוויד יום, כאמפיריציסט, טען כי אין ביכולתנו לתפוס רציפות:

לעומתם, לייבניץ טוען שאין צורך בתפיסה חושית על מנת לתפוס רציפות:

==לקריאה נוספת==

* .
* .
* בנו ארבל, קיצור תולדות המתמטיקה, מופ"ת, 2005.
* דייוויד יום: מסכת טבע האדם, תרגום: יוסף אור, מאגנס, ירושלים, 1954
* ג'ון לוק: מסה על שכל האדם, תרגום: יוסף אור, מאגנס, ירושלים, תשל"ב
* גוטפריד וילהלם לייבניץ: השיטה החדשה, תרגום: יוסף אור, ירושלים, תרצ"א
* גוטפריד וילהלם לייבניץ, מסות חדשות על שכל האדם, תרגום: יוסף אור, ירושלים, תשכ"ז
* שמואל סמבורסקי, המחשבה הפיזיקאלית בהתהוותה, מוסד ביאליק, ירושלים, 1972
*תולדות החשבון הדיפרנציאלי והאינטגרלי, האוניברסיטה הפתוחה, 1978

קטגוריה:מטאפיזיקה
קטגוריה:רציפות