: מה לגבי ההוכחה של גדל לקיומו של אלוהים?

? מה לגבי ההוכחה של גדל לקיומו של אלוהים :CPT

JYB: להוכחות לקיומו של אלוהים יש סיפור ארוך,  שמתחיל ב  Anselm of Canterbury במאה ה-11. ההוכחה האונטולוגית של גדל מאוד מעניינת. למעשה ניתן להסיק ממנו הוכחות לעקביות של תורת הקבוצות והחשבון, הסותרות איכשהו את משפט אי-השלמות השני של גדל. זה הראה פיירג'ורג'יו אודיפרדדי, שהציג הרצאה על כך ב

קונגרס העולמי השלישי ללוגיקה ודת

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

תוצאה זו אולי נראת מוזרה, אך תוצאת חוסר השלמות אינה מוחלטת. זמן קצר לאחר ההוכחה של גדל, גרהרד גנטזן הציג הוכחה יחסית לעקביות החשבון. וג'נצן היה אחד מהלוגיקאים המועדפים על הגדל. הוא למד את העבודות שלו בפרטי פרטים. על סמך זה, הוכיח גדל את התוצאה החשובה האחרונה שלו בהיגיון מתמטי, הוכחת עקביות של חשבון, הידועה בשם  “Dialectica proof” , מאז שפורסמה ב-1958 בגיליון מיוחד של כתב העת השוויצרי Dialectica לכבוד יום ההולדת ה-70 של הלוגיקאי השוויצרי פול ברנייס

 (שותף ראשי של  דיוויד הילברט בתחום הלוגיקה).

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