-
גדל, אשר, באך
כל מה שרצית לדעת על גדל, אשר, באך:גדל, אשר, באך, או בשמו המלא "גדל, אשר, באך: גביש בן אלמוות: פוגה מטאפורית על נפשות ומכונות ברוח לואיס קרול" (Gödel, Escher, Bach: an Eternal Golden Braid: A metaphorical fugue on minds and machines in the spirit of Lewis Caroll), הוא ספר עיון מאת דאגלס הופשטטר, העוסק בשאלות…
-
הוכחה בדרך השלילה
כל מה שרצית לדעת על הוכחה בדרך השלילה:הוכחה בדרך השלילה, ידועה גם בשם הוכחה עקיפה או אלימינציה ובלטינית Reductio ad absurdum (רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם – רדוקציה לאבסורד .R.A) היא טכניקת הוכחה, במתמטיקה, לוגיקה ופילוסופיה, במסגרתה מוכיחים ששלילת ההנחה המבוקשת היא סתירה (אבסורד), ועל כן ההנחה נכונה. הסתירה מוכיחה שנקודת המוצא שלנו הייתה שגויה. יש לשים…
-
תורת ההיגיון
כל מה שרצית לדעת על תורת ההיגיון:תורת ההיגיון או בלעז, לוגיקה (מיוונית: λογική), זו תורה הבוחנת קשרי היסק בין טענות. היא מנתחת צורה של טענות, ועל סמך ניתוח זה מציעה כללים שבעזרתם ניתן לקשר טענות זו לזו ומכאן להסיק מסקנות. הלוגיקה מבחינה בין טיעונים שיש בהם היסק תקף, כלומר כאלו שבהם המעבר מההנחות למסקנה הוא…
-
מדעי הטבע
כל מה שרצית לדעת על מדעי הטבע:מדעי הטבע הוא שם כולל לתחומי מדע, העוסקים בהבנת חוקי הטבע, ששולטים ביקום וניסוחם דרך תאוריות מדעיות. מדעי הטבע עוסקים בהוכחת מודלים מתמטיים (דטרמיניסטיים או סטוכסטיים) של תהליכים טבעיים על ידי תצפית ותיעוד מקרים רבים, כמו גם על ידי ניסוי. מדעי הטבע מיוחסים לעתים כ"מדעים קשים", המסתמכים בעיקר על…