סעיף 26 לחוקה מפרט את השיטה בה נבחר הנשיא. הנשיא ייבחר בהצבעה ישירה, ברוב מוחלט של הקולות המוטלים. על מנת לזכות בבחירות בסיבוב הראשון, על מפלגת המועמד הזוכה לקבל יותר מ-50% מהקולות הקבועים.
הבחירות יתקיימו ביום ראשון השלישי של חודש נובמבר של השנה מיד לפני סוף כהונת הנשיא. אם יש יותר משני מועמדים בבחירות לנשיאות ואף אחד מהם לא הצליח להשיג יותר ממחצית הקולות, ייערכו בחירות חדשות. הבחירה השניות ("ההצבעה") תיערך ביום ראשון הרביעי לאחר הבחירות הראשונות, המוגבלת לשני המועמדים בלבד, כך לפי החוקה.
כהונה.
על פי חוקת 1828, יכהן הנשיא בתפקיד במשך ארבע שנים, ללא אפשרות של בחירה חוזרת מיידית לכהונה אחת נוספת. בשנת 1833, הכהונה הנשיאותית שונתה ל-5 שנים, עם אפשרות לבחירה מחדש מיד לאחר סיום הכהונה לתקופה נוספת אחת, לתקופה המוגבלת לשני כהונות רצופות (דהיינו 10 שנים בסך הכל). לאחר מכן, ברפורמה החוקתית בשנת 1878, האפשרות לבחירה מחדש נעשתה פסולה. על פי חוקת 1925 יכהן הנשיא לתקופה בת שש שנים, ללא אפשרות של בחירה חוזרת מיידית בלבד.
בטקסט המקורי של חוקת 1980, הנשיא כיהן במשך שמונה שנים ללא אפשרות לבחירה מיידית. לאחר שינויים בחוקה, שנקבעו בתקופת ממשלתו של הגנרל אוגוסטו פינושה, יתקיים משאל עם על כהונת הנשיא, שבו יתמודד מועמד אחד בלבד, ולאחריו יועבר השלטון בצ'ילה מידי החונטה הצבאית בראשות פינושה לידיים אזרחיות. עם זאת, ב -4 במרץ 1994 הופחתה תקופת הנשיאות לתקופת כהונה של שש שנים, ללא בחירה מיידית.
על פי הרפורמה החוקתית 2005, הנשיא מכהן ארבע שנים ללא אפשרות של בחירה חוזרת מיידית לכהונה אחת נוספת (משמע, נשיא שסיים תקופת כהונה בת ארבע שנים יוכל להיבחר מחדש לאחר תקופת צינון בת ארבע שנים גם כן). נשיא לשעבר עשוי להיבחר שוב לאחר שסיים את כהונתו הראשונה. אין גבול לכמות הפעמים שאדם יכול לרוץ למועמדות אם לא כיהן בעבר כנשיא.
הנשיא מתחיל ומסיים את כהונתו בתאריך ה-11 במרץ.
קידוד גדל
בלוגיקה מתמטית, מספר גדל (Gödel) הוא פונקציה המקצה לכל סמל ונוסחה בנויה-היטב של שפה פורמלית כל שהיא, מספר טבעי ייחודי, הנקרא מספר גדל שלה. המושג היה בשימוש על ידי קורט גדל להוכחת משפט אי-השלמות שלו. ()
מספר גדל יכול להתפרש כקידוד, שבו מוקצה מספר לכל סמל בסימון מתמטי, כאשר בשלב הבא, רצף של מספרים טבעיים יכול לייצג רצף של סמלים. רצף זה של מספרים טבעיים יכול בתורו להיות מיוצג על ידי מספר טבעי יחיד, ובכך להקל מניפולציה עליו בתאוריות פורמליות של האריתמטיקה.
מאז פרסום המאמר של גדל ב-1931, נעשה שימוש במונח "מספר גדל" או "קידוד גדל" כדי להתייחס להקצאה כללית יותר של מספרים טבעיים לאובייקטים מתמטיים.
הצגה מפושטת.
גדל ציין כי ניתן לייצג משפטים במערכת, באמצעות מספרים טבעיים. החשיבות היא בכך שמאפיינים של משפטים - כגון האמיתות או השקריות שלהם - שקולה לקביעה האם למספרי גדל שלהם יש מאפיינים מסוימים. המספרים הללו יכולים בפועל להיות מאוד ארוכים (בהקשר של מספר הספרות); כל מה שחשוב הוא שאנו מסוגלים להראות כי ניתן "לבנות" כאלו מספרים.
במילים אחרות, אנחנו מפתחים שיטה שבה כל משפט או נוסחה שניתן לנסח במערכת שלנו, מקבלים מספר ייחודי, כך שאנחנו יכולים להמיר מכנית נוסחאות למספרי גדל, וכן להפך. ברור שיש הרבה דרכים בהן ניתן לעשות זאת. בהינתן משפט כל-שהוא, המספר שאליו הוא מתורגם מהווה מספר גדל שלו. דוגמה פשוטה היא הדרך שבה אותיות מאוחסנות במחשבים כרצף של מספרים באמצעות ASCII או יוניקוד:
קידוד גדל.
גדל השתמש במערכת המבוססת על פירוק לגורמים ראשוניים. הוא קודם הקצה מספר טבעי ייחודי לכל הסמלים הבסיסיים על בשפה הפורמלית של האריתמטיקה בה הוא עסק.
כדי לקודד נוסחה שלמה- רצף של סמלים, גדל השתמש במערכת הבאה. בהינתן רצף formula_1 של מספרים חיוביים שלמים, קידוד גדל של הרצף הוא מכפלת "n" המספרים הראשוניים הראשונים, בחזקת הערכים המקבילים ברצף:
על פי המשפט היסודי של האריתמטיקה, לכל מספר (ובפרט, מספר שהושג בדרך זו) יש פירוק יחיד לגורמים ראשוניים, כך שניתן לשחזר את הרצף המקורי מתוך המספר גדל שלו (לכל מספר נתון n של סמלים לקידוד).
ספציפית, גדל השתמש בשיטה זו בשני שלבים: ראשית, כדי לקודד רצפים של סמלים המייצגים נוסחאות, ושנית, כדי לקודד רצפים של נוסחאות המייצגות הוכחות. דבר זה אפשר לו להראות התאמה בין משפטים על המספרים הטבעיים ובין משפטים על היכולת להוכיח משפטים על מספרים טבעיים, מה שהיווה את ההבחנה המרכזית בהוכחה שלו.
ישנן דרכים מתוחכמות יותר (וקצרות יותר) לבנות מספרי גדל עבור רצפים.
דוגמה.
בקידוד גדל הספציפי בו נייגל וניומן השתמשו, מספר גדל של הסמל "0" הוא 6 ומספר גדל של הסמל "=" הוא 5. לכן, במערכת שלהם, מספר של הנוסחה "0 = 0" הוא 26 × 35 × 56 = 243,000,000.
אי-יחידיות הקידוד.
קידוד גדל אינו ייחודי, במובן שבכל הוכחה באמצעות מספרי גדל, ישנן אינסוף דרכים בהן ניתן היה להגדיר את המספרים הללו.
לדוגמה, נניח שיש "K" סימנים בסיסיים, קידוד גדל חלופי יכול להיות בנוי על ידי מיפוי סט סמלים זה באופן הפיך (על ידי, למשל, פונקציה הפיכה "h") לקבוצת הספרות של מערכת מספרית חד-ערכית בבסיס-"K". נוסחה הכוללת מחרוזת של "n" סימנים formula_3 תמופה למספר
במילים אחרות, על ידי הצבת סט של "K" סימנים בסיסיים בסידור קבוע כלשהו, כך שהסמל ה-i מתאים באופן ייחודי לספרה ה-i של המערכת המספרית החד-ערכית בבסיס-K, "כל נוסחה יכולה לשמש באותה מידה שניתן להשתמש בייצוג המספרי של קידוד גדל שלה."
למשל, עבור המספרים המתוארים בהוכחה של גדל, K=10000.
הכללות.
בתורת החישוביות, המונח "קידוד גדל" משמש במסגרות כלליות יותר מאשר זו המתוארת לעיל. המונח יכול להתייחס ל:
בנוסף, המונח מספר גדל משמש לעיתים כאשר ה"מספרים" שניתנים הם למעשה מחרוזות- דבר הכרחי כאשר בוחנים מודלים חישוביים, כגון מכונות טיורינג, הפועלים על מחרוזות ולא על מספרים.
גמל דבשתיים
הארכידוכס שטפן, פלטין הונגריה
הארכידוכס שטפן פרנץ ויקטור, פלטין הונגריה (; 14 בספטמבר 1817 - 19 בפברואר 1867), היה בנו של הארכידוכס יוזף, פלטין הונגריה, וכיהן כפלטין הונגריה בין השנים 1847–1848.
ביוגרפיה.
שטפן נולד ב-14 בספטמבר 1817 בבודה לארכידוכס יוזף, פלטין הונגריה ולאשתו השנייה הרמינה, נסיכת אנהלט-ברנבורג-שאומבורג-הוים, בתו של ויקטור השני, נסיך אנהלט-ברנבורג-שאומבורג-הוים. מאחר שאמו מתה זמן קצר לאחר לדתו, גודלו שטפן ואחותו התאומה הרמינה, ארכידוכסית אוסטריה על ידי אמם החורגת מריה דורותיאה, דוכסית וירטמברג. שטפן בילה את רוב ילדותו בבודה ובאלשוט, ומאוחר יותר למד באוניברסיטת וינה את מדעי המדינה.
לאחר מכן התגייס שטפן לצבא האוסטרי בדרגת לוטננט פילדמרשל, ובין השנים 1839–1841 שהה בווינה. לאחר מכן טייל שטפן בממלכת בוהמיה, ממלכת לומברדיה-ונציה, טירול, ממלכת סרדיניה, מדינת האפיפיור, דוכסות מודנה והדוכסות הגדולה של טוסקנה, ובשנת 1843 מינה אותו פרדיננד הראשון, קיסר אוסטריה למושל בוהמיה.
בשנת 1847 מת אביו הארכידוכס יוזף, פלטין הונגריה, ושטפן מונה במקומו לפלטין הונגריה. בשנת 1848 פרצו בהונגריה כחלק מאביב העמים, ובעקבות כך נאלץ שטפן להתפטר מתפקידו ב-24 בספטמבר אותה שנה. בשנת 1850 פרש שטפן לאחוזותיו בדוכסות נסאו - רוזנות הולצאפל, שאותם ירש מאמו הרמינה, נסיכת אנהלט-ברנבורג-שאומבורג-הוים, וב-19 בפברואר 1867 מת שטפן במנטון שבצרפת. לאחר מותו ירש אחיינו גאורג לודוויג, דוכס אולדנבורג את כל נכסיו, ובכלל זה את אוסף המינרלים הגדול שצבר.
חובה הודית
יוזף קרל, ארכידוכס אוסטריה
יוזף קרל, ארכידוכס אוסטריה (בגרמנית: Josef Karl von Österreich; 2 במרץ 1833 – 13 ביוני 1905), היה בנו של הארכידוכס יוזף, פלטין הונגריה, ואביו של יוזף אוגוסט, ארכידוכס אוסטריה, שהיה מפקד בכיר בצבא האוסטרו-הונגרי במלחמת העולם הראשונה.
ביוגרפיה.
יוזף קרל נולד ב-2 במרץ 1833 בפרשבורג, לארכידוכס יוזף, פלטין הונגריה ולמריה דורותיאה, דוכסית וירטמברג בתם של לודוויג, דוכס וירטמברג והנרייטה, נסיכת נסאו-ויילבורג.
כמו רבים מחברי בית המלוכה, התגייס יוזף קרל נכנס לצבא האוסטרי, ובשנת 1860 הועלה לדרגת גנרל מיור. ב-12 במאי 1864 התחתן יוזף קרל עם קלוטילדה, נסיכת סקסוניה-קובורג-גותה, בתם של אוגוסט, נסיך סקסוניה-קובורג-גותה וקלמנטין, נסיכת אורליאן, ממנה נולדו לו 7 ילדים. יוזף קרל נשאר בצבא עד לשנת 1874, ופרש בדרגת גנרל חיל הפרשים. יוזף קרל היה אדם אינטליגנטי אשר התעניין מאוד בתולדות הונגריה ובשפה ההונגרית, וכן כתב מדי פעם גם על השפה הרומנית.
ב-2 במרץ 1905 מת יוזף קרל בפיומה, והוא בן 72 שנים.
משפחתו.
ב-12 במאי 1864 התחתן יוזף קרל עם קלוטילדה, נסיכת סקסוניה-קובורג-גותה, בתם של אוגוסט, נסיך סקסוניה-קובורג-גותה וקלמנטין, נסיכת אורליאן, ממנה נולדו לו 7 ילדים:
וסבולוז'סק
סוסנובי בור
סוסנובי בור (ברוסית: Сосновый Бор, מילולית: "חורשת האורנים") היא עיר במחוז לנינגרד, ברוסיה, המרכז האדמיניסטרטיבי של המחוז המוניציפלי של סוסנובי בור. העיר נמצאת במרחק 81 קילומטרים מדרום מערב לעיר סנקט פטרבורג ואוכלוסייתה מונה 67,602 תושבים (נכון לשנת 2016).
העיר נחשבת לאחת מ-33 ערים סגורות ברוסיה, שבאופן רשמי סגורות לביקור אזרחים זרים ללא אישור מיוחד, זאת מאחר שהעיר מאכלסת את מכון המחקר המדעי הטכנולוגי על שם אלכסנדרוב וצמידות העיר לתחנת הכוח הגרעינית לנינגרד. החל מה-1 בינואר 2013 אין צורך באישור מיוחד לביקור בעיר עבור אזרחי רוסיה.
היסטוריה.