תנו לגדול בשקט

טענות

האייל (מתמטיקה!) האלמוני • בתשובה להאייל האלמוני

יום ו', 15/7/2005, 18:42

אם ניתן להוכיח טענה פורמלית, אז גם מכונה יכולה להוכיח אותה, ולהפך. טענות 1,2,4 שקולות (וטענה 3, כמובן, הפוכה להן).

טענות

האייל האלמוני • בתשובה להאייל (מתמטיקה!) האלמוני

יום ו', 15/7/2005, 18:44

לא התייחסתי כלל לטענה 2.
וטענה 4 הפוכה מטענה 1.

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות