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