-
קיום ויחידות
כל מה שרצית לדעת על קיום ויחידות:במתמטיקה, קיום ויחידוּת הוא מונח המציין כי קיים עצם מתמטי יחיד המקיים הגדרה נתונה.לדוגמה, נגדיר "מספר סופר-תאום" שהוא מספר המשתתף בשני זוגות של ראשוניים תאומים. תחילה נוכיח כי קיום של מספר כזה על ידי כך שנצביע על מקרה מפורש: 5 הוא סופר תאום כי (3,5) ו-(5,7) שניהם זוגות של…
-
XOR
כל מה שרצית לדעת על XOR:באלגברה בוליאנית, או בררני או או מוציא (באנגלית: eXclusive OR ובראשי תיבות: XOR (לפי האקדמיה, מבוטא: "אֶקְסוֹר"; אך בפי רוב, מקוצר לעיתים קרובות ל"קְסוֹר")) היא פעולה בוליאנית המקבלת שני אופרנדים ומחזירה אמת כאשר שני האופרנדים שונים. קסור משקפת משמעות נפוצה של המילה "או" בשפה המדוברת, למשל כשהמילה "או" משמשת להצבת…
-
באופן ריק
כל מה שרצית לדעת על באופן ריק:טענה במתמטיקה נכונה באופן ריק אם נכונותה אינה עומדת כלל למבחן, משום שהיא עוסקת באובייקטים שאינם קיימים. לדוגמה, "אם מספר ראשוני מתחלק ב-6 אז הוא כפולה של 10". הטענה נכונה, מכיוון שאין ראשוניים שמתחלקים ב-6.נכונותו הפורמלית של השימוש ב"באופן ריק" נובעת מתכונתו של קשר הגרירה בלוגיקה. קשר הגרירה …
-
אינטואיציוניזם
כל מה שרצית לדעת על אינטואיציוניזם:בפילוסופיה של המתמטיקה, אינטואיציוניזם היא גישה הרואה במתמטיקה תוצאה של פעילות אנושית של בניות מנטליות. כך, בהינתן אוסף אקסיומות (באינטואיציוניזם: אריתמטיקה של מספרים טבעיים), הטענות היחידות שנחשבות "לגיטימיות" הן אלו שנבנו, בעקיפין או שלא בעקיפין, על ידי האקסיומות. במילים אחרות, טענה ניתן להוכיח או להפריך רק באמצעות שיטות הוכחה קונסטרוקטיביות.…
-
אקסיומה
כל מה שרצית לדעת על אקסיומה:אַקְסיּוֹמָה או אמיתה (בכתיב ארכאי: אכּסיוֹמה) היא הנחה אשר מתייחסים אליה כנכונה וכמובנת מאליה. מקור המילה "אקסיומה" הוא מיוונית עתיקה (αξιωμα), ופירושה "עיקרון מובן מאליו", שאינו מצריך הוכחה.במתמטיקה ובלוגיקה, אקסיומה היא הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים כנכונה. טעות נפוצה היא שאקסיומות הן "אמת אינטואיטיבית ובסיסית…
-
בוריס טרכטנברוט
כל מה שרצית לדעת על בוריס טרכטנברוט:בוריס (בועז) טרַכטֶנבּרוֹט (ברוסית: Борис Авраамович Трахтенброт; נולד ב-19 בפברואר 1921) הוא מתמטיקאי ישראלי (לשעבר סובייטי) העוסק בלוגיקה מתמטית, אלגוריתמים, חישוביות וקיברנטיקה. נלקח מויקיפדיה הגדרות נוספות הקשורות לבוריס טרכטנברוט:•מתמטיקאים סובייטים•מדעני מחשב ישראלים•סגל אוניברסיטת תל אביב: מתמטיקה ומדעי המחשב•עולים בשנות ה-1980•זוכי מדליית EATCS•מתמטיקאים ישראלים
-
יוהאן מקובסקי
כל מה שרצית לדעת על יוהאן מקובסקי:יוהאן (ינוש) א. מקובסקי (Johann (János) A. Makowsky; נולד ב-12 במרץ 1948 בבודפשט) הוא לוגיקן ומדען מחשב שווייצרי ממוצא יהודי הונגרי, פרופסור מן המניין בטכניון.מקובסקי כתב את עבודת הדוקטורט שלו בלוגיקה מתמטית בציריך ב-1974. הוא שימש במשרות זמניות במרכז בנך בוורשה, באוניברסיטת סטנפורד בארצות הברית, באוניברסיטת סימון פרייז'ר בקנדה,…
-
הוכחה (פירושונים)
כל מה שרצית לדעת על הוכחה (פירושונים):הוכחה – סדרה של טענות המראה שטענה מסוימת נכונההוכחה (לוגיקה מתמטית) – הסקה של משפט מסדרת משפטים וכללי היסקהוכחה (סרט) – סרט אמריקאיזהו נלקח מויקיפדיה הגדרות נוספות הקשורות להוכחה (פירושונים):•פירושונים
-
הלנה רסיובה
כל מה שרצית לדעת על הלנה רסיובה:הלנה רסיובה (20 ביוני 1917, וינה, אוסטריה – 9 באוגוסט 1994, ורשה, פולין) הייתה מתמטיקאית פולנייה, שפעלה בתחומי יסודות המתמטיקה (לוגיקה מתמטית ותורת הקבוצות) ולוגיקה אלגברית. נלקח מויקיפדיה הגדרות נוספות הקשורות להלנה רסיובה:•מתמטיקאים פולנים
-
מודל (פירושונים)
כל מה שרצית לדעת על מודל (פירושונים):האם התכוונתם ל…דגם:מודל (מדע) – מודל מדעי: מערכת תאורטית פשוטה הדומה בתכונותיה החשובות למערכת מורכבת.מערכת מודל – מערכת פשוטה המחקה מערכת מסובכת ומשמשת לניסויים מדעיים או בחינת רעיונות טכנולוגיים. מקרים פרטיים:אורגניזם מודל – יצור חי המשמש כמערכת מודלמיניאטורה – דגם בקנה מידה מוקטןדגם אדריכלימודל מתמטימודל (לוגיקה מתמטית) – מערכת…