שיחה:תורת החישוביות/משפט הרקורסיה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←תוכנת quine: פסקה חדשה |
|||
שורה 6:
::אם לחדד, נראה לי שיש מקום לדף על חישוביות לתיאוריות מתמטיות ולוגיות. יש לפחות שתי אפשרויות: או שיופיע לפני משפט הרקורסיה, או אחרי סיבוכיות קולמוגורוב. במקרה הראשון, אפשר להשאיר את ההוכחות בשני הפרקים הרלוונטיים. במקרה השניה, אפשר לרכז את ההוכחות בדף החדש. הדבר היחידי שנראה לי שכדאי להמנע ממנו זה שלושה מקומות שונים שמגדירים את אותם הדברים פחות או יותר. מה דעתך? [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 20:35, 31 בינואר 2012 (IST)
:::זה לא אמור להיות תת־נושא, אלא הדגמה של דברים שניתן לעשות בעזרת המשפט. בדיוק כמו שכריעות HP אינו תת־נושא. אני לא יודע בדיוק מה כוונתך בפרק "חישוביות לתיאוריות מתמטיות ולוגיות" אבל זה נשמע נושא מתקדם שיכול להיות מעניין. משפט גדל, כשלעצמו, אינו נושא בחישוביות, אבל אפשר להראות הוכחות שלו בשיטות שונות (משפט הרקורסיה / קולמוגורוב / וואטאבר). {{#תנאי:|‎|‏}}[[משתמש:Gran|gran]]{{#תנאי:|‎|‏}} - [[שיחת משתמש:gran|שיחה]] 04:48, 1 בפברואר 2012 (IST)
== תוכנת quine ==
[[משתמש:שואל/common.js]], מי שיעתיק את הקוד לדף שלו (<nowiki>[[משתמש:שם משתמש/common.js]]</nowiki>) יראה הודעה עם הקוד הזה בכל פעם שהוא טוען דף.--[[משתמש:שואל|שואל]] ([[שיחת משתמש:שואל|שיחה]]) 19:36, 12 במרץ 2019 (IST)
| |||