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