• הרשמו לכנס הבא של ניצוצות

סדנה בינלאומית למדענים ואנשי אמונה - הגיון אמונה ומכונה

תתקיים ב-11-15 במרץ במרכז ניצוצות, במכון הגבוה לתורה (411). ביום רביעי 14.3 יתקיימו דיונים פתוחים לציבור

כנס ניצוצות ה-23 פרדוקסים ושלמות לוגית | חידושי תורה ומחקר | תורה ומדע

משפט גדל

משפט גדל
פ
פרופסור ארנון אברון,מסביר בדבריו את משפט אי השלמות של גדל ואת השלכותיו

חוסר שלמות בהלכה

חוסר שלמות בהלכה
ה
הרב ד"ר מיכאל אברהם על חשיבותו של הפוסק במערכת ההלכתית

בעיות יומיומיות לאור משפטי גדל

בעיות יומיומיות לאור משפטי גדל
פ
פרופ' דב גבאי מביא בדבריו הסתכלות על בעיות יומיומיות לאור משפטי אי השלמות של גדל
הרב שבתי א' הכהן רפפורט

הרב שבתי א' הכהן רפפורט

ראש תכנית ניצוצות, מכון הגבוה לתורה
ד"ר צוריאל ראשי

ד"ר צוריאל ראשי

בית הספר לתקשורת, בר אילן
הרב  ד"ר מיכאל אברהם

הרב ד"ר מיכאל אברהם

ר"מ, מכון הגבוה לתורה

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

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

פרופ' דב גבאי

פרופ' דב גבאי

המחלקה למדעי המחשב, בר אילן

תחומי מחקרו הם לוגיקה יישומית, מודלים לוגיים לחשיבה תלמודית, לוגיקה לא מונוטונית, לוגיקה מודאלית, לוגיקת זמן ועוד

פרופ' ארנון אברון

פרופ' ארנון אברון

החוג למדעי המחשב, אוניברסיטת תל אביב

מתמטיקאי ישראלי , תחומי מחקרו הם לוגיקה מתמטית ושימושיה במדעי המחשב ובבינה מלאכותית.

עיצוב ובניית אתר: WebMeUp