The AnarchistPhilosopher
Active member
אם יש לי א"ב של {0,1} ואני מסתכל על השפה מעל אותה א"ב אפשר לבנות מרחב טופולוגי, שהטופולוגיה תהיה החיתוך בין coRE ו-RE ואז הקבוצה הריקה והשפה מעל אותה א"ב בינארי שייכות לחיתוך בין coRE ו-RE. קבוצות פתוחות בטופולוגיה הזו יהיו החיתוך בין תת קבוצות של RE ו-coRE.
בטח יש משהו כזה? זכור לי שפעם הסתכלתי בספרייה באוני' והיה שם ספר של Vickers שימושים של טופולוגיה במדמ"ח.
בטח יש משהו כזה? זכור לי שפעם הסתכלתי בספרייה באוני' והיה שם ספר של Vickers שימושים של טופולוגיה במדמ"ח.