לוגיקה וגדל
ערב טוב!
הרב תמיד חוזר שהבעיה בסתירות לוגיות היא שהחשיבה האנושית לא יכולה להחזיק סתירה כזו והוי נונסנס.
אבל לכאורה לפי משפטי אי השלמות של גדל לא יוצא שעל כורחנו אנו מחזיקים בתפיסת עולם הנסתרת לוגית? כלומר. לפי גדל הרי לא ניתן להוכיח את עצם האקסימות מתוך עצמם, וא"כ האם לא נגזר מכך שהאקסיומות שלנו מנביעות סתירה?
משפטי אי השלימות לא מביאים אותנו להחזיק בסתירה, אחרת המשפטים הללו היו הוכחה לכך שאין מתמטיקה. הם מדברים על יכיחות ולא על אמיתיות.
"אי אפשר להוכיח את האקסיומות מתוך עצמן", אני אפילו לא מבין מה זה אומר, ובטח שזה לא קשור למשפטי גדל.
האקסיומות לא מנביעות שום סתירה, אחרת אין מתמטיקה.
אבל הם אומרות שלא ניתן להחזיק בתפיסת עולם שלמה קוהרנטית, האם לא נגזר מכך שאנו תופסים את העולם כלא שלם וזה עצמו סתירה?
ניתן להחזיק בתפיסה קוהרנטית (נטולת סתירות). נכון שהיא כנראה לא שלימה. עולם לא שלם או תפיסה לא שלימה אינם סתירה.
השאר תגובה
Please login or Register to submit your answer