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

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

פילוסופיה - אי שלמות שואפת לאינסוף - חלק 3 פילוסופיה - אי שלמות שואפת לאינסוף - חלק 2. הגורם האנושי למרות שהחוק המדעי חושף סדר והיגיון עמוקים בעולם, התהליך המוביל לגילויים לא חייב להיות מסודר או הגיוני בעצמו. כשסוקרטס מסביר לנו ברצינות תהומית בהמשתה...- שלאנטיות הזאת, על - פי בכלר, 9 היא חלק בלתי - נפרד מהמתודה המדעית: המדען מוכן להניח הנחות ללא הוכחה מספקת ולהתקדם אתן, במקום שבו היה הלוגיקן הקפדן נשאר תקוע. בכלר מתמצת את הגישה הזאת בסיסמה של גלילאו: באר את הפלא עי הנס. כמו האפס, גם האינסוף משך את הדמיון המתמטי. גיאורג קנטור (1845 - 1918) המציא חשבון מיוחד לאינסופים והוכיח בדרך פשוטה יחסית שמספר הנקודות על קו מסוים שווה למספר הנקודות על קו גדול יותר ואפילו למספר הנקודות על מישור או מרחב כלשהו2 (אני רואה את זה, כתב על ההוכחה, אבל לא מאמין! )....

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

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