מספר טבעי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
1. יש להבחין בין ספירה למניה. 2. יש לשים לב לפגם חמור בהגדרת פרגה... משום מה מנסחים את הגדרתו ועוברים לסדר היום כאילו אנו חיים בעולם קבוע.
מ מחקר מקורי
שורה 2:
'''מספר טבעי''' הוא [[מספר]] שלם חיובי, המתאר מספר אברים ב[[קבוצה סופית]], כמו 1,2,3 או 17. מקובל לסמן את '''קבוצת המספרים הטבעיים''' באות <math>\mathbb {N}</math>. המספר [[אפס (מספר)|אפס]] נחשב טבעי לפי הגדרות אחדות, ואינו טבעי לפי הגדרות אחרות.
 
המספרים הטבעיים הם הקלים ביותר להבנה, והראשונים שנלמדים על ידי ילדים. למספרים טבעיים שלוששתי מטרות:
* '''[[מנייה|ספירה]]''', פירוטלמשל: שמותיש המספריםשלושה הטבעייםתפוחים ברצףעל בשפה נתונההשולחן.
* '''[[מנייה|מניה]]''', למשל: יש שלושה תפוחים על השולחן.
* '''[[מספר סודר|סדר]]''', למשל: זו העיר השלישית בגודלה במדינה.
 
שורה 12 ⟵ 11:
 
== הגדרה ובנייה ==
המספרים הטבעיים הם הראשונים שהופיעו כמושגים נבדלים: מספר טבעי מונהסופר את האיברים בקבוצה. אפשר לראות את ההבחנה שיש משהו משותף בקבוצה של שלושה אנשים, שלושה תפוחים או שלושה נמרים כהכללה המתמטית הראשונה שעשו בני האנוש. [[לאופולד קרונקר]] אמר ש"האל יצר את המספרים הטבעיים - כל השאר הוא יציר האדם".
 
במסגרת היציקה המודרנית של המתמטיקה לשפת [[תורת הקבוצות]], הציע הלוגיקאי [[גוטלוב פרגה]] שהמספר שלוש הוא, בפשטות, קבוצת כל הקבוצות שיש בהן שלושה איברים (היינו, שהאברים שלהן נמצאים בהתאמה לקבוצה מסוימת בת שלושה איברים). בגישה זו יש [[פרדוקס]]ים, הנובעים מכך שאוסף כל הקבוצות הוא מקור לפרדוקסים מחמת גודלו, ואינו יכול להוות קבוצה בפני עצמו (ראו [[פרדוקס קנטור]]). ההצעה של פרגה לוקה בעוד תכונה מוזרה. היות ועצמים שיכולים להיות אברים בקבוצה אינם נצחיים, המספר שלוש משתנה, מרגע לרגע, כי איבריו מתחלפים: כמה מתאיינים וכמה נוספים כאיברים חדשים. כיצד נוכל לבטוח בקיומו של ההיגד 3+2=2+3 אם הקבוצות 2 ו-3 משתנות, אפילו בלי ידיעתנו??
 
הבניה של [[מערכת פאנו]] מאפשרת לקבוע שמספר טבעי הוא איבר של מערכת פאנו (כל ה[[מודל (לוגיקה מתמטית)|מודלים]] של אקסיומות פאנו הם [[איזומורפיזם (לוגיקה מתמטית)|איזומורפיים]]).