טרחנים כפייתיים במתמטיקה

בתשובה להאייל הצעיר, 02/09/05 19:07

שכחתי את ההערה

327220

האייל הצעיר • בתשובה להאייל הצעיר

יום ו', 2/9/2005, 19:16

‏¹ הפונקציה מחזירה "צעד היקש תקף" רק בשני מקרים:

(1) הסדרה היא באורך אחת, והטענה היא אקסיומה.
(2) הסדרה היא באורך גדול מאחת, וקיים צעד היקש שבאמצעותו ניתן להסיק את הטענה האחרונה מהטענות הקודמות.

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

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

המאמר המלא

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