שיחה:אהוד הרושובסקי

מקור לציטוט

הציטוט הארוך בפסקה השנייה לערך הוא ללא ציון מקור. יש לציין את המקור לציטוט במפורש. יואב ר. - שיחה 20:32, 24 בנובמבר 2011 (IST)

סוף סוף ערך על הרושובסקי. צחי לרנר - שיחה 22:32, 24 בנובמבר 2011 (IST)

תודה :-) הוספתי את המקור. אבנר ק - שיחה 01:29, 25 בנובמבר 2011 (IST)

נא לדייק

על פי המקור הרושובסקי עבד על תורות קטגוריות (שם ותָאֳרו) ולא תורת קטגוריות (נסמך וסומך). ההבדל מהותי: תורות x-קטגוריות הן תורות שכל המודלים מעצמה x שלהן איזומורפיים זה לזה. תורות כאלה הן תורות שלמות, למשל, וממילא יש טעם ללמוד אותן במסגרת הלוגיקה המתמטית. תורת הקטגוריות היא ענף שונה מהלוגיקה וככל הידוע לי, הרושובסקי אינו מתעסק בה (ומכל מקום לא לזה הכוונה במקור שהובא).