מייבאים כמותיים, בדוקי עריכות אוטומטית, ביוראקראטן, אינטערפעיס רעדאקטארן, emailconfirmed, אינטערפעיס אדמיניסטראַטאָרן, מנטרים, סיסאפן, צוות טכני, מייבאים, מעדכנים, אספקלריה רעדאקטארן
102,362
רעדאגירונגען
ק
החלפת טקסט – "לעכן" ב־"ליכן"
ק (החלפת טקסט – "וויכטיקייט" ב־"וויכטיגקייט") |
ק (החלפת טקסט – "לעכן" ב־"ליכן") |
||
| שורה 99: | שורה 99: | ||
כדי צו געבן צו פארשטיין די [[פונדאמענטן פון מאטעמאטיק]] האט מען אנטוויקלט די געביטן פון [[מאטעמאטישע לאגיק|מאטעמאטישער לאגיק]] און [[געזעמלען טעאריע]], ווי אויך [[קאטעגאריע טעאריע]] וואס ווערט נאכאלץ אנטוויקלט. די פראזע "קריזיס פון פונדאמענטן" וואס באשרייבט די זוך אין אנהייב פונעם 20סטן יארהונדערט נאך פאסיקע פונדאמענטן פאר מאטעמאטיק, איז א פארציענדיקער פענאמען, קאנקרעטיזירט דורך געציילטע אפטיילונגען ווי די [[קאנטראווערסיע וועגן קאנטאר'ס געזעמלען טעאריע]], די [[בראוער-הילבערט קאנטראווערסיע]] און די [[בישאפ-קייזלער קאנטראווערסיע]]. | כדי צו געבן צו פארשטיין די [[פונדאמענטן פון מאטעמאטיק]] האט מען אנטוויקלט די געביטן פון [[מאטעמאטישע לאגיק|מאטעמאטישער לאגיק]] און [[געזעמלען טעאריע]], ווי אויך [[קאטעגאריע טעאריע]] וואס ווערט נאכאלץ אנטוויקלט. די פראזע "קריזיס פון פונדאמענטן" וואס באשרייבט די זוך אין אנהייב פונעם 20סטן יארהונדערט נאך פאסיקע פונדאמענטן פאר מאטעמאטיק, איז א פארציענדיקער פענאמען, קאנקרעטיזירט דורך געציילטע אפטיילונגען ווי די [[קאנטראווערסיע וועגן קאנטאר'ס געזעמלען טעאריע]], די [[בראוער-הילבערט קאנטראווערסיע]] און די [[בישאפ-קייזלער קאנטראווערסיע]]. | ||
מאטעמאטישע לאגיק באהאנדלט באזירן מאטעמאטיק אויף א פעסטער [[אקסיאם|אקסיאמאטישער]] ראם, און פארשט די רעזולטאטן פון דער ראם. דורך דעם קען מען דערגיין געדעל'ס [[צווייטער אומפולשטענדיקייט טעארעם|צווייטן אומפולשטענדיקייט טעארעם]], אפשר דער מערסט בארימטער רעזולטאט פון לאגיק, וואס ווייזט אן אין א נישט פארמאלן אופן אז יעדער [[מאטעמאטישער פארמאליזם]] וואס אנטהאלט | מאטעמאטישע לאגיק באהאנדלט באזירן מאטעמאטיק אויף א פעסטער [[אקסיאם|אקסיאמאטישער]] ראם, און פארשט די רעזולטאטן פון דער ראם. דורך דעם קען מען דערגיין געדעל'ס [[צווייטער אומפולשטענדיקייט טעארעם|צווייטן אומפולשטענדיקייט טעארעם]], אפשר דער מערסט בארימטער רעזולטאט פון לאגיק, וואס ווייזט אן אין א נישט פארמאלן אופן אז יעדער [[מאטעמאטישער פארמאליזם]] וואס אנטהאלט גרונטליכן אריטמעטיק, טאמער ער איז גענוג שטארק (דאס הייסט, אלע טעארעמן וואס מען קען באווייזן זענען געהעריג) מוז די סיסטעם זיין אומפולשטענדיק (דאס הייסט, אז עס זענען פארהאן געהעריגע טעארעמען וואס מען קען נישט באווייזן אין דער סיסטעם). מאדערנע לאגיק ווערט צעטיילט אויף [[רעקורסיע טעאריע]], [[מאדעלן טעאריע]] און [[באווייזן טעאריע]], און האט פעסטע פארהעלטענישן מיט טעארעטישער [[קאמפיוטער וויסנשאפט]]. | ||
:{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="15" | :{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="15" | ||