הפרדוקס של ברי

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

תיאור הפרדוקס
הפרדוקס עוסק בשפה, ובמקורו עוסק בשפה האנגלית, אולם נביא כאן "תרגום" שלו לעברית. השינוי אינו מהותי.

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

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

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

כעת הגענו לסתירה לכאורה, מכיוון שבצירוף המילים שבו השתמשנו כדי לתאר את המספר היו פחות ממאה אותיות.

פתרון הפרדוקס
שורש הפרדוקס הוא בעובדה שהמשפט שלנו מתייחס אל עצמו, מצב הגורר פרדוקסים לעיתים קרובות. 

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

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

ראו גם
 משפט האי-שלמות של צ'ייטין
 פרדוקס המספרים המעניינים

קישורים חיצוניים
 מריוס כהן, פרדוקס ברי, גליליאו 103, מרץ 2007.
 
 

ברי
פרדוקסים מתמטיים