שיחה:בעיית וייטהד

מתוך ויקיפדיה, האנציקלופדיה החופשית

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