בתשובה לרון בן-יעקב, 07/08/03 5:13
ראסל הזכיר לי את גדל 162133
ואני רוצה להציע:

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

ולחילופין: כל שפה פורמלית אינה שלמה או אינה עיקבית.

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

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

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