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

פורמליזם (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)