שיחה:פורמליזם (מתמטיקה)

    מתוך ויקיפדיה, האנציקלופדיה החופשית

    פורמליזם (formalism) היא אסכולה שלמה בפילוסופיה של המתמטיקה, שלדעתה, בפישוט מה, המתמטיקה היא מערכת אקסיומות וכללי היסק, ואין קשר ישיר בינה לבין המציאות (בווריאציה פחות קיצונית, יש קשר אם האקסיומות נכונות, אך זו כבר שאלה פיזיקלית ולא מתמטית). הצרנה (formalization) היא פעולה מתמטית-לוגית ספציפית הקשורה לדעות הפורמליסטיות, שכן הם מאמינים שהמתמטיקה מבוססת על צורה ולא על תוכן, אך לא ברור לי למה השיטה עצמה כלולה בערך פורמליזם. מושג המערכת הפורמלית (formal system) המקושר לפה בבינוויקי מוכר לי פחות, אך על פי הערך וידע בסיסי אוכל לומר שמדובר בשילוב של שפה פורמלית עם אקסיומות וכללי היסק, או במילים אחרות- מערכת מתמטית ריגורזית כפי שהפורמליסטים מדברים עליה. בהזדמנות, אם לא יקפוץ אדם אחר על המציאה, אנסה לתקן קצת את הבלאגן, אך אשמח אם מישהו אחר יעשה זאת במקומי (במיוחד כשמדובר פה בנושא הגולש לתחומי הלוגיקה והפורמליות, שבהם אני לא יודע או מתעניין כמו בפילוסופיה של המתמטיקה). נוי - שיחה 14:21, 8 במרץ 2009 (IST)תגובה[תגובה]

    האמנם?[עריכת קוד מקור]

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

    אבקש לראות ביסוס לטענה המשונה הזו. איני חושב שהילברט או אף פורמליסט אחר באמת סבר שכדי לפתור בעיה צריך לתרגם אותה לסמלים ואז לשחק איתם לפי כללי גזירה - מן הסתם תהליך הפתרון עצמו כולל מחשבה ואינטואיציה; זה רק הביסוס שלאחר מעשה שדורש הצרנה (כמובן, השאיפה העליונה של הילברט הייתה למצוא אלגוריתם מכניסטי שיחסוך מהמתמטיקאי את העבודה - בפרט, אלגוריתם שכזה היה עשוי להיות, אלמלא גדל, פשוט חיפוש בכוח גס על כל המשפטים שניתנים לגזירה). גדי אלכסנדרוביץ' - שיחה 20:15, 21 במאי 2009 (IDT)תגובה[תגובה]

    התכוונתי למה שאמרת. בברכה, MathKnight הגותי (שיחה) 19:21, 24 במאי 2009 (IDT)תגובה[תגובה]
    יש לתקן את הערך בהתאם. גדי אלכסנדרוביץ' - שיחה 20:18, 24 במאי 2009 (IDT)תגובה[תגובה]
    אתה מוזמן לעשות זאת. בברכה, MathKnight הגותי (שיחה) 20:20, 24 במאי 2009 (IDT)תגובה[תגובה]