|
״תנסה להוכיח״
באיזו מערכת פורמלית מותר להשתמש בהוכחה? מותר להשתמש ב Prover9/Mace4 או ב Lean? מה היא הפרוצדורה, איזו ועדת בדיקה ואיזה Peer review אזרחי ישראל צריכים לעבור, לפני שהם מעזים להתאגד ברחובות ולהפגין נגד משהו שהם חושבים שהוא מסוכן למדינה?
למה הקריטריונים, שאתה מציב לאנשים בפתיל, הם כל כך נוקשים בעוד כל מה שאתה צריך כדי להראות קשר בין ההפגנות לבין השביעי באוקטובר זה להצהיר ״כבר אז ידעתי״? איך אתה מסוגל בקלות שכזו לקטוף מחלל האוויר את קשרי הסיבה-תוצאה האמיתיים של העולם, בעוד אחרים זקוקים להתנהל תחת דרישת הוכחה כל כך ריגורוזית?
האנשים שיוצאים להפגין לא צריכים להוכיח לך שום דבר. הם צריכים לשכנע אחד את השני בצדקת דרכם, להתאגד ולצאת להפגין. הם לא צריכים לקבל אישור לכך מאף אחד, בטח שלא מהמחנה הפוליטי לו הם מתנגדים. ככה דמוקרטיות עובדות וישראל לא מיוחדת (ולא צריכה להיות מיוחדת) בעניין זה.
|
|