אייגנארטיגע טעארעמען אין מאטעמאטיק
מאטעמאטיק ווערט אָפט באַטראַכט ווי אַ זאַמלונג פון פאָרמולעס און חשבונות, אָבער אונטער איר ליגט אַ רייכע, שיינע און מאל איבעראשנדיקע וועלט פון געדאנקען. איין פאָרעם פון "מאַגיש" אין מאטעמאטיק איז דער טעאָרעם: אַן אויסזאָג וואָס איז באַוויזן אמת דורך שטרענגער לאָגיק. אָבער, נישט אַלע טעאָרעמען זענען באשאפן גלייך. עטלעכע טעאָרעמען ווערן באַטראַכט ווי יינציק ווייַל זייערע רעזולטאַטן ויסקומען אומגעריכט, זייערע באַווייזן זענען ומגעוויינטלעך, אָדער זייערע אימפּליקאַציעס זענען אַזוי ווייטגרייכנדיק אַז זיי טוישן דעם וועג ווי מיר פֿאַרשטיין נומער, פּלאַץ און מוסטערן. אין דעם אַרטיקל וועלן מיר דיסקוטירן די באַדייטונג פון "יינציקאַרטיקער טעאָרעם", קוקן אויף עטלעכע באַרימטע ביישפילן, און פארוואס אַזעלכע טעאָרעמען זענען וויכטיק פֿאַר דער פֿאָרשריט פון וויסנשאַפֿט.
וואָס איז די איינציקאַרטיקע טעאָרעם?
א טעארעם קען באטראכט ווערן אליין פאר פארשידענע סיבות. ערשטנס, קען עס ברענגען א מסקנא וואס איז קעגן דעם טעגליכן אינטואיציע. צווייטנס, קען עס פארבינדן צוויי לכאורה פארשידענע געביטן פון מאטעמאטיק, למשל, פארבינדן געאמעטריע מיט אלגעברע אדער נומער טעאריע מיט אנאליז. דריטנס, קען דער טעארעם האבן א זייער עלעגאנטן באווייז: קורץ אבער שטארק, אדער אזוי קאמפליצירט אז עס קען פארלאנגען צענדליקער אדער אפילו הונדערטער בלעטער.
דאס ווארט "אייגנאַרטיק" דאָ מיינט נישט אַז עס איז נאָר דאָ איין וויכטיקער טעאָרעם, נאָר גאַנץ אַז דער טעאָרעם האט אַ באַזונדערן כאַראַקטער וואָס מאַכט אים אַרויסשטיין צווישן אַנדערע טעאָרעמען. עטלעכע טעאָרעמען ווערן אפילו איקאָנען פון וויסנשאַפטלעכער קולטור ווייל זיי ווערן אָפט ציטירט, שטודירט און באַוואונדערט.
דער פּיטהאַגאָרעאַן טעאָרעם : קלאַסיש אָבער שטענדיק אַמייזינג
איינע פון די מערסט בארימטע טעארעמען איז דער פיטאגאראס טעארעם, וואס זאגט אז פאר א רעכטן דרייעק מיט פערפענדיקולערע זייטן \(a\) און \(b\), און היפאטענוז \(c\), האלט זיך די פאלגנדע:
\[
אַ ^ 2 + ב ^ 2 = c ^ 2
\]
כאָטש אַ קלאַסישער טעאָרעם, ליגט זײַן אײַנציקאַרטיקייט אין זײַן אוניווערסאַליטעט. דער טעאָרעם איז אָנווענדלעך צו אַ ברייטע פאַרשיידנקייט פון קאָנטעקסטן: דיסטאַנץ מעסטונג, נאַוויגאַציע, ציוויל אינזשעניריע, קאָמפּיוטער גראַפיקס, און אפילו פיזיק. נאָך מער פֿאַרכאַפּנדיק, הונדערטער באַווײַזן פון דעם טעאָרעם זענען געפֿונען געוואָרן איבער דער געשיכטע, פֿון אַלטע געאָמעטרישע צוגאַנגען ביז מאָדערנע אַלגעברײַשע מעטאָדן. זעלטן האָט אַ פֿונדאַמענטאַלער טעאָרעם אַזוי פֿיל באַווײַזן, און דאָס ווײַזט די טיפֿע טיפֿקייט פֿון דעם פּשוטן געדאַנק.
דער פונדאַמענטאַלער טעאָרעם פון אַריטמעטיק: די אידענטיטעטן פון אומרעפּלייבבארע נומערן
אין נומער טעאריע, איז דא דער פונדאַמענטאַלער טעאָרעם פון אַריטמעטיק: יעדע גאַנצע צאָל גרעסער ווי 1 קען געשריבן ווערן ווי אַ פּראָדוקט פון פּרימצאָלן אויף אַ יינציקן וועג, אַנדערש ווי די סדר פון פאַקטאָרן. למשל:
\[
60 = 2^2 × 3 × 5
\]
די אייגנארטיקייט פון דעם טעארעם ליגט אין זיין יסוד פאר כמעט אלע נומערן טעאריע. אן זיין "אייגנארטיקייט" (אייגנארטיג אין דעם זין פון אן אומבאדייטנדיקער פריים פאקטאריזאציע רעפרעזענטאציע ), וואלטן אסאך אנדערע קאנצעפטן צוזאמגעפאלן: טיילבארקייט, מולטיפלס, GCD-LCM, און אפילו מאדערנע קריפטאגראפיע. אין דער דיגיטאלער וועלט, פארלאזט זיך די זיכערהייט פון ענקריפשאן ווי RSA אויף די אייגנשאפטן פון פריים נומערן און די שוועריקייט פון פאקטאריזירן גרויסע נומערן. אזוי, איז דער טעארעם נישט נאר טעארעטיש אייגנארטיג, נאר האט אויך א טיפן טעכנאלאגישן איינפלוס.
געדעל'ס אומפארענדיקייט טעארעם: אן איינציגארטיקייט וואס האט געשאקלט לאגיק
אויב עס איז ווען געווען א טעארעם וואס האט זיך געפילט סיי "פילאסאפיש" און סיי מאטעמאטיש, דעמאלט איז געדעל'ס אומפארענדיקייט טעארעם א שטארקער קאנדידאט. בקיצור, געדעל האט באוויזן אז אין יעדן פארמאלן סיסטעם וואס איז שטארק גענוג צו אנטהאלטן אריטמעטיק, זענען דא אמתע אויסזאגן וואס קענען נישט באוויזן ווערן אינעם סיסטעם. דאס הייסט, קיין אקסיאמאטישער סיסטעם קען נישט זיין סיי פולשטענדיג (אלע אמתן קענען באוויזן ווערן) און סיי קאנסיסטענט (קיין סתירות נישט) אויב דער סיסטעם איז שטארק גענוג.
די אייגנארטיקייט פון דעם טעארעם ליגט אין זיין איינפלוס אויף מאטעמאטיקערס לאנג-געהאלטענע האפענונג צו "לייזן" מאטעמאטיק מיט איין, פערפעקטן אקסיאם סיסטעם. געדעל האט דעמאנסטרירט די איינגעבוירענע גרענעצן פון פארמאלן באווייז. כאטש עס שיינט אבסטראקט, האט די געדאנק באאיינפלוסט לאגיק, טעארעטישע קאמפיוטער וויסנשאפט, און אונזער פארשטאנד פון מאטעמאטישער אמת.
פערמא'ס לעצטער טעארעם: פשוטע אויסזאג, קאלאסאלער באווייז
פערמא'ס לעצטער טעארעם זאגט אז עס זענען נישטא קיין פאזיטיווע גאנצע צאלן _(a), _(b) און _(c) וואס באפרידיגן:
\[
a^n + b^n = c^n
\]
פֿאַר \(n > 2\). די אויסזאָג איז אַזוי פּשוט, עס קוקט אפילו אויס ווי אַ וואַריאַציע פֿון דעם פּיטהאַגאָרעאַן טעאָרעם. אָבער, דער טעאָרעם האָט "פֿאַרפֿירט" מאַטעמאַטיקער פֿאַר איבער 350 יאָר. ערשט אין די 1990ער יאָרן איז ענדרו וויילז געלונגען צו באַווײַזן עס מיט מאָדערנע מאַטעמאַטישע מכשירים ווײַט פֿון דער אָריגינעלער פּראָבלעם, אַרײַנגערעכנט די טעאָריע פֿון עליפּטישע קורוועס און מאָדולאַרע פֿאָרמען.
די אייגנארטיקייט פון דעם טעארעם ליגט נישט נאר אין זיין לאנגער געשיכטע, נאר אויך אין זיין באווייז, וואס ווייזט א וויכטיגן פאקט: מאטעמאטיק אנטוויקלט זיך אפט איבער פעלדער. באווייזן א פשוטע אויסזאג פארלאנגט מאנchmal א זייער סאפיסטיקירטע טעאריע.
בייעס' טעארעם : אייגנארטיג ווייל עס ענדערט דעם וועג ווי מיר טראכטן
אין סטאַטיסטיק און וואַרשיינלעכקייט , גיט בייס' טעאָרעם אַ וועג צו דערהייַנטיקן גלויבונגען באַזירט אויף נייַ אינפֿאָרמאַציע. איר אַלגעמיינע פאָרעם איז:
\[
פּ(A|B) = \frac{P(B|A)P(A)}{P(B)}
\]
די טעארעם איז איינציגארטיג ווייל זי דינט נישט נאר אלס א רעכענונג-געצייג נאר אויך אלס א ראם פאר טראכטן. אין דער מאדערנער תקופה ווערט בייעס' טעארעם גענוצט אין מעדיצינישער דיאגנאז, אימעיל ספּאַם פילטערינג, רעקאמענדאציע סיסטעמען, און אפילו מאשין לערנען. זי לערנט אז "ווארשיינליכקייט" איז נישט פשוט א צופעליגע געלעגנהייט נאר קען אויך רעפרעזענטירן א גראד פון בטחון וואס פארבעסערט זיך ווען דאטא זאמלט זיך אן.
טעאָרעם וועגן אומענדלעכקייט: קאַנטאָר און די מאָס פון אומענדלעכקייט
געארג קאנטאר האט פארגעשטעלט אן איבעראשנדע געדאנק: נישט אלע אומענדלעכע נומערן זענען גלייך גרויס. למשל, די גרופן פון גאנצע צאלן און ראציאנעלע נומערן זענען ציילבאר, אבער די גרופע פון רעאלע נומערן איז אומציילבאר. איינע פון קאנטאר'ס בארימטע רעזולטאטן איז דער דיאגאנאלער ארגומענט, וואס ווייזט אז עס איז אוממעגלעך צו ליסטן אלע רעאלע נומערן אינגאנצן.
די אייגנארטיקייט פון קאנטאר'ס טעארעמען ליגט אין זייער קעגן-אינטואיטיוון נאטור. אסאך מענטשן טראכטן "אינפיניטי איז אינפיניטי," אבער מאטעמאטיק ווייזט די עקזיסטענץ פון אומענדלעכע לעוועלס. די געדאנק איז נישט נאר וויכטיג אין סעט טעאריע נאר אויך באאיינפלוסט די יסודות פון מאדערנער מאטעמאטיק.
פארוואס איז די איינציגארטיגע טעארעם וויכטיג?
אייגענאַרטיקע טעאָרעמען שפּילן אַ באַדײַטנדיקע ראָלע אין דער אַנטוויקלונג פֿון מאַטעמאַטיק און וויסנשאַפֿט. ערשטנס, זיי אַנטפּלעקן פֿאַרבאָרגענע סטרוקטורן וואָס זענען נישט קענטיק פֿאַר געוויינטלעכע אָבסערוואַציע. צווייטנס, זיי עפֿענען אָפֿט נײַע פֿעלדער אָדער פֿאַרשטאַרקן פֿאַרבינדונגען צווישן זיי. דריטנס, אייגענאַרטיקע טעאָרעמען טרענירן קריטיש טראַכטן: מיר לערנען זיך אַז אינטואיציע איז מאַנטשמאָל פֿאַלש, און אַז נאָר אַ שטרענגער באַווײַז איז דער לעצטער באַשטימענדיקער פֿון אמת.
דערצו, אייגנארטיגע טעארעמען זענען אינספּירירנדיק. ווען א קליינע געדאנק קען ברענגען ווייטגרייכנדיקע קאנסעקווענצן, זעען מיר אז מאטעמאטיק איז נישט נאר א געצייג, נאר א טיפע קונסט פון טראכטן.
קלאָוזינג
מאטעמאטיק איז פול מיט טעארעמען, אבער עטלעכע פון זיי שטייען ארויס אלס אייגנארטיג צוליב זייער שיינקייט, איבערראשונג, אדער אויסערגעווענליכער איינפלוס. פון דעם קלאסישן פיטאגאראס טעארעם ביזן פונדאמענטאלן פונדאמענטאלן טעארעם פון אריטמעטיק, ביז געדל און קאנטאר'ס אויפשאקלען פון אונזער פארשטאנד פון לאגיק און אומענדלעכקייט, ווייזן זיי אלע איין זאך: מאטעמאטיק בליט דורך א קאמבינאציע פון שעפערישקייט און שטרענגקייט. אייגנארטיגע טעארעמען נישט נאר פארברייטערן אונזער וויסן, נאר אויך ענדערן דעם וועג ווי מיר זעען די וועלט - אז הינטער די נומערן און סימבאלן, איז דא א געשיכטע פון אויסערגעווענליכע געדאנקען.
אויב איר ווילט, קען איך צופּאַסן דעם אַרטיקל צו זײַן מער פֿאָקוסירט אויף אַן איינציקער טעמע (למשל, "דער מערסט קעגן-אינטואיטיווער טעאָרעם," "דער טעאָרעם וואָס האָט געביטן טעכנאָלאָגיע," צי "אַן עלעגאַנטער טעאָרעם מיט אַ קורצן באַווײַז") צי צולייגן אַ ביבליאָגראַפֿיע און רעפֿערענצן.
