תוכן עניינים:
הגדרה - מה המשמעות של Invariant?
פולש הוא ערך או תנאי שצפוי להיות עקביים במהלך ביצוע התהליך. אין שימוש ברסמות שונות לבדיקת תוצאות האלגוריתמים ושלמות תוכנות מחשב. יכולת החיזוי שלהם יכולה לפשט את תהליך הערכת תקפותן של קביעות לוגיות, וניתן לראות בהשמעה נקודות התייחסות בהקשר הסובב אותה.
Techopedia מסביר את Invariant
התצפיות המוקדמות ביותר שהתפרסמו על תופעות בלתי-תלויות אומרות כי קיימות בטקסט של קארל פרידריך גאוס בעל השפעה רחבה של סוף המאה השמונה-עשרה על תיאוריית המספרים, "Disquititiones Arithmeticae." עם זאת, החידוש של תיאוריה בלתי-מנוצחת במלואו מוסמך לעיתים קרובות לג'ורג 'בולי, שכתב על כך עבור כתב העת המתמטי של קיימברידג 'בראשית שנות ה- 40. חוקרים בולטים אחרים שהרחיבו את הנושא כוללים את אוטו הס וארתור קיילי (שניהם מתמטיקאים אירופיים מהמאה התשע-עשרה).
