בתשובה לד.ק., 26/05/05 11:39
בשם הבורים 303654
אני לא בטוח שבאלכסון לא מוצאים את המספר המדובר. עד כמה שזכור לי ממש בונים אותו בפועל, ולכן הוא "קיים" בדיוק כמו שכל מספר ממשי (שלא בהכרח ניתן להצגה בצורה מחזורית) קיים.

אגב, אני לא בטוח שקבוצת כל השמות שקולה לטבעיים. מה אם מאפשרים סדרות אינסופיות של אותיות בתור שמות? או קבוצה לא בת מנייה של סימנים, שיוצרים מילים סופיות?
בשם הבורים 303661
לגבי סדרות אינסופיות (בנות מניה) של אותיות - קבוצת השמות עדיין תישאר בת מניה.
וקבוצה "לא בת מניה של סימנים"? איפה יש לך כזאת?
בשם הבורים 303666
אני לא בטוח שאני מסכים. קבוצת כל הסדרות מאורך סופי *כלשהו* היא עדיין בת מנייה, אבל את קבוצת כל הסדרות האינסופיות, אפילו מעל אלפבת בת שני אותיות, אפשר לראות בתור אוסף כל הפונקציות מהטבעיים אל האותיות - והאוסף הזה הוא לא בן מנייה (שתיים בחזקת אלף אפס).

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

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

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