בשעות הבוקר המאוחרות של 12 ביולי, עד ראייה נתקל בערימה של 20–30 גופות שנערמו מאחורי בניין התחבורה בפוטוצ'ארי. עד ראייה אחר סיפר שבסביבות השעה 12:00, הוא ראה חייל רוצח ילד בסכין בין קהל הפליטים. הוא גם סיפר כי ראה חיילים סרבים מוציאים להורג יותר ממאה גברים בוסנים מאחורי מפעל האבץ שבאזור, ולאחר מכן, טוענים את גופותיהם לתוך משאית, למרות שהמספר והאופי השיטתי של הרציחות שהושמעו על ידי העד הזה עומדות בניגוד לעדות אחרת שהושמעה בבית המשפט זה מראה שההריגות בפוטוצ'ארי התרחשו בצורה לא סדירה.
בלילה זה, חובש של הדאצ'באט היה עד ראייה לאונס:
"ראינו שני חיילים סרבים, אחד מהם עמד על המשמר והאחרים שכבו על הבחורה, בתחתונים מופשלים. וראינו בחורה שוכבת על הקרקע, על איזה סוג של מזרן. היה דם על המזרן, אפילו היא הייתה מכוסה דם. היו לה חבורות ברגליים. היה לה אפילו דם שנזל על הרגליים. היא הייתה שרויה בהלם טוטאלי. היא נעשתה משוגעת לגמרי."
במשך הלילה ושעות הבוקר המוקדמות, סיפורים אודות מעשי האונס והרציחות התפשטו בתוך ההמון והפחד במחנה החריף.
הפרדת הגברים הבוסנים בפוטוצ'ארי.
מבוקר ה-12 ביולי, כוחות סרבים החלו לקבץ אנשים מאוכלוסיית הפליטים בפוטוצ'ארי ולהחזיק אותם במקום נפרד, לאחר מכן כשהפליטים הבוסנים התחילו לעלות לאוטובוסים, חיילים סרבים הפרידו את הגברים בגיל גיוס ומדי פעם גם צעירים וזקנים הופרדו, גברים אלה נלקחו לבניין בפוטוצ'ארי שכונה "הבית הלבן". כשהאוטובוסים הסיעו את הנשים, הילדים והקשישים לעבר הצפון, לקראת שטח בוסני, הם נעצרו בדרך שוב כדי לנפות גברים. כבר בערב ה-12 ביולי שמע רב-סרן פרנקן מהדאצ'באט שאף גבר לא הגיע עם הנשים והילדים ליעד שלהם בקלדאן.
ב-13 ביולי כוחות דאצ'באט היו עדים לסימנים ברורים שהסרבים הוציאו להורג כמה מהגברים הבוסנים שהופרדו. לדוגמה, רב-טוראי ואסן ראה שני חיילים לוקחים אדם מאחורי "הבית הלבן". לאחר מכן הוא שמע ירייה ושני החיילים הופיעו שוב, לבד. קצין דאצ'באט אחר ראה חיילים סרבים מוציאים להורג אדם לא חמוש, בירייה בודדת לראש. הוא גם שמע 20–40 יריות בשעה, בכל אחר הצהריים. כאשר חיילי הדאצ'באט סיפרו לקולונל קוסף קינגורי, משקיף צבאי מטעם האו"ם (UNMO) באזור סרברניצה, על האיש שנלקח מאחורי "הבית הלבן" ולא חזר, קולונל קינגורי הלך לחקור את המקרה. כאשר הוא התקרב הוא שמע יריות, אך נעצר על ידי חיילים סרבים לפני שגילה מה הולך שם.
גירוש הנשים והילדים.
קטע מהטלוויזיה הסרבית מראה נשים וילדים מופרדים מהגברים ומועמסים על אוטובוסים. בקטע נראית הבטחה של הגנרל ראטקו מלאדיץ' כשהוא אומר שכל אחת מהנשים תילקח בביטחה החוצה באוטובוס ולאחר מכן הן יאוחדו מחדש עם הגברים.
לאחר שהמצלמות כובו, הגברים נרצחו על ידי הצבא הסרבי. למעלה מ-60 משאיות עמוסות בגברים בוסנים נלקחו מסרברניצה לאתרי הוצאות להורג. שם הם נקשרו, עיניהם כוסו והם נורו עם רובים אוטומטיים. כמה מההוצאות להורג בוצעו בלילה, תחת מנורות קשת, דחפורים תעשייתיים דחפו את הגופות לתוך קברי אחים. אחדים נקברו בחיים, ז'אן-רנה רוז, שוטר צרפתי אשר גבה עדויות מבוסנים, סיפר ב-1996 לבית הדין בהאג. הוא העיד שכוחות סרבים רצחו והרגו פליטים לפי שיקול דעתם, הרחובות היו מלאים בגופות והנהרות היו אדומים מדם. עוד הוא סיפר, כי רבים מהאנשים התאבדו כדי להימנע מקיצוץ האף, השפה והעיניים. בין היתר הוא השמיע תיאורים מחרידים של רצח המונים, על מקרים שבהם מבוגרים נאלצו להרוג את ילדיהם או לצפות בחיילים שמים קץ לחייהם.
הוא סיפר "חייל אחד פנה לאישה במרכז ההמון שהילד שלה בכה. החייל שאל אותה מדוע הילד בוכה והיא הסבירה לו שהוא רעב. החייל נתן לה הערה כמו 'הוא לא יהיה רעב עוד'. ולאחר מכן חתך את גרונו לפני כולם."
כתוצאה מהמשא ומתן הממצה של האו"ם עם הכוחות הסרבים, הנשים מסרברניצה הועברו בכפייה לאזור ממשלתי מבוקר (בערך 25,000 נשים - כפי שהצהיר התובע מטעם ה-ICTY).
מספר אוטובוסים מעולם לא הגיעו ליעדם הבטוח. לדוגמה, בהתאם לתיאורי העד שניצל מהטבח, קדיר חביבוביץ', שהסתיר עצמו באחד מראשוני האוטובוסים שלקח את הנשים וילדים מבסיס האו"ם ההולנדי מפוטוקרי לקלדאנג', "חביבוביץ' ראה לכל הפחות כלי רכב מלא בנשים בוסניות נוסע מהאזור הממשלתי המבוקר". אחד מהשובים שלו התלונן שהם טעו בבחירת הנשים מסרברניצה. חביבוביץ' סיפר כי הגברים נלקחו למקום רחוק ליד 'רסיקה גאי' מאוחר בלילה. כאשר הקבוצה הראשונה נלקחה מהמשאית ונורתה, הוא סיפר שהוא קפץ מהמשאית והתגלגל למטה לצד מדרון, ירייה מהחיילים פיספסה אותו והוא הצליח להימלט. הוא הגיע לאזור הממשלתי המבוקר ב-20 באוגוסט 1995.
שלום רבינוביץ'
תורה אפקטיבית
בלוגיקה מתמטית, תורה אפקטיבית היא תורה שקיימת מכונת טיורינג שמכריעה את קבוצת האקסיומות וצעדי ההיקש שלה. כלומר ניתן להכריע בזמן סופי לגבי כל טענה אם היא אקסיומה או לא, ולגבי כל צעד היקש אם הוא חוקי.
תורה אפקטיבית מורכבת מהרכיבים הבאים:
בתורה אפקטיבית קיים אלגוריתם לבדיקת הוכחות. בתורה שאינה אפקטיבית, יכולות להיות הוכחות שלא ניתן לבדוק את נכונותן, כי אין דרך להכריע אם האקסיומות וצעדי ההיקש חוקיים.
לוקיוס טארקויניס פריסקוס
תע&quot;א
ג'ון פנסטיל
יצחק דב ברקוביץ'
גביע העולם בכדורגל נשים
גביע העולם בכדורגל נשים (באנגלית: FIFA Women's World Cup) הוא טורניר כדורגל הנשים החשוב בעולם. בטורניר מתמודדות 24 מתוך כלל הנבחרות הלאומיות לנשים החברות בפיפ"א. הוא נערך לראשונה ב-1991, ומאז אחת לארבע שנים. הטורניר מתוכנן להתרחב ל-32 נבחרות החל מגביע העולם לנשים ב-2023.
הנבחרות מתחרות במספר אצטדיונים במדינה המארחת במשך כחודש. שלב המוקדמות, הנמשך כשנתיים, משמש לקביעת 23 הנבחרות שיעפילו לטורניר עם נבחרת המדינה המארחת. בטורניר המוקדמות האחרון השתתפו כ-134 נבחרות, המחולקות לשישה אזורים לפי שיוכן היבשתי וקונפדרציית הכדורגל שאליה הן משתייכות.
בטורנירי גביע העולם שנערכו עד כה זכו ארבע נבחרות. נבחרת ארצות הברית זכתה בגביע ארבע פעמים. נבחרת גרמניה זכתה בשני גביעים. האלופות האחרות הן נבחרות נורווגיה ויפן.
במשחק הגמר של 2015, שנערך בקנדה, צפו כ-25 מיליון אנשים.
תוצאות הטורנירים.
בסך הכל השתתפו 32 נבחרות בגביע עולם אחד לכל הפחות. ארבע מתוכן זכו בטורניר, והן הוסיפו למדים שלהן כוכב אחד עבור כל זכייה. ארצות הברית היא הנבחרת המצליחה ביותר עם ארבע זכיות בגביע. גרמניה (2003 ו-2007) וארצות הברית (2015 ו-2019) זכו בשני טורנירים רצופים. ארצות הברית ניצבת במקום הראשון במספר ההופעות בגמרים (5), והיא גם הנבחרת שסיימה הכי הרבה פעמים בין שלוש הראשונות (8).
כל הנבחרות שהשתתפו בשני גמרים ומעלה הפסידו במשחק אחד לכל הפחות.
הישגי הנבחרות המארחות ומחזיקות הגביע.
בטבלה שלהלן מופיעים הישגי הנבחרות שאירחו את גביע העולם באותה השנה, ואת אלו שזכו בו בטורניר שקדם לו:
פרסים.
בסוף כל טורניר גמר של גביע העולם, מחולקים מספר פרסים לשחקניות ולנבחרות שבלטו מהשאר, בהיבטים שונים של המשחק.
נעל הזהב.
פרס נעל הזהב מוענק למלכת השערים של כל טורניר גביע העולם. בנוסך, מוענקים פרסי נעל הכסף ונעל הארד לשחקניות שסיימו במקום השני והשלישי בטבלת המבקיעים. הפרס הוענק לראשונה בגביע העולם הראשון ב-1991. מאז 2003 מופעל כלל ולפיו במקרה שיש שוויון בין שחקניות במספר השערים הבכירה יותר היא זו שלזכותה מספר גבוה יותר של בישולים. קבוצת המחקר הטכני של פיפ"א היא זו הקובעת האם מסירה כלשהי נחשבת כאסיסט או לא. אם גם במצב זה יש שוויון יוענק הפרס לשחקנית שהשתתפה בפחות דקות משחק.
כדור הזהב.
כדור הזהב הוא פרס המוענק לכדורגלנית הטובה ביותר בכל גביע עולם, שנבחרת מתוך רשימה המחוברת על ידי הוועדה הטכנית של פיפ"א. המנצחת נבחרת על ידי נציגי התקשורת. השחקניות שסיימו במקום השני והשלישי בהצבעת אנשי התקשורת מקבלות את פרסי כדור הכסף וכדור הארד של אדידס בהתאמה.
כפפת הזהב.
כפפת הזהב הוא פרס שמוענק לשוערת הטובה ביותר בכל גביע עולם. קבוצת המחקר הטכני של פיפ"א (FIFA Technical Study Group) מכריזה על השוערת הטובה ביותר בטורניר לפי ביצועיה במהלך התחרות. אף על פי שלשוערות יש פרס ייחודי לעמדה שלהן, הן עדיין זכאיות להיבחר כמצטיינות הטורניר, כגון המקרה של הופ סולו שזכתה בפרס כדור הארד ב-2011. הפרס הוענק לראשונה בגביע העולם 2011, ולפני כן הוענק לשוערות שנכללו בנבחרת הטורניר.
פרס השחקנית הצעירה.
פרס השחקנית הצעירה הוא פרס שהוענק לראשונה בגביע העולם 2011 לקייטלין פורד מאוסטרליה. הפרס ניתן לשחקנית הטובה ביותר בטורניר שגילה לכל היותר 21 שנים. בגביע העולם 2015 השחקניות שהיו כשירות לכך הן אלה שנולדו לאחר 1 בינואר 1994. הבחירה נעשית על ידי קבוצת המחקר הטכני של פיפ"א.
פרס פיפ"א למשחק הוגן.
פרס פיפ"א למשחק הוגן מוענק לנבחרת עם הרקורד הטוב ביותר של משחק הגון במהלך הטורניר, כלומר הכי מעט כרטיסים ועברות. רק נבחרות שהעפילו משלב הבתים רשאיות להתחרות על הפרס. הנבחרת הזוכה מקבלת גביע, תעודה, מדליה לכל שחקנית ואיש צוות רשמי, ומענק בסך 50,000 דולרים עבור ציוד כדורגל לשחקניות צעירות.
פרס הקבוצה המבדרת ביותר.
פרס פיפ"א לקבוצה המבדרת ביותר היה בעבר אחד הפרסים בגביע העולם. פרס זה הוענק באופן סובייקטיבי לנבחרת שעשתה את המירב על מנת לשמח את הציבור בגישה חיובית למשחק. הפרס הוענק לאחר השתתפות הציבור במשאל מיוחד. לאחר גביע העולם 2007, הופסקה חלוקת הפרס.
שיאים.