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

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

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