מהמשפט נובע ש-formula_2 אינה פונקציה ניתנת לחישוב. אילו הייתה תוכנית מחשב שהייתה מסוגלת לחשב את formula_2 לכל n, הרי שבקלות ניתן היה להוכיח טענה מהצורה formula_4. ניתן גם להוכיח תוצאה זו ישירות בדרך דומה.
הישראלים שירה קריצ'מן ורן רז הוכיחו משפט אנלוגי למשפט האי-שלמות השני של גדל על סמך משפט האי-שלמות של צ'ייטין. הם הראו כי תורות המקיימות את תנאי המשפט של צ'ייטין ובנוסף חזקות מספיק כדי לתאר את הוכחת המשפט עצמה, לא יכולות להוכיח את העקביות של עצמן.
טללוק
חבלה (פעולה מלחמתית)
תעודת זהות ישראלית
ג'ורג' טקיי
זיר&quot;ה
זיר"ה (זכויות יוצרים ברשת האינטרנט) בע"מ היא חברה ישראלית שהוקמה באפריל 2011 בבעלות גופי מדיה במטרה להיאבק בהפרת זכויות יוצרים ברשת האינטרנט. החברה נמצאת בבעלותם של תאגידי התוכן "yes", "HOT", ומפיצת הסרטים "יונייטד קינג", ומתוקצבת על ידיהם. רוכשים ממנה שירותי אכיפה כמעט כל גופי השידור בארץ לרבות מפיקים ויוצרים ובהם "אימג'ין מדיה" ועוד. החברה ממלאת את תפקידו של ארגון אלי"ס, שפעל בתחילת המאה ה-21.
פעילות החברה.
באפריל 2011 קבעה הרשות להגבלים עסקיים בהחלטה מקדמית שלא תפסול התאגדות שכזאת במסגרת חוק ההגבלים העסקיים, ובעקבות זאת ב-28 בדצמבר 2011 הוקמה החברה. החברה הביאה להורדה לסירוגין של אתרי אינטרנט רבים, ובכללם אתרים גדולים כגון "Wnet" ,"Idown" ו"הורדות.נט", שבהם גלשו כ-100 אלף משתמשים ביום. החברה פועלת נגד הפרות זכויות יוצרים ברשת האינטרנט ובכלל זה הפרות זכויות יוצרים באתרים מפרים, פלטפורמות שיתוף וידאו, בלוגים וכן בשירותי מסרים מיידיים (כגון סדרות נגד הפרות זכויות יוצרים ברשת האינטרנט, לרבות הסעדים של צווי חסימה, חשיפת פרטי משתמש וכן ענישה פלילית נגד הפרות זכויות יוצרים על דרך עיסוק, בהיקף מסחרי ולמטרות הפרת רווח כספי ברשת האינטרנט.
תגובות ופעילות נגד הארגון.
חלק מן האתרים הפירטיים בחרו למחות כנגד הארגון, חלק בגלוי או בהטרלה. כך אתר הורדות.נט, לאחר עלייה מחודשת אחרי סגירה, בחר להקים אתר בשם Izira.info כמנוע החיפוש לשמות שחרור. אתר "סדרות" עושה שימוש בתמונתו של עורך הדין של זיר"ה, ערן פרזנטי, באתר ופעל במשך תקופה תחת הדומיין Zira.Online וגם תחת הדומיין sdaroy.zira. כמו כן הוקם אתר בשם 'האמת מאחורי ארגון זיר"ה' תחת הדומיין stop-zira.org ובהמשך עבר לכתובת zira.law.blog, שגם פתח בעצומה נגד הארגון באתר atzuma. בעקבות קמפיין זיר"ה, אתר "סדרות" יצר סרטון נגדי פארודי שקורא להתנתק מ-yes ומ-HOT.
הפלטפורמות השונות החלו בהוספת שקופית המלווה את תחילת תוכניות המקור הבלעדיות שלהן, במטרה להעלות את המודעות נגד צפייה פיראטית וההשלכות שלה על התעשייה.
אלון בצעננים
אֵלוֹן בְּצַעֲנַנִּים הוא שמו של אתר מקראי בדרום נחלת שבט נפתלי, בין הירדן ובין הר תבור, הנזכר מספר פעמים בתנ"ך ובכתבי חז"ל.
האתר נזכר תחילה בספר יהושע בתיאור גבולות נחלת שבט נפתלי: .
באלון בצעננים נטו את אהליהם בני שבט הקיני, ובהם יעל אשת חבר הקיני ובני משפחתה. בספר שופטים מוזכר אלון בצענים, אף כי הקריאה המקובלת היא בצעננים, כאתר שבו הרגה יעל את סיסרא שר הצבא של יבין מלך חצור: .
אל האתר הגיע גם ברק בן אבינועם ברודפו אחרי סיסרא, ובו נודע לו על הריגתו; ובכך הושלמה נבואת דבורה לברק על העתיד להתחולל במערכה הצבאית כנגד יבין וצבאו.
בתקופת התלמוד זוהה האתר המקראי בידי אמוראי ארץ ישראל עם העיירות בנות זמנם איילון ו- אגנייא דקדש: .
במחקר הוצע לזהות את אלון בצעננים עם בקעת יבנאל, ששמה כפי שהשתמר הוא "סהל אלאחמא", ולחלופין עם אתר בשם שג'רת אל-כלבּ. יש הסוברים גם כי אלון בצעננים ואלון בצענים הם שני אתרים שונים, כאשר אלון בצעננים הוא בדרום נחלת שבט נפתלי ואילו אלון בצענים הוא בתל אל-קדיס שבבקעת מגידו, ממזרח ללג'ון.
הבלשן והגאוגרף יואל אליצור מציע כי פירוש המילה המקראית אֵלוֹן הוא מישור, וכי הכוונה למישור המשופע שבין הר תבור לבקעת יבנאל, באזור שדמות דבורה וכפר כמא.
Honest Reporting
Honest Reporting ("דיווח הוגן") הידוע גם בשמות HonestReporting או honestreporting.com) הוא ארגון לא-ממשלתי העוסק בביקורת התקשורת על מה שהוא תופש כהטייה כנגד ישראל. לארגון יש שלוחות בארצות הברית, הממלכה המאוחדת, קנדה, איטליה וברזיל. מבקרי הארגון טוענים שהוא משתמש בטקטיקות כפייתיות כדי להשתיק ביקורת על המדיניות של ממשלת ישראל וכן שהוא שופר של ההסברה הישראלית.
היסטוריה.
ארגון HonestReporting (להלן HR) נוסד על ידי סטודנטים בריטים בשנת 2000, עם פרוץ האינתיפאדה השנייה בה נהרגו כ-1000 ישראלים בפיגועי טרור פלסטיניים וכ-4000 פלסטינים בפעולות צה"ל. המשימה המוצהרת של HR היא לחשוף את מה שחבריו תופשים כהטייה כנגד ישראל בתקשורת המערבית. לפי האתר הרשמי האירוע המכונן שגרם להקמת הארגון היה פרשת תמונת טוביה גרוסמן בה תמונה של נער יהודי מארצות הברית זב דם ושוטר ישראלי שהציל אותו מלינץ' בידי מתפרעים פלסטינים תוארה על ידי Associated Press כתמונה בה שוטר ישראלי תוקף נער פלסטיני. בסופו של דבר פורסמה הבהרה המתקנת את הכיתוב השגוי ומפרטת את האמת לגבי התמונה.
את המימון להקמת אתר אינטרנט השיגו המייסדים ב-2001 מארגון אש התורה.
ב-2003 נוסד HonestReporting Canada (להלן HRC) כ"ארגון עצמאי, ללא מטרות רווח" שיושב בטורונטו, קנדה.
במרץ 2003 היה HR מבין הראשונים לחשוף את פרשת הכיתוב השגוי בתמונות שהפיצו חברי תנועת הסולידריות הבינלאומית (ISM) בנוגע למותה של רייצ'ל קורי בתאונה עם דחפור די-9 בשירות צה"ל: חברי ISM הפיצו תמונה של קורי מול הדחפור בה היא נראית בבירור למפעיל ונטען שצולמה מספר דקות לפני שנדרסה. כאשר HR השוו זאת לתמונה של קורי כמה דקות אחרי שנפגעה, הם הסיקו לפי ההבדלים בדחפורים ובשמיים, שהתמונות לא צולמו בסמיכות זו לזו. בעקבות החשיפה ומכתבים ששלח HR, סוכנויות הידיעות הוציאו תיקונים ו-ISM נאלצו להודות שתמונת "הלפני" צולמה מספר שעות לפני התקרית ולא בסמוך לה. מאוחר יותר פרסם HR מאמר על כל התקרית, ובו פורסמו חלק ממסקנות תחקיר צה"ל שקבע על סמך עדויות ובדיקת פוליגרף שנהג הדחפור לא ראה את קורי, ושהיא לא נדרסה על ידי הדחפור אלא נהרגה מחתיכת בטון שדחף הדחפור ונפל על חלק גופה העליון.
בפברואר 2006 קיבל HR "מעמד של ארגון צדקה עצמאי בישראל כדי להשלים את מעמדו בארצות הברית וקנדה."
במרץ 2006, נוסד HonestReporting UK (להלן HRUK) בבריטניה בידי שני בריטים ששהו בחו"ל, המנהל ג'ו היימס (Joe Hyams) והעורך הבכיר סיימון פלוסקר (Simon Plosker). ארגון HRUK שואף לקבל מעמד של ארגון צדקה רשום בבריטניה.
ב-2011 פרסם סיימון פלוסקר באתר HR מאמר מערכת, בו הוא מתאר את הממלכה המאוחדת כמרכז של "פעילות אנטי-ישראלית והתקפה על הלגיטימיות של ישראל" שמעודדת BDS והאשים את רוב כלי התקשורת בבריטניה, בפרט ה-BBC והגארדיאן, בהטייה אנטי-ישראלית ואף בעוינות גלויה נגדה. מאמר זה הוא התחלה של מאמץ מרוכז של HR ו-HRUK בזירה הבריטית, במטרה לצמצם את ההטייה כנגד ישראל ולדאוג לסיקור הוגן ומאוזן של הסכסוך הישראלי-פלסטיני, כמו כן להילחם בדה-לגיטימציה כנגד ישראל.
משימה.
המשימה של HR, כפי שהוא מצהיר עליה היא:
לפי HR, מאז שנת 2000 הוא "קידם מאות התנצלויות, משיכת טענות ותיקונים מכלי חדשות" ושמאמציו "משנים את פני התקשורת והדיווחים על ישראל ברחבי העולם". HR מגדיר את עצמו כ"ארגון המוקדש להגן על ישראל מפני דעות קדומות בתקשורת" ש"מטרתו לספק כלים חינוכיים ומקורות לכל מי שרוצה להגן על ישראל."
פעילות.
ארגון HR עוסק בביקורת התקשורת ובניתוח ידיעות העוסקות בסכסוך הישראלי-פלסטיני. כאשר הוא מגלה ידיעה בה ישראל מוצגת באופן לא הוגן או כוללת מידע שגוי, הוא פועל לתיקונה ולהפצת האמת לגביה בקרב הציבור.
ארגון HR מפרסם באתרו ומפיץ דרך האינטרנט ידיעות לגבי פרסומים ותמונות בתקשורת שלטענתם מציגים את ישראל באופן לא הוגן ו/או כוללים סילופים ומידע שגוי, ובהן תוכן הפרסום המקורי והאמת לגביו. בנוסף, פונה HR לכלי התקשורת השונים בדרישות שיפרסמו הבהרות, תיקונים או התנצלות במקרה שפרסמו ידיעה שגויה לגבי ישראל.
מדי שנה מפרסם האתר את מצעד "פרסי הסיקור הלא הוגן" (Dishonest Reporting Awards) בו הוא בוחר בכלי תקשורת שבלטו במיוחד בסיקור אנטי-ישראלי, לא הוגן, לא מאוזן או עם מידע שגוי.
בנוסף לכך, הפיק HR סרט תיעודי הדן בסכסוך הישראלי-ערבי בשיתוף קרן קלריון. הסרט נקרא "חסרי מנוח: המאבק לשלום במזרח התיכון" (Relentless: The Struggle for Peace in the Middle East). סרט נוסף שהפיק אותו צוות הוא "אובססיה: מלחמתו של האסלאם הרדיקלי כנגד המערב" (Obsession: Radical Islam's War Against the West). כמו כן HR מפיק ומפיץ סרטוני וידאו בהם "What Really Happened?" העוסק בפרשת מוחמד א-דורה. ל-HR ערוץ ביוטיוב ובו סרטוני הסברה, חלקם מופצים דרך פודקאסטים.
ביקורת.
HR מואשם על ידי מבקריו בהצגת טענות לא מדויקות, מעוותות ומטעות. במאמר שפרסם רוברט פיסק בעיתון אינדיפנדנט, הוא טען שקוראים של HR שולחים מכתבי שנאה כנגד כותבים שאת נקודת המבט שלהם הם לא אוהבים, בהתבסס על מידע מוטעה ושגוי. בתגובה פרסם HR מאמרים ביקורתיים על פיסק באתרם. ארגון HR, כאשר חושף הטיה בתקשורת, מבקש פשוט מקוראיו "לשלוח את הערותיכם ל-&lt;שם כלי התקשורת&gt; - וזכרו לכלול את הכתובת שלכם ומספר הטלפון אם אתם רוצים שיפרסמו את תגובתכם."