מדע הוכחות לוגיות
האם תוכל להבהיר את טענתך לגבי הוכחות לוגיות? כלומר שאין כזה דבר הוכחה לוגית ושבכל הוכחה לוגית יש הנחת המבוקש. הרי אם מבקשים להוכיח שמשולש הוא ישר זווית, איפה יש הנחת המבוקש? במקרה הזה למשל הכוונה היא לאקסיומות של הגיאומטריה האוקלידית?
ועוד דבר, האם המימרות "נטל ההוכחה הוא תמיד על מי שטוען לחיוב" ו"מבחינת המדע הכל לא נכון עד שיוכח אחרת" הן נכונות?
תודה
לגלות עוד מהאתר הרב מיכאל אברהם
Subscribe to get the latest posts sent to your email.
1 Answers
ראה מאמרי כאן:
אברהם אבינו וכובעו: בשבח הנחת המבוקשאני לא מכיר את המימרות שהבאת וגם לא מבין אותן.
לגלות עוד מהאתר הרב מיכאל אברהם
Subscribe to get the latest posts sent to your email.
תודה
ואגב, באילו מספריך יש את הניסוח והפירוט הכי שיטתיים וארוכים לכל הנושא הזה של לוגיקה והוכחות?
אני חושב ששתי עגלות ואמת ולא יציב.
השאר תגובה
Please login or Register to submit your answer