כנס ניצוצות ה-23 פרדוקסים ושלמות לוגית | חידושי תורה ומחקר | תורה ומדע
משפט גדל
חוסר שלמות בהלכה
בעיות יומיומיות לאור משפטי גדל
הרב שבתי א' הכהן רפפורט
ד"ר צוריאל ראשי
הרב ד"ר מיכאל אברהם
למד במדרשיית נועם, שירות צבאי בשריון, ישיבת ההסדר בגוש עציון ואחר כך בישיבת נתיבות עולם וכולל חזון איש ופוניבז' בבני ברק. תואר ראשון בהנדסת אלקטרוניקה (אוני' תל אביב) ד"ר לפיסיקה (בר אילן) ופוסט דוקטורט (מכון וייצמן). ר"מ בישיבת ההסדר ירוחם. מזה כשלוש עשרה שנים במכון.
תחומי עניין: הלכה, לוגיקה ולוגיקה תלמודית, פילוסופיה ופילוסופיה של של ההלכה, מחשבת ההלכה.
כתב המון ספרים וביניהם שתי עגלות וכדור פורח, אלוהים משחק בקוביות, מדעי החופש, אמת ולא יציב, קונטרס בענייני מיגו, סדרת לוגיקה תלמודית, ישלח שרשיו (על שרשי הרמב"ם) ועוד מאמרים וספרים רבים. ניתן לראות הכל באתר:
http://www.mikyab.net/
פרופ' דב גבאי
תחומי מחקרו הם לוגיקה יישומית, מודלים לוגיים לחשיבה תלמודית, לוגיקה לא מונוטונית, לוגיקה מודאלית, לוגיקת זמן ועוד
פרופ' ארנון אברון
מתמטיקאי ישראלי , תחומי מחקרו הם לוגיקה מתמטית ושימושיה במדעי המחשב ובבינה מלאכותית.