אקסיומה מתמטיקה הכריזה על השלמת פורמליזציה ממוחשבת של משפט הסיווג לקבוצות פשוטות סופיות, או "המשפט הגדול", אחד ההישגים הגדולים ביותר במתמטיקה של המאה ה-20. המשפט [הערה=6469|מסווג] קבוצות מתמטיות פשוטות סופיות - היסודות הבסיסיים שמהם ניתן להרכיב כל קבוצה סופית, בדיוק כפי שמספרים מרוכבים נלקחים לגורמים ראשוניים. העבודה על ההוכחה שלו נמשכת כבר יותר מחצי מאה. בשנת 1963, המתמטיקאים האמריקאים וולטר פייט וג'ון גריגס תומפסון [הערה=6468|הוכיחו] שהסדר של כל קבוצה סופית לא-אבלית הוא זוגי. דניאל גורנשטיין הצליח להשלים את המיון ב-1983, וב-2004 מייקל אשבאכר וסטיבן ד. סמית' פרסם סיכום בן 1,221 עמודים, והשלים את מה שנודע כדור הראשון של ראיות. בדיוק הפורמליזציה הזו עסקה בה אקסיומה מתמטיקה.
אקסיומה מתמטיקה הכריזה על השלמת פורמליזציה ממוחשבת של משפט הסיווג לקבוצות פשוטות סופיות, או "המשפט הגדול", אחד ההישגים הגדולים ביותר במתמטיקה של המאה ה-20. המשפט [הערה=6469|מסווג] קבוצות מתמטיות פשוטות סופיות - היסודות הבסיסיים שמהם ניתן להרכיב כל קבוצה סופית, בדיוק כפי שמספרים מרוכבים נלקחים לגורמים ראשוניים. העבודה על ההוכחה שלו נמשכת כבר יותר מחצי מאה. בשנת 1963, המתמטיקאים האמריקאים וולטר פייט וג'ון גריגס תומפסון [הערה=6468|הוכיחו] שהסדר של כל קבוצה סופית לא-אבלית הוא זוגי. דניאל גורנשטיין הצליח להשלים את המיון ב-1983, וב-2004 מייקל אשבאכר וסטיבן ד. סמית' פרסם סיכום בן 1,221 עמודים, והשלים את מה שנודע כדור הראשון של ראיות. בדיוק הפורמליזציה הזו עסקה בה אקסיומה מתמטיקה.
![אקסיומה מתמטיקה הכריזה על השלמת פורמליזציה ממוחשבת של משפט הסיווג לקבוצות פשוטות סופיות, או "המשפט הגדול", אחד ההישגים הגדולים ביותר במתמטיקה של המאה ה-20. המשפט [הערה=6469|מסווג] קבוצות מתמטיות פשוטות סופיות - היסודות הבסיסיים שמהם ניתן להרכיב כל קבוצה סופית, בדיוק כפי שמספרים מרוכבים נלקחים לגורמים ראשוניים. העבודה על ההוכחה שלו נמשכת כבר יותר מחצי מאה. בשנת 1963, המתמטיקאים האמריקאים וולטר פייט וג'ון גריגס תומפסון [הערה=6468|הוכיחו] שהסדר של כל קבוצה סופית לא-אבלית הוא זוגי. דניאל גורנשטיין הצליח להשלים את המיון ב-1983, וב-2004 מייקל אשבאכר וסטיבן ד. סמית' פרסם סיכום בן 1,221 עמודים, והשלים את מה שנודע כדור הראשון של ראיות. בדיוק הפורמליזציה הזו עסקה בה אקסיומה מתמטיקה.](https://cdn4.telesco.pe/file/BMawd57ldLBx7scPd_4U0Y4hgaObhgyScklD5dsEmtqJTKzBOz96kllDJFZNgDiYmDO-ScuBcpT8wixC8PdlsEhMibcMLx4rtqrKLNXfhTo3J5xJetYnbNHYEfeAMetwFQMqYUn06mj5kU000owfuK5qouTDctSxoBi_TdqfSCshQWdqeejxrMN6NgI4MQ765qzXLtqvxlqTxIHxAYzQo1UjmbyWrLLFrsY9A6kwTYeQXCN8d073EslWY_wGH7MgRgSVtselCK9vHePMHzjsYSjCi216KuCuxCO2j1Tu_A49b_0I_FyUPoKiW6TIZWabuqwLHCDPANcW82qUcMaYWg.jpg)
Plus sur Radar
Envie de voir tous les signalements en temps réel ?
Des centaines de sources dans le monde, traduites dans votre langue, avec des alertes sur ce qui compte pour vous.
Inscription gratuite Déjà inscrit ? Connexion