בתשובה להאייל האלמוני, 27/07/05 1:53
בעד הפלטוניזם 320055
1. תודה (?). אני מלמד בבר-אילן, והתשובה לשאלה "אילו קורסים" היא - לשמחתי - שזה תלוי באיזו שנה. בשנה הבאה, למשל, אני מלמד קורס בתורת החוגים וקורס בתורת המספרים. לאוניברסיטה יש כללים בעניין שמיעה חופשית. השאר - ב email.

2. אין כזה דבר, "מערכת כריעה", אבל המושגים די קשורים.
"מערכת עקבית" היא מערכת שלא ניתן להוכיח בה בו זמנית משפט ושלילתו. הגדרות שקולות: מערכת שלא ניתן להוכיח בה משפט מהצורה "f וגם לא f"; וגם: מערכת שיש משפטים שלא ניתן להוכיח בה.
כשקובעים את המערכת, אפשר לדון בכריעות של *טענה* (מהסוג של "קיים מספר ראשוני גדול מ- 7"). אם אפשר להוכיח במסגרת המערכת (=לתת הוכחה פורמלית) את הטענה או את שלילתה, אז היא כריעה. אם אי אפשר לעשות את שני הדברים, אז הטענה לא כריעה.
העובדה שבמערכת T קיימת הוכחה לטענה f, שקולה לכך שהמערכת הופכת להיות לא עקבית אם זורקים פנימה את הטענה "לא f". מכאן שאם הטענה f אינה כריעה, אז אפשר לזרוק אותה למערכת ולקבל מערכת עקבית, ואפשר לזרוק את השלילה שלה פנימה וגם אז מתקבלת מערכת עקבית.

3. מבדיל זה לא אותו דבר כמו מעדיף.

4. את הסימן ^ תוכלי למצוא בדרך-כלל מעל לספרה 6 (בדיוק כמו ש- ! נמצא מעל לספרה 1). במעבד התמלילים LaTeX ("החטא ועונשו הוא סיפור על מישהו שרצח והתחרט"), הסימן ^ משמש להעלאת טקסט לשכבה העליונה של השורה; למשל x^2 אמור להראות כמו x בריבוע.
בעד הפלטוניזם 320094
1. חן חן. אשקול את תורת החוגים.
2. נו, אין זה חדש שהחוכמה איננה מסימניי.
3. אני מבדילה בין המושגים.:)
4. החטא ועונשו בהחלט הסביר את העניין.:)
בעד הפלטוניזם 320170
מה הקטע עם "החטא ועונשו" היה אמור להביע?
בעד הפלטוניזם 320174
לקרוא ל-LaTeX "מעבד תמלילים" זה בערך כמו לקרוא לחטא ועונשו "סיפור על מישהו שרצח והתחרט".

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

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים