פורטל:מתמטיקה/תחום נבחר/3

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מקודדות מושגים אינטואיטיביים, כגון הוכחה או חישוביות. במקורה הייתה הלוגיקה ענף של הפילוסופיה, אולם במהלך מאתיים השנים האחרונות חלו התפתחויות רבות בתחום הלוגיקה הפורמלית שהינה כיום, בנוסף לפילוסופיה, גם ענף של המתמטיקה הנקרא לוגיקה מתמטית.

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

לערך המלא

לרשימת כל הערכים בתחום