מעודכן ליום שני 19 באפריל 2004

0618.3535  לוגיקה אינדפיניטיבית
ד"ר חנוך בן ימיסמינר ב.א.
את הסמינר אפתח בהצגת סוג חדש, מבחינה לוגית, של סדרות. בתחילה אפתח את הלוגיקה והמתמטיקה של סדרות אלה, אותן אני מכנה "סדרות אינדפיניטיביות", באופן מופשט. אחר-כך נעבור לדיון ביישומים שונים של הלוגיקה החדשה. יישום אחד שיידון הוא בלוגיקה של עמימות, שם מאפשרת הלוגיקה החדשה פתרון טבעי של פרדוקס הערימה. בנוסף ניישם את הלוגיקה החדשה לניתוח מבנה החלל והזמן, ומניתוח זה גם נסיק מסקנות לגבי אופי חוקי הטבע. כאן מספקת הלוגיקה החדשה פתרון חדש לפרדוקסים של התנועה של זנון, הבנה חדשה של אופי האקראיות בטבע, ועוד. לבסוף נדון ביישום הלוגיקה החדשה לניתוח יחסי החלק והשלם, כשכאן יביא היישום להבנה חדשה של טבע המורכבות ועוד.