בתשובה לאח של סמיילי, 19/10/05 12:01
קנטור והנחת המבוקש 339001
לא קראתי את הפרינקיפיה אבל למיטב ידיעתי היא מוקדשת, רובה ככלוה לפיתוח לוגיקה (דומה אך לא בדיוק מה שקוראים היום לוגיקה מסדר ראשון). המטרה היא להראות שאת תורת הקבוצות, האריתמטיקה ובעצם כל המתמטיקה המוכרת אפשר להצרין ולהוכיח בעזרתה. סביר להניח שרק מיעוט קטן מ-‏361 העמודים הוקדש להוכחת 1+1=2 עצמה.
קנטור והנחת המבוקש 339010
יש לי ספר שמופיעה בו ההוכחה. היא תופסת פחות מעמוד.

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

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