הגדרה פורמלית זו מאפשרת לטפל במושג האינטואיטיבי "הוכחה" באופן פורמלי במסגרת תחום הלוגיקה מתמטית. הענף של לוגיקה מתמטית העוסק בהוכחות קרוי תורת ההוכחות.
פושקע
באטן גווינט
באטן גווינט (באנגלית: Button Gwinnett; 1732 – 19 במאי 1777) היה מנציגי ג'ורג'יה בחתימה על הכרזת העצמאות של ארצות הברית ומושל ג'ורג'יה השמיני (למעשה הוא היה המושל השני מאז קבלת עצמאות ארצות הברית, אך מיספור המושלים הרשמי מתחיל מהתקופה הקולוניאלית).
ביוגרפיה.
גווינט נולד בגלוסטרשייר שבאנגליה להורים ממוצא ולשי. אביו, סמואל, היה כומר. גווינט הוטבל בשנת 1735, למד בבתי ספר מקומיים ולאחר מכן החל לעבוד כסוחר בעיר בריסטול. בשנת 1755 עבר להתגורר בוולברהאמפטון וכעבור שנתיים נישא. בשנת 1762 היגר גווינט אל אמריקה עם רעייתו.
גווינט התיישב תחילה בקרוליינה הדרומית ובשנת 1765 עבר אל סוואנה שבג'ורג'יה. מרכולתו נמכרה על ידו לצורך קניית קרקע באי סנט קתרין וגווינט החל לעבוד בחקלאות. הצלחתו הביאה לצבירת הון ומעמד וב-1769 הוא לאספת הנבחרים של ג'ורג'יה. לאחר מכן הוצע לו לעמוד בראש המיליציה של ג'ורג'יה, אך הוא דחה את התפקיד. באותה עת הוא נבחר לכהן בקונגרס הקונטיננטלי השני. גווינט היה בין התומכים בהכרזת העצמאות של ארצות הברית והיה בין חותמי מסמך ההכרזה. באותה תקופה הוא היה בין המועמדים לתפקיד צבאי בכיר בצבא הקונטיננטלי.
בשנת 1777 כיהן גווינט בבית הנבחרים של ג'ורג'יה. הוא ניסח את הנוסח הראשוני של חוקת המדינה וכעבור זמן קצר נבחר ליו"ר בית הנבחרים. בעקבות מותו של מושל ג'ורג'יה ארצ'יבלד בולוק, מונה גווינט לממלא מקומו וכיהן בתפקיד במהלך הפלישה אל מזרח פלורידה, שהייתה נתונה תחת שלטון הבריטים. הפלישה כשלה ובמאי 1777 הפסיד גווינט בבחירות לתפקיד המושל.
לאורך שנות פעילותו הפוליטית היה גווינט נתון במאבק מתמשך מול לאכלן מקינטוש. מקינטוש היה, בין היתר, המועמד שנבחר לתפקיד שאליו התמודד גווינט בצבא הקונטיננטלי והוא ששלח את פקודיו אל הפלישה במזרח פלורידה. מקינטוש ביקר רבות את התנהלותו של גווינט בפלישה ובתגובה קרא גווינט לקיום דו-קרב ביניהם. הדו-קרב, שנערך ב-16 במאי 1777, הביא לפציעתם של השניים, וכעבור שלושה ימים נפטר גווינט מפצעיו.
חתימת ידו של גווינט מוערכת כחתימה היקרה ביותר עבור אישיות אמריקנית, וזאת לאור היותו דמות שולית קודם לחתימה על הכרזת העצמאות ופטירתו זמן קצר לאחריה. טווח הזמנים הקצר הותיר מסמכים בודדים שנושאים את חתימתו וזו נמכרת בסכום שעולה על 150,000 דולרים.
פרפר (פירושונים)
דספוטט מוראה
דספוטט מוראה (Δεσποτάτο του Μορέως) או דספוטט מיסטרס (Δεσποτάτο του Μυστρά) הייתה יחידה טריטוריאלית באימפריה הביזנטית, אשר השתרעה בשיאה בראשית המאה ה-15 על כל חצי האי מוראה, הידוע כיום כפלופונסוס ביוון. בדרך כלל, הדספוט שניהל אותה היה בן הקיסר הביזנטי.
היסטוריה.
הדספוטט הוקמה ב-1348 כאשר הקיסר הביזנטי יוחנן השישי קנטקוזנוס שלח את בנו השני, מנואל קנטקוזנוס, לייצב את המצב הפוליטי בפלופונסוס. בירתה של הדספוטט שכנה במיסטרס בצידם המזרחי של הרי טייגטוס, מעל חורבותיה של ספרטה. ב-1383 תפסה השושלת הפלאיאולוגנית את השלטון במוראה, דבר שהביא להתקרבות בינה לבין השלטון המרכזי של האימפריה הביזנטית ולעליית חשיבותה.
השנים הראשונות של המאה ה-15 היו שנות שלום בפלופונסוס, ובין הדספוטט לבין הסולטאן העות'מאני מהמט הראשון שררו יחסים טובים. מוראה שמרה על יחסים טובים גם עם הכס הקדוש ועם ונציה. בשנים אלה הייתה מיסטרס למרכז התרבותי של העולם הביזנטי, והיא משכה אליה מדענים, אנשי דת ופילוסופים מהבירה קונסטנטינופול. לאחר שסיפחה את נסיכות אכאיה הפרנקית ב-1430, שלטה מוראה כמעט על כל שטחו של הפלופונסוס, והיא שגשגה למרות שקיעתה של האימפריה הביזנטית. אולם לאחר מותו של מהמט הראשון החלו העות'מאנים פושטים על הפלופונסוס ב-1423, ומיסטרס הותקפה ונבזזה. כיבוש קונסטנטינופול ב-1453 וסופה של האימפריה הביזנטית, לוו גם בהתקפה על הפלופונסוס ובהתקוממות התושבים האלבנים בחצי האי. כל אלה החלישו את מוראה, וב-31 במאי 1460, נכנעה בירתה מיסטרס למהמט השני ללא קרב. באותה שנה כבשו העות'מאנים את כל הערים הביזנטיות בפלופונסוס, ומוראה ירדה מעל בימת ההיסטוריה.
פפיון
סטיבן הוקר
סטיבן "סטיב" לזלי הוקר, מדליה (OAM) (באנגלית: Steven "Steve" Leslie Hooker, OAM; נולד ב-16 ביולי 1982) הוא אתלט אוסטרלי המתמחה בקפיצה במוט. הוא אלוף אולימפי (בייג'ינג 2008) ואלוף העולם (ברלין 2009). בעל שיא אישי של 6.06 מטר באולם ו-6.00 מטר באצטדיון.
ביוגרפיה.
הוקר נולד במלבורן להורים ספורטאים, אביו היה אלוף אוסטרליה בריצה ל-800 מטר ואמו אריקה הייתה קופצת לרוחק שייצגה את אוסטרליה באולימפיאדת מינכן (1972).
בנעוריו הצטיין הוקר בענפי האתלטיקה והפוטבול האוסטרלי, מגיל 17 החל להתמקד בקפיצה במוט בשל הסיכוי להגיע למשחקים האולימפיים, בשנת 2000 השתתף באליפות העולם לנוער באתלטיקה וסיים רביעי, בתוצאה של 5.20 מטר.
באולימפיאדת אתונה (2004) ייצג את אוסטרליה אך לא העפיל לגמר וסיים במקום ה-15 בלבד. את הפריצה הגדולה שלו עשה הוקר בשנת 2006: הוא זכה במקום הראשון במשחקי חבר העמים הבריטי עם תוצאה של 5.80 מטרים, ניצח בשתי תחרויות גרנד פרי, ובתחרות הגולדן ליג בברלין בה קבע שיא אישי של 5.96 מטרים. בינואר 2008 הצטרף הוקר למועדון היוקרתי של קופצים במוט שעברו את רף ששת המטרים, תוצאה אותה קבע בתחרות בפרת', עיר מגוריו.
אלוף אולימפי.
באולימפיאדת בייג'ינג זכה הוקר במדליית הזהב כשניצח בתחרות הקפיצה במוט, הוא גם שבר את השיא האולימפי והעמיד אותו על 5.96 מטר.
בסבב תחרויות באולם סגור בו השתתף בתחילת 2009 עבר הוקר גובה של 6.01 מטר בניו יורק, גובה של 6.06 מטר בבוסטון ו-6.00 מטר בפריז.
אלוף עולם.
למרות פציעה ברגלו, השתתף הוקר באליפות העולם באתלטיקה 2009, הוא קפץ שתי קפיצות בלבד בגמר, נפסל בקפיצה הראשונה ל-5.85 מטר אך עבר בניסיון הראשון 5.90 מטר, מה שהספיק לו לזכייה במדליית הזהב.
במרץ 2010 זכה הוקר במדליית זהב באליפות העולם באתלטיקה באולם שהתקיימה בדוחא, עם שיא אליפות של 6.01 מטר. באותה שנה זכה פעם נוספת במשחקי חבר העמים.
באולימפיאדת לונדון (2012) עלה לגמר אך כשל בו בכל קפיצותיו.
בינואר 2014 פרש מספורט תחרותי.
משפחתו.
הוקר נישא ב-2012 לאתלטית הרוסיה קתרינה קוסטטסקיה והם הורים לבן.
דיר א-סולטאן
דיר א-סולטאן (בערבית: دير السلطان; בתרגום לעברית מנזר הסולטאן) הוא מתחם על גג קפלת הלנה הקדושה בכנסיית הקבר. על פי רוב המסורות, זהו חלק מהתחנה התשיעית בוויה דולורוזה, והוא שייך לכנסייה האתיופית, שאין לה נכסים בכנסיית הקבר עצמה.
האתר.
בתקופה הצלבנית שימש הגג כאולם הסעודות של האבירים ששהו בכנסייה, ושרידי העמודים עליהם נסמך גג האולם, מעטרים את הקירות ששרדו סביב המשטח. במעבר מהגג לעבר רחוב בית הבד הנמצא במפלס אחד נמוך יותר, ניצב עמוד המסמל את התחנה התשיעית בוויה דולורוזה. שם ישו, בדרכו לגולגותא, נפל בפעם השלישית.
הגישה אל מתחם המנזר היא דרך מעבר וגרם מדרגות היוצא מרחוב בית הבד, או דרך הקפלות האתיופיות, הצמודות לכנסיית הקבר מדרום-מזרח. המנזר בנוי ככפר אתיופי קטן, בעל חדרונים העשויים מחומר וקורות עץ. הדלתות והחלונות הנמוכים צבועים בצבעים עזים, והחדרים עצמם מרוהטים בסגפנות, וכוללים לרוב מזרן שינה לאדם אחד. בין החצר לחדרי המגורים צומח "עץ הזית הקדוש", אשר על-פי המסורת האתיופית מסמל את המקום בו העלה אברהם לעקדה את בנו יצחק, ובענפיו של עץ זה הסתבכו קרני האייל. הנזירים חיים חיי שיתוף, ומנהלים סדר היום המוקדש ברובו לתפילות הנמשכות ביום ובלילה.
הסכסוך בין הקופטים לאתיופים.
המחלוקת בין הקופטים לאתיופים על השליטה בדיר א-סולטאן ועל שתי הקפלות המוקדשות למיכאל הקדוש ולארבע החיות, נטושה זה שנים רבות. שתי הקפלות מקשרות בין דיר א-סולטאן לבין חצר הכניסה אל כנסיית הקבר, וקיום השליטה בפועל במעבר ובקפלות נעשה על ידי קביעת מנעולים בפתחי המעבר משני צדדיו והחזקת המפתחות המשמשים לפתיחתם וסגירתם. בין הכנסיות הקופטית והאתיופית קיים קשר היסטורי, שכן שתיהן כנסיות מונופיזיטיות (אורתודוקסיות מזרחיות), והכנסייה האתיופית הייתה כפופה לכנסייה הקופטית מהמאה ה-4 עד 1959, עת מונה לראשונה פטריארך יליד אתיופיה לכנסייה האתיופית.