שיחה:אהוד הרושובסקי
הוספת נושאתגובה אחרונה: לפני 12 שנים מאת אבנר ק בנושא מקור לציטוט
מקור לציטוט[עריכת קוד מקור]
הציטוט הארוך בפסקה השנייה לערך הוא ללא ציון מקור. יש לציין את המקור לציטוט במפורש. יואב ר. - שיחה 20:32, 24 בנובמבר 2011 (IST)
- סוף סוף ערך על הרושובסקי. צחי לרנר - שיחה 22:32, 24 בנובמבר 2011 (IST)
- תודה :-) הוספתי את המקור. אבנר ק - שיחה 01:29, 25 בנובמבר 2011 (IST)
- סוף סוף ערך על הרושובסקי. צחי לרנר - שיחה 22:32, 24 בנובמבר 2011 (IST)
נא לדייק[עריכת קוד מקור]
על פי המקור הרושובסקי עבד על תורות קטגוריות (שם ותָאֳרו) ולא תורת קטגוריות (נסמך וסומך). ההבדל מהותי: תורות x-קטגוריות הן תורות שכל המודלים מעצמה x שלהן איזומורפיים זה לזה. תורות כאלה הן תורות שלמות, למשל, וממילא יש טעם ללמוד אותן במסגרת הלוגיקה המתמטית. תורת הקטגוריות היא ענף שונה מהלוגיקה וככל הידוע לי, הרושובסקי אינו מתעסק בה (ומכל מקום לא לזה הכוונה במקור שהובא).