אלוהים, יש או אין אלוהים קיים או לא, בריאת העולם, המפץ הגדול, הוכחה שאין יש אלוהים, יש מאין, כלום או הכל לחץ כאן, לצפייה בהרצאת וידאו + MP3 בנושא: אלוהים, יש או אין אלוהים קיים או לא, בריאת העולם, המפץ הגדול, הוכחה שאין יש אלוהים, יש מאין, כלום או הכל. שאלה: מי זה אלוהים? אליעד: אם אתה רוצה את האמת, אתה ... אלוהים, כי למעשה אתה מניח שיש אלוהים, ואולי אין אלוהים בכלל. למה אני באתר שואל שאלות על אלוהים, ומנסה להוכיח שיש למשל שני אלוהים, אז למה אני עושה את כל הבלגן הזה? כי כשאתה מאמין באלוהים, ומאמין שיש אלוהים, ... שאלוהים הוא הפוטנציאל ואחר כך זה הביטוי, אבל זה לא נכון, כי מחוץ לזמן ולמקום אין פוטנציאל, ולכן זאת ההוכחה שאין אלוהים כי אפילו אין פוטנציאל ואף על פי כן יש אלוהים. למה פוטנציאל תופס מקום? כי אפילו בפוטנציאל ... למה? כי הבנו שכול הדברים קיימים בתוך מקום וזמן אין סופיים, שאין להם התחלה וסוף. עכשיו האם מישהו יכול להוכיח שיש אלוהים? לפי זה, אין אפילו צורך באלוהים, יש מקום וזמן אין סופיים והכל מתרחש בתוכם. עכשיו אנחנו מגיעים ...

אין אלוהים! אלוהים לא קיים! הוכחות שאין אלוהים! מהי הוכחה שאין אלוהים? האם יש או למה אין אלוהים? לחץ כאן, לצפייה בהרצאת וידאו + MP3 בנושא: אין אלוהים! אלוהים לא קיים! הוכחות שאין אלוהים! מהי הוכחה שאין אלוהים? האם יש או למה אין אלוהים?. הפעם אני רוצה להוכיח באופן חד משמעי, שאין אלוהים, כולם מתווכחים כל הזמן אם יש או אין, ויש שאומרים שאפשר להוכיח שיש, ולהפך, ויש שאומרים שאי אפשר להוכיח שאין... ואני עכשיו רוצה להוכיח בצורה לוגית פשוטה שזה אפילו בושה שצריך לומר שצריך להוכיח את זה כי זה ברור מאליו שאין אלוהים, ואסביר ואתן את ההוכחה לכך שאין אלוהים. אז קודם כל כשאנחנו אומרים שיש או אין אלוהים, אנחנו מבינים בעצם דבר כזה שיש, ודבר ... דברים שהם אינם. יש לנו יש, ואין, אלוהים יכול להיות שהוא ישנו, ויכול להיות שהוא איננו. עכשיו, איך אפשר להוכיח שאין אלוהים, בא הרבי החכם והמלומד ואומר, אתה לא יכול להוכיח שאין אלוהים, אתה יכול לומר שאתה לא ראית את אלוהים, אבל אולי אפשר להוכיח שיש ואתה לא ראית, אולי אפשר להוכיח שיש ואתה לא יודע שיש? אולי באיזה כוכב לכת רחוק יש אלוהים נסתר ואנו לא יודעים שהוא קיים? ואותו רבי טוען, אי אפשר להוכיח שאין אלוהים! ואני אומר שאם האדם היה לו טיפה שכל בקודקודו, היה מבין שאין אלוהים! ואיך אפשר להוכיח שאין אלוהים, כל מה שצריך לעשות, זה בסך הכל להבין מה זה אלוהים, זה הכל, זה הכל!!!! לא צריך להוכיח שאין אלוהים, כי אין אלוהים, כל מה שצריך לעשות זה להבין מה זה אלוהים. ובואו ננסה להבין מה זה ... שאלוהים לא יכול להיות בתוך מקום וזמן, ולמה. כי אז הוא מוגבל ותופס מקום וזמן וכולי, ולא אכנס עכשיו להוכיח את זה, אך מי שיבדוק ימצא שגם הדת טוענת שאלוהים נמצא מחוץ למקום ולזמן. עכשיו נתקדם, המדע אומר, ושאני ... כי גם לפני המפץ, נניח שאלוהים היה לפני הזמן, וחשב, בואו נעשה עולם!! האם ישות כזו היא אלוהים? ויש הוכחות רבות שלא, אבל אני רוצה לדבר על יש, ועל אין, מהפרספקטיבה של זמן ומקום, וזה אומר שאם אלוהים קיים ...

... שפות מלאכותיות המושתתות על אופני ביטוי סימבוליים, ללא תלות בתחביר של השפה הטבעית. כך נולדה הלוגיקה המתמטית, המתמקדת במושג ההוכחה ובתכונותיהן של מערכות אקסיומטיות שונות. לפיכך בעוד שבראשית הלוגיקה נושא המחקר היה חוקי החשיבה הנכונה, נכון יותר לתאר את ... כאשר ניתן להסיק ממנה דבר והיפוכו, מכאן שבצירוף לחוק השלישי הנמנע, ניתן להראות את אמיתותה של טענה על ידי הוכחת שקריותה של שלילתה. הוכחה מסוג זה מכונה בלטינית רדוקציו אד אבסורדום (reductio ad absurdum) או הוכחה בדרך השלילה. מכיוון שבהוכחה כזו ההנחה (שלילתה של טענה מסוימת) מובילה לסתירה, ברור שההנחה אינה יכולה להיות אמיתית. ומכאן שהטענה המקורית (אותה שללנו כהנחה להוכחה על דרך השלילה) אמיתית. כללים אלו הינם ברורים מאליהם אך יש מקרים בהם הרלוונטיות שלהם אינה ברורה. לדוגמה, ישנם ... אופין של טענות מתימטיות (למשל משוואות, שצורתן אינה כזו של נושא - נשוא) ואת אופיו של הטיעון המתימטי, דהיינו ההוכחה. במקביל לחקירת המאפיינים הלוגים של המתמטיקה, הוחל לעשות שימוש במתודות מתמטיות בלוגיקה, וההפריה ההדדית בין שני המדעים גברה. מתמטיקאים ... פרגה היה התומך המשמעותי הראשון של לוגיציזם - העמדה לפיה ניתן לצמצם את המתמטיקה כולה ללוגיקה. פרגה אף ניסה להוכיח כי חוקי האריתמטיקה, ומושג המספר עצמו, ניתנים לפיתוח מתוך אקסיומות שאותן תפס פרגה כלוגיות במובהק. לאחר שפורסם הכרך הראשון ... מן השימוש הטבעי בשפה. בלוגיקה מנסחים ובוחנים מערכות לוגיות בשפה הסימבולית. מערכת לוגית היא תחשיב (calculus) בו ניתן לבצע הוכחות. שני התחשיבים הלוגיים הבסיסיים הם תחשיב הפסוקים (propositional calculus או sentential calculus) ותחשיב הפרדיקטים (predicate calculus). תחשיב הפסוקים הוא ... תחבירית, שחלקן מקבלות מעמד מיוחד של אקסיומות, וכן מערך של כללי היסק הקובעים אילו נוסחאות ניתן לגזור מאילו, ובכך להוכיח אותן. התחביר של התחשיב מגדיר באופן רקורסיבי את כל הנבכים של התחשיב. בלוגיקה המודרנית, נהוג להבחין בין התחביר (syntax) ... התכונות הצורניות החשובות ביותר של מערכות לוגיות, ניתן להזכיר את התכונות הבאות, אשר את קיומן עבור מערכות מסוימות ניתן להוכיח או לשלול: עקביות (consistency) - זוהי תכונתן של מערכות לוגיות שאין סתירה בין אי אלו מן הטענות המוכלות בהן שלמות (completeness) - זוהי תכונתן של מערכות לוגיות שבהן לגבי כל נוסחה אמיתית, ניתן לספק לה הוכחה מן האקסיומות. נאותות (soundness) - בניגוד לנאותות של טיעון, שהיא התכונה של טיעון תקף שבו כל ההנחות אמיתיות, נאותות של מערכת לוגית היא התכונה לפיה אם נוסחה מסוימת ניתנת להוכחה מן האקסיומות על פי חוקי התחשיב, אזי נוסחה זו אמיתית. הוכחות לשלמות ולנאותות מעידות על הזיקה שבין התחביר והסמנטיקה של המערכת. התחביר קובע איזו נוסחה היא תיאורמה (או משפט), דהיינו ... ניתן לראות כי התכונות נאותות ושלמות קשורות זו לזו, אף שלא כל מערכת נאותה היא גם שלמה. קורט גדל הוכיח ב - 1931 שבמערכות לוגיות שהן חזקות מספיק (כאלו שכוללות את האריתמטיקה בתוכן, כמו המערכת שהציע ברטראנד ראסל בפרינקיפיה מתמטיקה), יש נוסחאות אמיתיות שלא ניתן להוכיח אותן או את שלילתן. חוק זה נקרא משפט אי השלמות של גדל. תחשיב הפסוקים תחשיב הפסוקים מאפשר לייצג את ... כזו בטבלה, הרי שהטיעון אינו תקף, שהרי זו דוגמה נגדית. אולם אם אין שורה כזו, הראנו שהטיעון תקף. מערכות הוכחה לתחשיב הפסוקים ניתן לבנות לתחשיב הפסוקים מערכות הוכחה, שבהן ניתן להוכיח מקבוצת טענות נתונה טענות נוספות שנובעות ממנה. מערכות היסק אלה בנויות מכללים סינטקטיים (תחביריים) טכניים בלבד. המערכת הפשוטה ביותר ... אחד מחמשת הקשרים היא מכילה כלל הכנסה (Introduction) וכלל הוצאה (Elimination). מערכת זו היא נאותה (כלומר, כל נוסחה שניתנת להוכחה, היא אמיתית) ושלמה (כלומר, כל נוסחה אמיתית גם ניתנת להוכחה מקבוצה זו במערכת). תחשיב הפרדיקטים תחשיב פרדיקטים מסדר ראשון הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהן כולל ... מכירה בחוק השלישי הנמנע (לפיו כל טענה היא אמיתית או שקרית, ללא חלופה אפשרית אחרת), ולפיכך היא אינה מאפשרת הוכחה בדרך השלילה. אקסיומת הבחירה של תורת הקבוצות נדחית אף היא. הלוגיקה האינטואיציוניסטית נוסחה באופן פורמאלי על ידי ארנד הייטינג ...

... הפילוסופיה של המתמטיקה יכולה להיות משמעותית ביותר עבור מתמטיקאים בפועל, במיוחד בתחומים חדשים שבהם עדיין אין בדיקה טובה של ההוכחות המתמטיות על ידי חוקרים רבים, ולכן ייתכן כי ימצאו טעויות. ניתן למצוא טעויות כאלה רק אם יודעים היכן לחפש ... הערך. התפתחות המתמטיקה: תגלית או המצאה? : השאלה האם התפתחות המתמטיקה, כפי שהיא מתבטאת בהעלאת השערה חדשה או במציאת הוכחה חדשה, היא בגדר תגלית או בגדר המצאה, העסיקה את המתמטיקאים בסוף המאה ה - 19 ותחילת המאה ה - 20, אם כי שורשיה מגיעים עד לאריסטו ואפלטון. מצד אחד מתקיימת הגישה לפיה כל העצמים המתמטיים (משפטים, הוכחות וכדומה), אלה הידועים לנו וגם אלה שאינם ידועים לנו, קיימים בחלל וירטואלי כלשהו, וכל שנותר הוא לגלות אותם. בהתאם לגישה זו, ניסוח משפט חדש הוא בגדר תגלית, וכך גם ביחס להוכחתו. בהתאם לכך, התפתחותה של המתמטיקה אינה אלא התפתחות הידע האנושי אודות המתמטיקה. עם המתמטיקאים הבולטים שהחזיקו בדעה זו נמנים ... ידועה בשם פלאטוניזם, על שם ספירת האידאות של אפלטון. רבים מתקוממים נגד גישה זו, משום שברור שלא דומה גילוי ההוכחה למשפט האחרון של פרמה לגילוי אי באוקיינוס או גילוי צמח שלא היה מוכר קודם לכן. ההוכחה למשפט האחרון של פרמה כרוכה בעבודת יצירה רבה מאוד, ולטעון שהיא הייתה קיימת ורק היה צריך לגלות אותה אינו ... של הגאומטריה האוקלידית (שאפשר להבין אותה כמורכבת ממחרוזות מסוימות הקרויות אקסיומות ומכמה חוקים המייצרים מהמחרוזות הראשונות מחרוזות נוספות), אפשר להוכיח כי משפט פיתגורס מתקיים (כלומר, אפשר ליצור את המחרוזת המקבילה למשפט פיתגורס). לפי כמה מהגרסאות של הפורמליזם, הנושא של ... הוא בעצם רק הסימנים הרשומים עצמם. כל משחק שווה למשחק אחר, ואפשר רק לשחק את המשחקים, אך אי אפשר להוכיח דבר לגביהם. עם זאת, עמדה זו אינה פותרת את הבעיות האפיסטמיות (מהם סמלים? האם הם קיימים בעולם לא משתנה ... שלמות השני של גדל הביא את תוכנית הילברט אל קצה, כיוון שהראה כי מערכות אקסיומטיות חזקות אינן יכולות לעולם להוכיח את העקביות של עצמן. בפרט כל מערכת אקסיומטית סבירה שתכלול את המספרים הטבעיים לא תוכל להוכיח את העקביות של עצמה. הילברט היה במקור דדוקטיביסט, אך כפי שאפשר לראות מההסבר שלנו, הוא חשב כי שיטות מטא ... הפורמליזם היא שהרעיונות המתמטיים האמיתיים שמעסיקים מתמטיקאים אינם דומים כלל למשחקי המניפולציה הקטנים שתוארו למעלה. אם כי אפשר להגדיר הוכחות על ידי המושגים של המשחקים האלה, ההוכחות כמעט אף פעם אינן נעשות למעשה באופן הזה. הפורמליזם גם לא מסביר איזה מערכת אקסיומות יש לחקור. לוגיציזם: הלוגיציזם ... השלישי מן הנמנע (החוק שאומר שדבר חייב להיות אמת או שקר, ושאין אפשרות אחרת), ולפיכך היא אינה מסכימה עם הוכחה בדרך השלילה. אקסיומת הבחירה נדחית אף היא. עבודה חשובה נעשתה לאחר מכן על ידי ארנד הייטינג, שהיה תלמידו של ברואר, שניסח באופן פורמאלי את הלוגיקה האינטואיציוניסטית, ועל ידי ארט בישופ, שהצליח להוכיח כמה מהמשפטים החשובים ביותר באנליזה במסגרת הזו. באינטואיציוניזם, המושג בנייה ברורה לא הוגדר באופן חותך, ודבר זה הביא לביקורת ... המתמטי, וישנן גם הגבלות פנימיות חזקות (המסורות, השיטות, הבעיות, המשמעויות והערכים המתמטיים שאליהם המתמטיקאים מחונכים). קונסטרוקטיביסטים מרבים לעסוק במושג ההוכחה, במיוחד בפער הרב הקיים בין ההגדרה הפורמלית של הוכחה בלוגיקה מתמטית לבין הוכחות כפי שהן מופיעות הלכה למעשה בכתבי עת וספרים מתמטיים. הם מייחסים את ההבדלים בין קהילות שונות של מתמטיקאים בסטנדרטים של מה שנחשב להוכחה קבילה, שאותם הם מייחסים לנורמות חברתיות שונות. רעיון זה סותר את האמונות המקובלות ביחס לאופן פעולתם של המתמטיקאים, הטוענות ... על ידי הבחינה מחדש של החשבון האינפיניטסימלי במאה ה - 19. הם גם אומרים כי ישנה אמונה רבה מדי בהוכחות אקסיומטיות ובביקורת עמיתים הדדית. את טבעה החברתי של המתמטיקה אפשר לראות בתתי - התרבות שלה. אפשר לעשות גילויים חשובים ... מעבר לאסכולות: במקום להתמקד בוויכוחים הצרים על האמת האמיתית של המתמטיקה, או אפילו על הדברים המאפיינים את המתמטיקה כמו הוכחה, תנועה גדלה משנות ה - 60 של המאה ה - 20 ועד שנות ה - 90 של המאה ה ... הוא הרעיון של המעין - אמפיריציזם במתמטיקה. רעיון זה גדל בסוף המאה ה - 20 מהטענה הפופולרית שלא ניתן להוכיח כי אף אחד מיסודות המתמטיקה אכן קיים. יש שקוראים לזה פוסטמודרניזם מתמטי. גישה זו היא צורה מינימלית של ריאליזם ... שיטות כאלה תמיד היו חלק מהמתמטיקה העממית, ועל ידיה נעשו פעולות מרשימות של חישוב ומדידה. למעשה, השיטות האלה הם ההוכחה היחידה שיש לתרבות כזו. הילרי פטנאם טען כי כל תאוריה של ריאליזם מתמטי תכלול שיטות מעין - אמפיריציסטיות. הוא הציע כי יצורים מעולם אחר שעוסקים במתמטיקה, עשויים בהחלט להעדיף שיטות אמפיריציסטיות, ולזנוח את ההוכחות האקסיומטיות והקשוחות - אם כי יש סיכוי גדול יותר שהם יטעו בחישוביהם. פעולה ומעשה: חוקרים רבים שאינם עוסקים בהוכחת משפטים מתמטיים העירו כמה הערות מעניינות ביחס לטבעה של המתמטיקה: יהודה פרל טען, כי כל המתמטיקה כפי שהיא כיום ...

הטיעון האונטולוגי - מבוא הטיעון האונטולוגי (המוכר גם בשם ההוכחה האונטולוגית לקיום האל או בקיצור ההוכחה האונטולוגית) הוא טיעון לוגי - אונטולוגי שמטרתו להוכיח את קיום האל. טיעון זה הוא טיעון אפריורי שלפיו אלוהים קיים כי קיומו הוא בבחינת הכרח. לטיעון קמו במהלך ... לדמיין אי אחר הגדול מא. 5.אך אי אפשר לדמיין אי הגדול מא. 6.על כן, א קיים. הבעיה העיקרית עם ההוכחה של גואנילו היא שהתכונות שאפשר לייחס לאי (לדוגמה, גודל) אינן בעלות מידה מרבית מוגדרת. אצל אנסלם, לעומת זאת, מיוחסת ... ביקורות נוספות עפי חלק מהמבקרים של הטיעון האונטולוגי יש בו בעיה עקרונית ובסיסית והיא שהוא מניח מראש את הטעון הוכחה. כלומר, הוא נופל במלכודת הכשל מעגל קסמים. אצל אנסלם, השלב הראשון בהוכחה הוא ההנחה שאלוהים הוא כליל המעלה, היינו, שיש אלוהים ושיש לו תכונות כאלו ואחרות. אם נקבל את טיעוני של קאנט שאלוהים ויש אלוהים, זהים, הרי שאנסלם מניח שיש אלוהים כדי להוכיח שיש אלוהים. כל הגרסאות האחרות של הטיעון מתחילות מהנחה דומה ולכן, על פי ביקורת זו, במהותן הן כולן בעלות מבנה בסיסי זהה: אלוהים קיים [הוכחה] ולכן אלוהים קיים. עם זאת, בדרך כלל השורה הראשונה בטיעון האונטולוגי לא מובנת כהנחת קיומו של אלוהים, אלא כהגדרתו - מגדירים את אלוהים כישות המקיימת תכונות אלו ואחרות, ואחר כך מנסים להוכיח את קיומה של ישות זו. על פי המצדדים בקו ביקורת זה, הטיעון האונטולוגי בנוי על כך שהתוצאה הסופית של ... יותר מאשר אי - קיום, המסקנה ההגיונית היא, על פי גסקינג, שאין אלוהים. ניתן לבצע הצבה הפוכה כזו ברוב ההוכחות האחרות. כאשר מוציאים את קיום האלוהים מהנחות היסוד, נוצרת בעיה קשה עוד יותר. אם מקבלים, כפי שמקבלים רוב המשתמשים ... האונטולוגי, שאלוהים אינו יכול להיות חלק משרשרת היתכנותית (כלומר, לא ניתן להשתמש במבנה הכולל דברים מן העולם הזה כדי להוכיח שיש אלוהים כמו, לדוגמה: ראיתי חתול (הוכחה) ולכן, יש אלוהים), כי אז אין למעשה כל דרך מעשית להוכיח את קיום האל באמצעות טיעון זה. הלוגיקן ריימונד סמוליאן טען גם הוא שישנו כשל מעגליות בטיעון, והדגים זאת בעזרת הטיעון הבא: 1.כדי להוכיח שקיים חד - קרן, יש להוכיח שקיים חד קרן קיים (שהרי כל חד קרן שקיים אכן קיים). 2.אם קיים חד קרן קיים - ולפיכך קיים ... לא קיים חד קרן קיים - אולם כל חד קרן קיים חייב להתקיים, ולכן זו סתירה. 4.משום כך, בדרך הוכחה בדרך השלילה הוכח שקיים חד קרן. הבעיה בטיעון זה היא שאם קיים חד קרן הוא בהכרח חד קרן קיים, ... שלא קיימת ישות כזו. גרסאות הפילוסופים הרציונליסטים הפילוסופים הרציונליסטים דקארט, שפינוזה ולייבניץ הציגו גרסאות משלהם לטיעון האונטולוגי. דקארט בבסיס ההוכחה האונטולוגית של דיקארט לקיום האל עומדות שתי הנחות עיקריות. ראשית, דקארט מניח כי לא ניתן להפריד בין מהות האל ... חדשות, העושות שימוש בלוגיקה המודרנית. הידועות שבהן הן הגרסאות של מלקולם, פלנטינגה וכן גרסתו של המתמטיקאי והלוגיקן קורט גדל. ההוכחה המודלית של מלקולם מלקולם ניסה לשפר את הטיעון האונטולוגי באמצעות סילוק כמה מן החולשות הגלויות שבטיעונו של אנסלם. הוא ... אין לנו סיבה להניח שכך הדבר ומכאן, שקיום האל אינו בלתי אפשרי מבחינה לוגית ועל כן, הכרחי מבחינה לוגית. ההוכחה היא כזו: 1.אלוהים, כעניין קונספטואלי, הוא יצור בלתי מוגבל. 2.קיום יצור בלתי מוגבל הכרחי או בלתי אפשרי מבחינה לוגית. ... גם יחד טוב יותר מקיום בעולם המושגי - אך בטיעונו יש מספר פגמים בולטים. הראשון שבהם הוא הטיעון המנסה להוכיח כי קיום האל הוא הכרחי או בלתי אפשרי מבחינה לוגית. בהקבלה של מלקולם, קיומו של יצור בעולם אחד גורר ... קיים בעולם אחד, לא נובע מכך בהכרח שקיומו בלתי אפשרי. ובמלים פשוטות, טיעון 2 של מלקולם נופל, ועמו נסיון ההוכחה כולו. הטיעון של פלנטינגה רוב הפילוסופים העכשוויים סבורים כי הטיעון האונטולוגי, לפחות כניסוחו אצל אנסלם, אינו עומד בבחינה לוגית ...

... הרי החושים יכולים לטעות, להיות חלק מחלום, משגעון או ממניפולציות של שד (דימון) רע. האמפיריציסטים טוענים שאין שום דרך להוכיח את נכונות האינטואיציות שלנו. שגעון ושדים רעים יכולים לגרום שגם האינטואיציה תטעה. דקרט טוען שהאינטואיציה תמיד אמיתית כי אלוהים ... החולשות החשובות של הדעה הרציונליסטית. רציונליסט מאמין באמונה שלמה שהידע שלו שהושג בדרך האינטואיציה, הוא אמיתי. האם הוא יכול להוכיח זאת ללא שום שימוש אמפירי? אתה יודע אינטואיטיבית שגוף אדום לא יכול להיות כחול באותו הזמן ושאם גוף נמצא ... יסודם בטאוטולוגיה (Tautology), כלומר, משפטים שגם אם הם אמיתיים, הם אינם נותנים שום מידע לגבי העולם הממשי ולא ניתנים להוכחה אמפירית. אפלטון ניגש לבעיה בדרך אחרת. הוא מביא סוג של פרדוקס - כשאנו ניגשים לחקור דבר מסוים עלינו לדעת ... בדרך ארוכה של אבולוציה והתפתחות, היא גם ערובה לאמיתות הידע. אך למרות כל ההסברים הללו, עדיין קיים הקושי הגדול להוכיח מעל לכל ספק שידע מסוים הוא מולד ולא נרכש. מצד שני, אין שום קושי (כמעט) להוכיח את ההיפך כלומר שידע מסוים נרכש בדרך ניסיון. אפילו האמונה באלהים אינה הוכחה לידע מולד. לפי דקרט אני יודע מנסיוני שאני סופי (אמות בעתיד) ולא שלם (אינני מסוגל לכל דבר), אך רכישת ידע על סופיות ואי - שלמות מחייב ידע א - פריורי על נצחיות ושלמות (קרי, אלהים). זו לא רק הוכחה לקיום אלהים אלא גם הוכחה שקיומו הוא ידע מולד. אך ישנן תרבויות ואידאולוגיות שאינן מקבלות מושגים אלו ואינן מכירות בקיום אלהים. אם אני שייך ... מסוימת את הפסל הסופי. גורמים אלו הם - כשרונות, נטיות, פוטנציאל ומשכל שהם אינדיווידואליים בכל אדם. יש הרואים בסיבתיות הוכחה לידע מולד. אני רואה צלחת נופלת לרצפה ונשברת ואני יודע שהצלחת נשברה כי נפלה על הרצפה. דבר זה מחייב ... מניחה על העולם. קיומו של האל, למשל, הוא הכרחי בתאולוגיה, ועם זאת, הנוצרים ראו צורך בניסוח לוגי פורמאלי של ההוכחות לקיום האל. דוגמה לכך היא ההוכחה שניסח אנסלם מקנטרברי במאה ה - 11, המכונה הטיעון האונטולוגי. אנסלם מקנטרברי נחשב למייסד הסכולסטיקה, שהיא שיטה המתבססת בין היתר על לוגיקה ועל דיאלקטיקה כדי להוכיח אמונות ודוגמות. מרטין לותר שנחשב כמייסד הנצרות הפרוטסטנטית במאה ה - 16, התנגד נחרצות להסבר דוגמות ואמונות באמצעים לוגיים. ... die hchste Hur, die der Teufel hat., דרשה בעיר ויטנברג, 17 בינואר 1546). כוונתו של לותר הייתה שהאדם מתפתה להוכחות הגיוניות בשעה שהוא נואש מהאמונה, כשם שגבר מתפתה לזונה כשהוא נואש מאשתו החוקית. אף על - פי כן, תאולוגיה ...

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

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

... הירח וחצי אנשים מאמינים שלא, באיזה אופן אפשר לקבוע מי משני החצאים צודק? לדעתי, עניתי, שני החצאים אינם צריכים להוכיח את אמונתם כל עוד ומצהירים בפה מלא שזוהי הסברה שלהם, הדעה שלהם... כל אחד יכול לסבור מה שהוא רוצה, ... להביא ראייה לאמונתו, ואפילו אם הוא נמצא בחצי השני השולל קיום חיים על הירח, גם אז הוא יידרש להמציא הוכחה לגירסתו. אם כן ישנן שתי משמעויות למונח אמונה: 1. סברה, השקפה, דעה... (אמונה כזו מותרת ללא הוכחה לכל מאמין אשר יהיה). 2. ביטחון, החלטיות... מלשון מאמין אני / אין בלבי ספק... (נדרשת הוכחה לצד אמונה מהסוג הזה, כל עוד ואיכפת למאמין הזה להתרחק מרשימת התמהונים) - כלומר גם המאמין שיש חיים על הירח ואף המאמין שאין חיים - שניהם נדרשים לנמק ולהוכיח את אמונתם באופן חד משמעי ומספק, היינו באופן מוחשי הנתפס בחושים, שההיגיון האנושי הממוצע יכול ללעוס. באופן טבעי עלתה ... איפוא את אחת האמונות הבטוחות ביותר... אני מאמין בכל כולי במשוואה (1 + 1= 2), האם אמונה כזו ניתנת להוכחה? ושוב תליתי את תשובתי בשני מצבים. תלוי לדעתי למי אני צריך להוכיח: 1. אם אני מתבקש להוכיח לך את זאת, אזי התשובה היא שלילית: אני לא יכול להוכיח לך שאחד + אחד = שניים, כי האחד שלי שאני מבחין בו אינו בהכרח שווה לאחד שלך, לכן לא ניתנת המשוואה הזאת להוכחה. תוכיח לי למשל שצבע האדום שאני רואה הוא אותו האדום שאתה רואה! יכול להיות שחמשה מליארד אנשים בתבל יצביעו על אותו הצבע ויזהו אותו כאדום, אבל האם ניתן להוכיח שכל אחד מחמשת המליארדים רואה את אותו הצבע? יכול להיות שהאדום שקולטות עיני הוא הכחול (שלי) בעיניך והירוק (שלי) בעיני ראובן... האם ניתן לסתור או להוכיח את זאת? מכאן גם עצם השאלה אינה תקנית. 2. כשלעצמי, אני יכול להוכיח שאחד ועוד אחד שווה שניים, ומנגד אני יכול להסתפק באמונה (סברה) שהמשוואה הזאת נכונה. השאלה אם אני כאדם חי ... המרחב שלי עי הרחבת המידע שלי אודותיו, או שמתיר לעצמי להיות עצלן שלא רוצה לשבור את הראש עם משוואות והוכחות... השאלה אם אני איש תמהוני (מת ונושם) או אדם חושב (חי ונושם). עם זאת, אני מרגיש שהתשובה המעשית הזו ...

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