בתשובה לשועל, 14/07/05 20:23
 |
|
 |
||
|
||||
 |
הכריעות היא עבור האקסיומות וכללי ההיסק כלומר הבעיות "האם X אקסיומה" "האם X הוא היסק חוקי" צריכות להיות כריעות (ומכאן נובע גם ש"האם X הוכחה" היא כריעה). אם יש להו את זה אנו מקבלים בקלות שהשפה של כל המשפטים היכיחים בתורה היא RE. משפט גדל אומר שהיא לא R. |  |
 |
 |
|
|
|
||
|
||||
|
אבל למה אתה צריך שלושה שמות? גוראל הוא עברות עתידי לגורביץ' שאתה מריץ בנתיים כפיילוט פה? | |
|
|
|
|
|
||
|
||||
|
גוראל הוא עברות עברי של גורביץ'. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש והצהרת נגישות
|
© כל הזכויות שמורות |