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

אין תקציר עריכה
(לשכתוב)
{{לשכתוב|לא ברור לתלמיד תיכון ממוצע|נושא=מדעי הרוח|נושא2=מדעי הטבע}}
'''לוגיקה מתמטית''' הוא תחום ב[[מתמטיקה]], העוסק במערכות פורמליות ובדרך בה הן מקודדות מושגים אינטואיטיביים, כגון [[הוכחה]] או [[חישוביות]]. התחום הוא אחד מקבוצה של תחומים המכונים [[יסודות המתמטיקה]] משום שהם עוסקים בבסיס הפורמלי של המתמטיקה כולה.
לוגיקה מתמטית עוסקת באותם חלקים של ה[[לוגיקה]] שניתן ליצור להם [[מודל מתמטי]]. בעבר נקרא התחום גם בשמות '''לוגיקה סימבולית''' (בשל עיסוקו בטענות המיוצגות בידי סמלים) או '''מטה-מתמטיקה'''. השם השני מתייחס כיום רק ל[[תורת ההוכחות]], אחד התחומים בלוגיקה מתמטית.