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