מאטעמאטיק פון א' ביז אין סוף

[מי אני]

בנוגע גאדעל׳ס טעארעם איז דא א זיסע וויץ, אבער מ׳דארף פריער מקדים זיין הייזענבערג׳ס אָנסירטענטי פרינציפ. דאס לויטעט אז ווי מער מ׳ווייסט די רעכענונג פון וואו די פאזיציע פון א [קוואנטום] פּארטיקל איז, אלס ווייניגער קען מען רעכענען/מעסטן דאס מאָמענטאָם דערפון. מיינענדיג, עס איז אינהערענטלי אוממעגליך צו האבן א פונקטליכע מעזשורמענט פאר ביידע צוזאמען [פאזיציע און מאמענטאם]; ווי פונקטליכער איינס איז אלס אומפונקטליכער איז דאס צווייטע. דאס זעלבע גייט נוגע זיין אויך לגבי מעסטן ענערגיע פון א סיסטעם אין א ספעציפישע צאל פון צייט [וואס די צייט האב איך דאך מעיקרא פונקטליך געמאסטן]: מ׳קען נישט אויסרעכענען די פונקטליכע מאס פון ענערגיע דערין. דאס איז אביסל פארבינדן/ענליך מיט׳ן אלגעמיינעם אַבּזערווירער עפעקט נאטור אין קוואנטום פיזיקס, וואס זאגט אז דאס עצם אַבּזערווירן א פּארטיקל מאכט דאס פון א וועיוו אין צו א פּארטיקל. ועיין באשכול זו מכל זה באריכות.

ווי אויך דארף מען מקדים זיין די לינגוויסטיק קאַמפּעטענס טעאריע פון דעם לינגוויסט דר. נועם טשאמסקי. דאס לויטעט אז דאס ״אידעאלע״ פארעם פון (עני) שפראך פארמאגט נישט אין זיך קיינע טעותים אדער פראבלעמען. דאס איז אנדערש פון לינגוויסטיק פּערפארמענס, וואס איז די וועג ווי אזוי (אלע) מענטשן נוצן (דאס) שפראך, וואס איז בעצם (עלול להיות) משובש. וואס לינגוויסטן דארפן צו אנאליזירן, טענה׳ט ער, איז די קאַמפּעטענס חלק לעומת די פּערפאָרמענס חלק. ע״כ חלק מתוכן דבריו בקיצור נמרץ מאד. (דאס קען אביסל נוגע זיין צום שמועס אין די אשכול.)

ולאחר כל זה גייט די (מעטא) וויץ אזוי:

הייזענבערג, גאדעל, און טשאמסקי וואָקן אריין אין א בּאַר. הייזענבערג רופט זיך אן, ״דאס איז זיכער א וויץ, אבער ווי אזוי קענען אונז וויסן אויב ס׳איז קאמיש אדער נישט?״ גאדעל רופט זיך אן, ״ס׳איז אומעגליך דאס מברר צו זיין ווילאנג אונז זע׳מיר אינעם עצם סיסטעם פונעם וויץ.״ טשאמסקי רופט זיך אן, ״אוודאי איז עס קאמיש. דו זאגסט עס נאר נישט גוט״.

[מי אני]

וואס קול דודי מיינט איז אדער די וואן-ניומאן ארדינעלס אדער די זערמעלא ארדינעלס וועג פון בויען [געהעריגע/פאזיטיווע] נומערן; אז יעדע סעט פון געהעריגע נומערן (אנהייבנדיג פון 0) איז געבויט פון ליידיגע סעטס (בתוך ליידיגע סעטס וכו׳).

די וואן-ניומאן ארדינעלס ארבעט אז מ׳הייבט אן אז 0 איז די ליידיגע סעט בעצם {}. די פאלגענדע נומערן נאכדעם, אין טערמינען פון סעטס, וועלן מיינען די סעט וואס האט די ליידיגע סעט מיט אלע פון די פריערדיגע נומערן׳ס ליידיגע סעטס; יעדע איינס פון די פריערדיגע ליידיגע סעטס וואס יעדע פריערדיגע נומער פאר זיך פארמאגט איבערגעחזר׳ט אינגאנצן פון פריש.

למשל, 1 איז די סעט וואס האט אין זיך די ליידיגע סעט כזה: { {} } (וכדברי קול דודי). דערנאך, 2 וועט מיינען די סעט וואס האט די ליידיגע סעט מיט די פריערדיגע נומערס׳ [1 און 0] ליידיגע סעטס כזה: { {}, {{}} } [1,0; אלעס וואס 1 האט +/און אלעס פון 0]. 3 איז שוין { {}, {{}}, {{}{{}}} } [2,1,0; אלעס וואס צוויי + איין + 0 האבן]. וכן הלאה (ס׳ווערט גאר אסאך ליידיגע סעטס בתוך (תוך...) ליידיגע סעטס גאר שנעל).

‏זערמעלא ארדינעלס איז אסאך פשוט׳ער. עס ארבעט פשוט אז יעדע נומער איז כולל די סעט פון פריער. דהיינו, עס פאנגט זיך אן מיט די ליידיגע סעט: 0={}. דערנאך 1 איז { {} }; די סעט וואס פארמאגט די ליידיגע סעט (וכדברי קול דודי). דערנאך 2 איז די סעט וואס פארמאגט 1 כזה: { {{}} }. 3 איז די סעט וואס פארמאגט 2 כזה: { {{{}}} }. וכן הלאה.

(די סיבות פאר און תוצאות פון די חילוקים פאדערט אסאך עיון אין סעט טעאריע והמסתעף.)

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

בנוגע דאס וואס מ׳רירט אן אין דעם אשכול איבער די פּלעטאנישע אנטאלאגישע מציאות לשלעצמם פון נומערן און מאטעמאטישע קאנצעפטן, נוצט דר. פּאָל בּענאַסעראַף די צוויי וועגן אין ארדינעלס אלס א פירכא דערויף; די בּענאַסעראַף איידענטיפיקעישאן פראבלעם. בקיצור נמרץ מאד איז די געדאנק/יסוד פון זיין פירכא אז וויבאלד מ׳קען אראפגיין עד היסוד פון וואס נומערן זענען, וממילא גאנץ מאטעמאטיקס, אין צו (למשל) איינע פון די צוויי וועגן, שאפט דאס א פראבלעם. דאס איז וויבאלד עס וועט/קען ארויסקומען יסודות׳דיגע חילוקים צווישן די צוויי וועגן, וואס דאס טוהט צוווארפן די (פילאזאפישע/לאגישע) אידענטיטעט דערפון וממילא דאס זאגן אז זיי זענען מופרד׳יגע אנטאלאגישע מציאות׳ן ממש.

צווישן אנדערע נוצט מען דאס צו טענה'ן פאר סטרוקטשורעליזם אין מאטעמאטיקס. דאס איז מער אז יעדע קאנצעפט וכו׳ אין מאטעמאטיקס פּאַסט אזוי אריין אין א ״בנין״ אין ווי אזוי עס האט א שייכות מיט אירע ארומיגע קאנצעפטן וכו׳. זיי ווערן נאר דעפינירט אין רילעישאן צו (די) אנדערע ארומיגע קאנצעפטן אא״וו; זיי האבן אבער נישט ממש אן אנטאלאגישע מציאות לשלעצמם. אין אנדערע ווערטער, זיי ווערן נישט דעפינירט אלס "וואס פונקטליך זיי אליין זענען", נאר בנוגע "וואו" און וועלכע "פלאץ" זיי טוהן פארנעמען.

*

viewtopic.php?p=453818#p453818

[מי אני]

אז מ׳רעדט פון סעטס און וואס זיי (קענען) פארמאגן אין זיך איז אינטרעסאנט צו דערמאנען בערטראנד רוססעל׳ס (און אנדערע מאטעמאטיקערס׳) פאראדאקס, וואס האט געמאכט א מהפיכה אין די בראשית יארן פון סעט טעאריע. עס לויטעט אזוי: אויב א ״סעט״ מיינט א זאמלונג פון זאכן, דעמאלטס קען זיין אזא מין זאך ווי א ״סעט פון סעטס״. יעצט, לאמיר זאגן ס׳דא א סעט פון אלע סעטס וואס זענען נישט חלקים/עלעמענטס פון זיך אליין; זיי אליין זענען נישט בתוך זייערע סעטס. אויב אזוי וואו באלאנגט דעם עצם סעט? אויב באלאנגט ער נישט בתוך זיין אייגענע סעט איז ער דאך א סעט וואס איז נישט א חלק פונ׳ם סעט, טא באלאנגט ער יא דא!

דאס קען מען אויך מסביר זיין אין פשוט׳ע טערמינען אזוי [די בארבער פאראדאקס]: לאמיר זאגן ס׳דא א בארבער/שערער וואס שערט אפ נאר די מענטשן וואס שערן זיך נישט אליינס אפ. קען דער בארבער זיך אליין אפשערן? אויב נישט שערט ער זיך דאך נישט אליינס אפ און קען יא, און אז יא שערט ער זיך דאך יא אליינס אפ און קען נישט!

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

אביסל ענליך צו דעם איז איינע פון די פירכות צו אפלטון׳ס טעאריע פון ״צורות״ געשריבן אין זיין פּארמענידיס, וואס אריסטו רופט די דריטע מענטש ארגומענט. דאס ארבעט דורכ׳ן שאפן אן אינפיניט ריגרעס איבער דעם אז די עצם ״צורה״ גייט דארפן באלאנגען צום סעט. דהיינו (אויבנאויף און בקיצור), אפאר פון די כאראקטעריסטיקס פון אפלטון׳ס ״צורה״ איז אז עס איז איבער אלע זאכן וואס האבן דעם קאנצעפט, עס איז נישט קיין חלק פון זיך אליין [עס איז נישט איינס מיט די זאכן וואס עס איז אויף; עס איז מער און ״העכער״ פון זיי], און איז די עצם קאנצעפט. למשל, די צורה פון ״גרויסקייט״ איז איבער אלע זאכן וואס זענען גרויס, ווי אויך איז עס בעצם ״גרויס״, און איז ״העכער״ און מער פון די סתם זאכן וואס האבן די פּראפּערטי פון ״גרויסקייט״ איבער וואס זי איז איבער. שטעלט זיך די פראגע אז די עצם צורה גייט דאך אויך באלאנגען צום סעט פון ״גרויסע״ זאכן און דעמאלטס דארף דאס שוין ווייטער א צורה פאר דעם וואס איז איבער דעם אויך און ״העכער/מער״ פון דעם, וכן הלאה והלאה.

[מי אני]

עס איז אינטרעסאנט צו באמערקן אז אלבּערטוס מאגנוס (רבו של טאמאס אקינאס) האט אויך געמאכט דריי חילוקים לגבי יוּניווערסעלס/כללים:

1). א יוּניווערסעל וואס איז פאר די דבר פרטי וואס ברענגט עס ארויס.

2). א יוּניווערסעל וואס איז בתוך די דבר פרטי וואס אנהאלט עס.

3). א יוּניווערסעל וואס עקזיסטירט אין מח/שכל דורך די דבר פרטי וואס ברענגט עס ארויס (א סארט נאמינעליזם).

מיינעדיג אז עס ווענד זיך אין, און פון, וועלכען פערספעקטיוו מען באטראכט/אנאלאזירט זיי. אויב איז עס אויף די כללים ממש אליין, דעמאלטס איז נוגע חילוק/סוג 1 (א סארט ריעליזם). אויב אבער מען באטראכט זיי ביחס צום שכל/אינטעלעקט וואס טוהט זיי פּערסיִוון, דעמאלטס גייט אנגיין אדער סוג 2 אדער סוג 3: אויב איז די יחס צום שכל/אינטעלעקט דורך דעם סיבה פונעם דבר פרטי וואס ברענגט ארויס צו איר דעם כלל כוללת, דעמאלטס גייט אן סוג 2. אויב איז די יחס צום שכל/אינטעלעקט דורך דעם וואס פונעם דבר פרטי וואס ברענגט ארויס צו איר דעם כלל כוללת קען די שכל דאס ארויסברענגען און דזשענערעלייזן צו אנדערע זאכן באותו מין וכו׳, דעמאלטס גייט אן סוג 3.

[מי אני]

אז מ׳האט דערמאנט דא אין אנהויב אשכול ווי מאטעמאטיקס איז די יסוד פאר פיזיקס איז אינטרעסאנט צוצוצייכענען דעם אנעקדאט וואס דער בריטישער מאטעמאטיקער דר. טאמאס וויליאם קארנער זאגט נאך בשם א רוסישער פיזיקער. ״אין פיזיקס זענען פּרוּפס אזוי ווי בריטישע יוסטיץ: עס איז אומשולדיג ביז מען ווייזט אויף איר שולד. אין מאטעמאטיקס זענען פּרוּפס אזוי ווי סטאליניסטישע יוסטיץ: עס איז שולדיג ביז מען ווייזט אויף איר אומשולד״.

[מי אני]

ובענין יוּניווערסאלס ופּארטיקולערס/אינדיווידואלס:

92585792-7F99-48E0-A369-7CF9122D6918.jpeg

במשנתו פון גאטלאבּ פרעגע׳ס מאטעמאטישע מהלך בתוך ״שפראך״.

***

ובענין סעלף-רעפערענשאל פּאראדאקסן אין מאטעמאטיקס איז דא די בּערי פּאראדאקס. דאס איז ווען איך זאג למשל, ״די קלענסטע פּאזיטיווע אינטעדזשער וואס קען נישט דעפינירט ווערן מיט ווינציגער ווי אכציג אותיות״. עס זענען דאך נאר דא כ״ב אותיות וממילא מוז זיין א פיניט צאל פון פראזעס צאמגעשטעלט פון 80 אותיות; טאקע א געוואלדיגע גרויסע צאל [עפ״י פּערמוטעישאנס] אבער פארט פיניט. משא״כ זענען דאך אבער דא אן אינפיניט צאל פון פאזיטיווע אינטעדזשערס, מיינענדיג אז עס גייען זיין אינטעדזשערס וואס מוזען טאקע האבן מער ווי אכציג אותיות זיי צו דעפינירן. ומזה קומט אויס אז עס איז זיכער דא איין אזא נומער פון די סעט וואס דארף מער, די קלענסטע אין די סעט, וואס שטומט מיט די פראזע הנ״ל: ״די קלענסטע פּאזיטיווע אינטעדזשער וואס קען נישט דעפינירט ווערן מיט ווינציגער ווי אכציג אותיות״. אבער די פראזע/סענטענס אליין האט דאך נאר 78 אותיות, וממילא האט מען דאס דאך יא דעפינירט אין ווינציגער ווי 80 אותיות, און הענס הא׳מיר א פאראדאקס.

ענליך צו דעם בנושא של שפראך איז דא די בּהאַרטרעהאַרי פּאראדאקס. דאס איז ווען מען זאגט, ״די סארט זאך איז נישט שייך צו גיבן דערצו א נאמען״. דאס אליין טוהט דאך דאס גיבן איר נאמען והגדרה.

אביסל ענליך צו דעם איז איינע פון די פירכות צו אפלטון׳ס טעאריע פון ״צורות״ געשריבן אין זיין פּארמענידיס, וואס אריסטו רופט די דריטע מענטש ארגומענט. דאס ארבעט דורכ׳ן שאפן אן אינפיניט ריגרעס איבער דעם אז די עצם ״צורה״ גייט דארפן באלאנגען צום סעט. דהיינו (אויבנאויף און בקיצור), אפאר פון די כאראקטעריסטיקס פון אפלטון׳ס ״צורה״ איז אז עס איז איבער אלע זאכן וואס האבן דעם קאנצעפט, עס איז נישט קיין חלק פון זיך אליין [עס איז נישט איינס מיט די זאכן וואס עס איז אויף; עס איז מער און ״העכער״ פון זיי], און איז די עצם קאנצעפט. למשל, די צורה פון ״גרויסקייט״ איז איבער אלע זאכן וואס זענען גרויס, ווי אויך איז עס בעצם ״גרויס״, און איז ״העכער״ און מער פון די סתם זאכן וואס האבן די פּראפּערטי פון ״גרויסקייט״ איבער וואס זי איז איבער. שטעלט זיך די פראגע אז די עצם צורה גייט דאך אויך באלאנגען צום סעט פון ״גרויסע״ זאכן און דעמאלטס דארף דאס שוין ווייטער א צורה פאר דעם וואס איז איבער דעם אויך און ״העכער/מער״ פון דעם, וכן הלאה והלאה.

ענליך צו דעם איז דא די בּרעדליִ׳ס ריִגרעס פראבלעם פונעם בריטישן פילאזאף דר. פרענסיס הענרי בּרעדליִ. דאס באציהט זיך צום בּינטעל/בּאָנדעל טעאריע, דהיינו (בקיצור און אווערסימפליפייד) אז א ״זאך״ איז פשוט די רילעישענשיפ פון די חלקים און באשטיינדלען וואס שטעלן דאס צאם. איז זיין פראבלעם אז לא׳מיר זאגן אז איך האב חלקים א׳ און ב׳ פון א זאך און דאס רילעישענשיפ צווישן זיי וואס פארוואנדעלט דאס אין צו די גאנצע איינע זאך ״בכלליות״. איז אבער די ״רילעישענשיפ״ אן אנטאלאגישע חלק פאר זיך פונקט אזוי ווי די חלקים א׳ און ב׳. דעמאלטס דארף מען אן אונטערליגענדע (אנטאלאגישע) זאך וואס באהעפט אט די ״רילעישענשיפ״ צו חלקים א׳ אוי ב׳. אבער דעמאלטס ברענג איך אריין נאך א(ן אנטאלאגישע) חלק וואס דארף אליין האבן דערנאך עפעס וואס באהעפט דאס צו די פריערדיגע ״רילעישענשיפ״, וכן הלאה.

ער האט דעריבער געהאלטן אז די ״רילעישענשיפ״ מעיקרא איז נישט (אנטאלאגיש) ״עכט״. דר. וויליאם וואליסעלא וויל דאס פארענטפערן אז די אָלטימעט ״רילעיטאר״ גייט זיין אזא סארט כעין ״געטליכע״ רילעיטאר וואס דארף נישט עפעס דאס אליין צו רילעיטן צום ״זאך״ און די חלקים וכו׳ דערינען; עס איז עקסטערנעל און אינדרויסן דערפון. (דאס איז אביסל ענליך צו מאלעבראך׳ס תירוץ אויפ׳ן מיינד-בּאַדי פראבלעם.)

[מי אני]

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

[מי אני]

דאס איז אויך אביסל ענליך צו קעראל׳ס פּאראדאקס וואס רירט אן אויף די יסודות פון לאגיק. דאס זאגט אז איך האב (למשל) 2 הנחות וואס דאדורך קום איך אטאמאטיש צו צו א מסקנא:

א). אויב עס זענען דא צוויי זאכן וואס יעדעס איינס איז די זעלבע צו עפעס א דריטע זאך זענען די צוויי זאכן דאס זעלבע איינע צום צווייטן (דערמאנט אביסל דא).

ב). צוויי זייטן פון א געוויסן טרייענגעל זענען יעדעס איינס די זעלבע אין לענג צו א דריטע ליין.
דעריבער/דעמאלטס:
ג). די צוויי זייטן פונעם טרייענגעל זענען די זעלבע איינע ווי די אנדערע.

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

אבער דערנאך קען דאך זיין אזא איינער וואס זאל אננעמען די ערשטע דריי הנחות אבער נישט דעם פארשפעטערטן ״דעריבער/דעמאלטס״ אויף כדי אנצונעמען דעם פערטען [מעיקרא דריטען] מסקנא - מ׳וועט דארפן א נייעם הנחה פון:
אויב א׳ ב׳ און [דעם נייעם] ג׳ זענען אמת דעמאלטס איז ד׳ אטאמאטיש אמת.
וכן הלאה; אן אינפיניט ריגרעס.

***

אביסל ענליך צום בּערי פאראדאקס איז די ״אינטרעסאנטע״ נומער פאראדאקס. דאס איז אז אויב וויל איך קלאסיפיצירן נומערן אין צו צוויי סעטס, ״אינטרעסאנט״ און ״נישט אינטרעסאנט״, וועט אויסקומען אז יעדעס נומער איז ״אינטרעסאנט״. דאס איז ווייל לא׳מיר שוין זאגן אז עס איז שייך אזא דיסטיִנקשאן און דאס׳ן זיין מעגליך צו צוטיילן נומערן אזוי אין צוויי סעטס/גרופעס, וועט דאך די קלענסטע נומער אינעם ״נישט אינטרעסאנטן״ סעט יא זיין ״אינטרעסאנט״ און מערקווידיג אלס׳ן דאס זיין די קלענסטע נומער פונעם ״נישט אינטרעסאנטן״ סעט. פארשטייט זיך אז דאס ווענדט זיך ווי אזוי מ׳דעפינירט אן ״אינטרעסאנטע״ נומער און אין וועלכע קאנטעקסט.

***

ובנוגע בּערטראנד'ס פאראדאקס איז דאס אינטרעסאנט פון די וויקיפידיע בלאט:

List of Lists of Lists.png

[מי אני]

עס איז דא די וועבער-פעכנער געזעץ וואס לויטעט אז ווי מער עס איז שוין דא פון א סטימיולוס [א קול, מראה, ריח וכו׳] אלס שווערער איז דאס צו דערקענען אין דעם חילוקים אין כמות. והיינו (מער ווי סתם פשטות׳דיגע כעין ״ביטול ברוב״), אז דאס גייט אראפ מיט א בערכ׳דיגע לאגאריטמישע מהלך וואו צו דערקענען צווישן 10 און 20 איז שווערער ווי צו דערקענען צווישן 100 און 200 אא״וו; עס איז נישט פּראפּארציאנאל.

בנוגע קוואנטיטעטיוו טראכטן האט די שטודיע דאס אויסגעברייטערט אויף צו ווייזן אז בעצם זענען מענטשן מער אויסגעשטעלט מכח בּעיסיק נאטור [אנע זיין ארומגענומען מיט די מושגים אינעם געזעלשאפט וכו׳] עוואלושאן וכו׳ צו טראכטן אין די גדרים פון ״קוואנטיטי״, וואס איז מער רודימענטערי און פּרימיטיוו, ווי איידער אין די מושגים פון ״נומעריסי״. כעין זה [עס ווייזט די געדאנק פונעם חילוק צווישן א פשוט׳ע ליניער סקעיל און א לאגאריטמישן]:

D7E6598B-AB6E-44A8-97C7-F91DEB72E51A.jpeg

[מי אני]

אז מ׳האט דערמאנט דא אין אנהויב אשכול ווי מאטעמאטיקס איז די יסוד פאר פיזיקס איז אינטרעסאנט צוצוצייכענען דעם אנעקדאט וואס דער בריטישער מאטעמאטיקער דר. טאמאס וויליאם קארנער זאגט נאך בשם א רוסישער פיזיקער. ״אין פיזיקס זענען פּרוּפס אזוי ווי בריטישע יוסטיץ: עס איז אומשולדיג ביז מען ווייזט אויף איר שולד. אין מאטעמאטיקס זענען פּרוּפס אזוי ווי סטאליניסטישע יוסטיץ: עס איז שולדיג ביז מען ווייזט אויף איר אומשולד״.

ומענין לענין באותו ענין:

3FC81794-CF1B-474C-B0B7-2EA0C0F4D3D4.jpeg

[מי אני]

דר. לודוויג פרעק אין זיין אנטי-פּאזיטיוויסט מהלך האט געהאלטן בנוגע סייענס אז עס ארבעט דורך דענק/טראכטן-קאלעקטיוו. דאס הייסט אז מדע און איר געפינס און אויסטרעף קען מען נישט אפטיילן פונעם עפאכע און דעמאלטסדיגע סאציאלע קאנטעקסט פון די חוקרים וואס האבן דאס ערפינדן. דאס הייסט אז אינעם דאס דעפינירן די פּאראמעטערן פון מדע טוהט די תקופה אין וואס זי ווערט ערפונדן לייגן גבולים עפ״י די (אגרעגעיט פון די) אנגענומענע נארמעס, מנהגים וכו׳ וכו׳ פון די קאלעקטיוו פון מענטשן אויף די קאנצעפטן וואס זענען אין דעם תחום. ועכ״כ אז אפילו דאס ווי א סייענטיפישע פאקט מוז האבן די קאנטעקסט פון די ״טראכטן-קאלעקטיוו״ פון יענע תקופה עס צו געבן עני סארט פון קאנטעקסט, ווייל אן דאס איז עס ווי דאס זאגן ״איינער באמערקט עפעס״ אן א שום אנדערן רעפערענץ פונקט און קאנטעקסט. דאס גייט אין איינקלאנג מיט די עפיסטעמאלאגישע געדאנק אז אן אויסטרעף און מדע האט דריי חלקים: דאס וואס מ׳טרעפט אויס, דער וואס טרעפט דאס אויס, און די עוועילעבּל אנגעזאמעלטע מדע פון פריערדיגע אויסטרעפן וכו׳; די דריטע חלק איז מקושר צו אט דעם טראכטן-קאלעקטיוו.

[מי אני]

אז מ'האט דערמאנט גאדעל'ס פּרוף און ראססעל'ס פאראדאקס:

Godel.jpg

[מי אני]

‫עס איז אינטרעסאנט צו באצייכענען אז אבן סינא׳ס [אביסענאַ] הוכחה אויף מציאות הא-ל האט גענוצט אלס א חלק דערין עפעס וואס איז ענליך צו דעם פאראדאקס פון די סעטס. והיינו, ווי ערווענט דא האט ער געמאכט א חילוק בין עססענס לעקזיסטענץ. אין דעם וועט זיין תלוי די דריי חילוקים צווישן אומעגליך, מעגליך [קאנטינדזשענט], און בהכרח [נעסעסערי]. והיינו:‬

‫״אומעגליך״ - באדייט וואו די עססענס דערפון טוהט מיניה וביה אויסשליסן דאס׳ן עקזיסטענץ דערפון. ווי למשל א רינדיכיגע פיר-עק, וואס דאס איז דאס עססענס דערפון טוהט אט דאס אויסשליסן איר עקזיסטענץ.‬

‫״מעגליך״ - באדייט וואו די עססענס דערפון איז נישט מכריע לא לכאן ולא לכאן, וממילא וועט דאס דארפן א סיבה/פעולה מחוצה לה דאס צו ברענגן צו עקזיסטענץ.‬

‫״בהכרח״ - באדייט וואו די עססענס איז מכריע בהחלט אז עס מוז עקזיסטירן; עקזיסטענץ איז בתוך איר עססענס ומיניה וביה און דארף נישט קיין סיבה מחוצה לה פאר איר עקזיסטענץ.‬

‫זיין הוכחה איז אזא סארט געמיש פונעם באקאנטן קאסמאלאגישן הוכחה אז יעדעס נפעל מוז האבן א פועל און אנסעלם׳ס אנטאלאגישע הוכחה איבער די דעפיניציע בתוך ״ג-ט״. ער זאגט אז בעצם זענען אלע עקזיסטירענדע זאכן אין די וועלט אינעם סוג פון ״מעגליך״; יעדעס איינציגסטע זאך האט מעגליך געקענט זיין און מעגליך נישט; עס איז נישט דא גארנישט אין זייער עססענס וואס איז דאס מכריח. וממילא זענען זיי צושטאנד געקומען דורך אנדערע פריערדיגע פעולות, וואס די פעולות אליין זענען מסוג ״מעגליך״, וכן הלאה למעלה עד אינפיניטי (אבן סינא האט בעצם אנגענומען קדמות העולם (וואס דאס איז געווען איינע פון די סיבות אל-גאזאלי איז ארויס אין א פולמוס קעגן אים) און די אינפיניט ריגרעס האט אים נישט געבאדערט). יעצט, אז מ׳נעמט די גאנצע עקזיסטירענדע בריאה מעולם, אלעס וואס עקזיסטירט און האט עקזיסטירט און וועט עקזיסטירן, אלס אן עגרעגעיט און א סעט איז, האט ער גע׳טענה׳ט, וויבאלד אלע באשטיינדלען און פרטיים דערינען זענען מסוג ״מעגליך״ איז די גאנצע כלל אלס א סעט אויך מסוג ה״מעגליך״ און מוז האבן א פעולה/פועל/סיבה מחוצה לה וואס איז מכריע/גורם איר עקזיסטענץ. איז וואס האט דאס אריינגעברענגט אין/מכריע/פועל געווען צו עקזיסטענץ? עס קען נישט זיין עפעס וואס איז ווייטער מסוג ה״מעגליך״, ווייל דעמאלטס וואלט דאך דאס אליין שוין געווען אינעם פריערדיגן סעט הכולל פון ״מעגליך״. וממילא מוז דאס וואס האט פועל געווען צו ברענגען די ״מעגליכע״ סעט אין עקזיסטענץ זיין א ״הכרח״׳דיגע עקזיסטענט, וואס זיין עצם עססענס איז מכריח זיי עקזיסטענץ. דאס איז ג-ט.‬

‫ער האט גע׳טענה׳ט אז אז אפילו מ׳זאל צוריק טענה׳ן אז די גאנצע סעט פון סוג ה״מעגליך איז נישט אליין ״מעגליך״ נאר יא שוין מסוג ה״הכרח״ וואס דארף שוין נישט קיין סיבה מחוצה לה פאר איר עקזיסטענץ, ווייזט דאס אבער עכ״פ אויף אז עס איז למעשה באמת דא די סוג ה״הכרח״. (פּאנטעאיזם?)‬

‫פון דעם ״הכרחי״ קאנסעפּשאן פון ג-ט האט אבן סינא ארויסגענומען די תוארים וכו׳ וואס אנבאלאנגט אים [כל יכול וכו׳]. און פון דעם קומט טאקע אויס אז וויבאלד עס איז נישטא קיין ״מעגליך״ בתוך ג-ט שהוא כביכול מסוג ה״הכרח״ האט די וועלט, אלס די ״מעגליכע״ עגרעגעיט וסעט וואס איר סיבה איז די ״הכרח״׳דיגע עקזיסטענט, טאקע געמוזט עקזיסטירן. (דאס איז נאך עפעס וואס אל-גאזאלי איז ארויס אין א פולמוס קעגן אים.)‬

‫ער האט דאס גערופן די ״הוכחה פאר די אמת׳דיגע״ - לפי דר. שׁאַמס אינאטי איז מיט די ״אמת׳דיגע״ האט ער געמיינט די פילאזאפן לעומת די טעאלאגן.‬

‫והרבה קולמוסין וכו׳.‬

[מי אני]

העיקרים במאמר ב פ"י:

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

[מי אני]

ובענין סעלף-רעפערענשאל פּאראדאקסן אין מאטעמאטיקס איז דא די בּערי פּאראדאקס. דאס איז ווען איך זאג למשל, ״די קלענסטע פּאזיטיווע אינטעדזשער וואס קען נישט דעפינירט ווערן מיט ווינציגער ווי אכציג אותיות״. עס זענען דאך נאר דא כ״ב אותיות וממילא מוז זיין א פיניט צאל פון פראזעס צאמגעשטעלט פון 80 אותיות; טאקע א געוואלדיגע גרויסע צאל [עפ״י פּערמוטעישאנס] אבער פארט פיניט. משא״כ זענען דאך אבער דא אן אינפיניט צאל פון פאזיטיווע אינטעדזשערס, מיינענדיג אז עס גייען זיין אינטעדזשערס וואס מוזען טאקע האבן מער ווי אכציג אותיות זיי צו דעפינירן. ומזה קומט אויס אז עס איז זיכער דא איין אזא נומער פון די סעט וואס דארף מער, די קלענסטע אין די סעט, וואס שטומט מיט די פראזע הנ״ל: ״די קלענסטע פּאזיטיווע אינטעדזשער וואס קען נישט דעפינירט ווערן מיט ווינציגער ווי אכציג אותיות״. אבער די פראזע/סענטענס אליין האט דאך נאר 78 אותיות, וממילא האט מען דאס דאך יא דעפינירט אין ווינציגער ווי 80 אותיות, און הענס הא׳מיר א פאראדאקס.

דאס איז א סעט-טעארעטישע פארמולאציע פון דעם פּאראדאקס פון דר. דזשוּליאוס/גיוּלאַ קאָניג:

7B6DA9A8-58CA-4B28-B320-F105FD3D94E1.jpeg

ועיין כאן פארוואס די סעט פון אלע ריעל נומערן, והיינו אריינגערעכענט די אירעשאנעל נומערן, איז ״אָנקאַוּנטעבּל״, ועיין כאן איבער אָרדינעל נומערן; א וועל-אָרדערד סעט באדייט אז עס האט אן עלעמענט וואס איז די ״ווייניגסטע״ אין די אָרדערד סעט [די ״פּרינציפּ״ דערין].

ענליך צו דעם איז דא ריטשערד׳ס פּאראדאקס. דאס זאגט אז איך שטעל צאם א סעט פון אלע (אינפיניט) נומערן וואס מען קען דעפינירן ווי אזוי דאס אויסצושטעלן מיט ענגלישע זאצן. און איך שטעל דאס אויס אין א אָרדער לפי די לענג פון די זאצן און אויב די זאצן זענען די זעלבע לענג, דאן אזוי ווי די דיקשינערי וואלט זיי אויסגעשטעלט אין א סדר לפי א״ב [לעקסיגרעפיקלי]; אזוי אז זיי זענען אלע ״יוּניִק״ [קענאָניקעל]. דערנאך דעפיניר איך א נומער אין די סעט ווי פאלגענד:

עס האט 0 אלס איר ״גאנצע״/אינטעדזשער חלק. לגבי אירע דעצימל נומערן, איך גיי לייגן אן 1 ביים דעצימל פלאץ פון דעם נומער אויב די זעלבע דעצימל פלאץ פונעם נומער אין די סדר פון די סעט מיט די נומער אין סדר איז נישט 1. און אויב יענע נומער אינעם סדר האט יא אן 1 דארט אין יענעם דעצימל פלאץ דאן איז די נומער אין דעם יעצטיגן נומער׳ס זעלבע דעצימל פלאץ 2.

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

[מי אני]

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

[מי אני]

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

[מי אני]

ווי דר. בּאַקינאַז אַבּדאַלאַ איז מסביר נעמט אבן סינא בראייתו אויך נישט אָן אז די עגרעגעיט פון אלע אפשריים זאל פאר זיך זיין דוקא הכרחי; זיי גייען זיך נישט טוישן וויבאלד זיי זענען יעצט אין א כלל:

two alternatives arise in regard to the cause of that aggregate (Avicenna, al-Najāt: 567–8): either the aggregate of possible things is self-caused or caused by something external. Avicenna dismisses the former alternative as impossible because the nature of what is possible in itself does not change independently of a cause; possible things become necessary only through other causes. Hence, an aggregate of possible things is also possible in itself and cannot be self-caused. Furthermore, “a chain” (silsilah) of possible things cannot continue ad infinitum and it must end to a being that is necessary in itself

זי ברענגט ארויס אז ר׳ יצחק אלבלג האט זיך געדינגען אויף די הוכחה מחמת אַן ענליכן געדאנק פון גאָדעל; מ׳קען נישט אויפווייזן עפעס על הסיסטעם כולו פון יענעם סיסטעם אליין:

To Albalag, Avicenna’s proof of God as Necessary Existent appeared to involve flagrant deviations from Aristotle. Firstly, Avicenna’s procedure for establishing the existence of the First Principle in the science of metaphysics is methodologically incorrect. (Tiqqun n.8: 13–14). Appealing to Averroes, Albalag argues that the existence of the prime mover must be accepted from natural philosophy—not insofar as it is the deity—while metaphysicians proceed therefrom in examining its states and attributes. Obviously, the theoretical basis for this argument is Aristotle’s rule that “no master of any art can demonstrate the proper principles of his art” (Metaphysics IV 1003a21–22), which, according to Averroes, means that a given science does not demonstrate the existence of its subject, but must concede to their existence either as something which is “self-evident” or as “something that has been demonstrated in another science” (Wolfson 1950–1 : 691). Since the First Principle is the subject matter of metaphysics, its existence cannot be established in that specific science

[מי אני]

אַן ענליכע געדאנק ווי אבן סינא נוצט דר. גרעהעם אַפּי אלס א קשיא אויפ'ן קאלאם קאסמאלאגישן ארגומענט. ווען מ'קומט צו אויפווייזן מציאותו ית' ארבעט די ארגומענט בעצם מיט 2 הנחות וואס פירן צו א מסקנה:

1). אלעס וואס האט אנגעהויבן צו עקזיסטירן האט א סיבה/פועל פאר איר עקזיסטענץ

2). די יוניווערס האט אנגעהויבן צו עקזיסטירן

דערפאר קומט אויס,
3). די יוניווערס האט א סיבה/פועל פאר איר עקזיסטענץ (און דאס איז "ג-ט")

יעצט, מ'קען באטראכטן דאס "אלעס/יוניווערס" וואס עקזיסטירט אלס אלעס וואס איז "causal stuff" - וואס ארבעט ע"י פועל ונפעל; עס איז היינו הך. אין אנדערע ווערטער, די "global causal order". אויב אזוי איז דאך על זה אנו דנין: אויב די עצם געדאנק פון "פועל ונפעל" בהאי עלמא האט אנגעהויבן צו עקזיסטירן האט דאך דאס אליין נישט קיין פועל (כעין די עגרעגעיט פון דאס אלעס במשנת אבן סינא הנ"ל) - די ערשטע הנחה איז פאלש. ווידעראום, טאמער האט דאס יא אלס עקזיסטירט איז דאך די צווייטע הנחה פאלש.

(ואולי קען מען מאכן א חילוק צווישן דעם מער עמפּירישן "global causal order", וואס דאס קען אנהויבן עקזיסטירן, און די מער לאגישן געדאנק פון "פועל ונפעל", וואס דאס איז וואס האט אלס עקזיסטירט. הגם דער פיזיקעליסט, וואס האלט אז ס'איז נישטא בעצם קיין "העכערס" העכער נאטור וגשמי, האלט אז די צוויי זענען בעצם אחת הן. אויף דעם האט מען אים נישט אפגעפרעגט. ווי אויך אויף די עצם "global causal order" וויל דאך די ערשטע הנחה יא א פועל דכוותיה פאר איר אליין; אט דאס און פון דעם איז דאך די אנגעבליכע ראיה.)

[קהל'ס נער]

א שטיקל הערה אויף די נאמען פונעם אשכול.

אין סוף איז נישט קיין חלק פון מאטעמאטיק, די אשכול וואלט אפשר געקענט הייסן "מאטעמאטיק פון א' ביז ת' טא טהע פאwער אוו ת'"

[מי אני]

אין א דעבאטע צווישן דער טעאיסטישע פילאזאף פרעדעריק קאפלסטאן און דער פילאזאף אלפרעד דזשוּלס עיער האט עיער גע׳טענה׳ט ענליך צו דר. גרעהעם אַפּיִ הנ״ל:

Supposing you asked a question like 'Where do all things come from?' Now that's a perfectly meaningful question as regards any given event. Asking where it came from is asking for a description of some event prior to it. But if you generalize that question, it becomes meaningless. You're then asking what event is prior to all events. Clearly no event can be prior to all events. Because it's a member of the class of all events it must be included in it, and therefore can't be prior to it

לודוויג וויטגענשטיין האט נישט געהאלטן אז דאס איז א גוטע טענה.

ולגבי די הגדרה פון אבן סינא בכלל:

F1F5406E-5298-4662-A0D2-A2624A9710F0.jpeg

[מי אני]

דוד הום האט אויך געפרעגט אַן ענליכע פירכא צום געדאנק פון אבן סינא׳ס הוכחה, ווי דזשים האָלט שרייבט:

Hume's second argument is a better one. Suppose (he has his spokesman Cleanthes say) we think of the history of the world as a series of events. If the world is eternal, this series is an infinite one, with no first or last member. Now, each event in the series can be causally explained by the event that precedes it. Since there is no event that lacks an explanation, everything seems to be explained. "Where then is the difficulty?" Cleanthes asks. He is unimpressed by the obvious rejoinder: that even if each event in the series is causally explained in terms of an earlier event, the series as a whole remains unexplained. For the series as a whole, he insists, is not something over and above the events of which it is composed. "I answer that the uniting of these parts into a whole, like the uniting of several distinct countries into one kingdom, or several distinct members into one body, is performed merely by an arbitrary act of the mind, and has no influence on the nature of things," Cleanthes says. Once all the parts are explained, he submits, it's unreasonable to demand a further explanation of the whole

Seen in this light, an eternal world looks like the cause of itself, since everything within it is caused by something else within it. Hence it requires no external cause for its existence. It is causa sui - an attribute usually reserved for God

[מי אני]

עס איז אינטרעסאנט וואס דזשים האָלט ברענגט אראפ פונעם פיזיקער/מאטעמאטיקער דר. ראַדזשער פּענרוֺיס. דר. פּענרוֺיס האלט אז עס זענען בעצם דא דריי ״וועלטן״: די נאטורליכע מאטעריאלע ״וועלט״, די ״וועלט״ פונעם נפש, און אפלטון׳ס ״וועלט״ פון פּערפעקטע צורות הנ״ל בהאשכול. און די אלע דריי באפעסטיגן זיך איינע דאס אנדערע: די ״וועלט״ פון פּערפעקטע צורות און מאטעמאטיקס ברענגט דאס עקזיסטענץ פונעם מאטעריאלן ״וועלט״ און ליגט אונטער איר, די פיזישע מאטעריאלע ״וועלט״ מיט איר פיזישע מוח וכו׳ ברענגט די ״וועלט״ פונעם נפש, און די ״וועלט״ פונעם נפש המשכלת ברענגט די ״וועלט״ פון פּערפעקטע צורות און מאטעמאטיקס. וחוזר חלילה, און אויף דעם שטייט דאס רעאליטעט פונעם ״יש מאַיִן״.

כ׳האב געקלערט אז אולי קען מען דאס צאמשטעלן מיט׳ן ״אומעגליכן טרייענגעל״ אַפּטיקעל אילוּזשאן מיט וואס דר. פּענרוֺיס איז אויפגעקומען מיט.

CAA3682A-45B7-4F35-B97A-E63980C994E4.png

והיינו, די דריי-עק זענען די דריי ״וועלטן״ וואס איינע ברענגט דאס אנדערע, אבער עס איז בעצם אַן אילוזיע פונעם (מעגליכן) נמנע פון יש מאַיִן.

ואגב, גייט דאס בכלל צוזאמען מיט ווילארד וואן אָרמען קוויין׳ס געדאנק אין אנטאלאגישע קאמיטמענט:

To be is to be a value of a bound variable

עס איז אויך מערקווידיג צו באמערקן אז דער פילאזאף דר. הארטרי פיִלד טענה׳ט אז מ׳קען בעצם צאמשטעלן פיזיקס און זייערע רעזולטאטן אָן צוקומען צו מאטעמאטיקס. (ער נוצט ניוטאן׳ס געזעץ פון גראוויטי אלס א משל. הגם אבער אז עס ווערט מער קאמפליצירט.) דאס גייט קעגן דעם קוויין-פּוטנעם אינדיספּענסיבּיליטי ארגומענט וואס טענה׳ט פאר די אנטאלאגישע ״עכטקייט״ פון מאטעמאטישע ענטיטיס וויבאלד פיזיקס און סייענס מוזן צוקומען דערצו להסביר הריאליטעט והמציאות.