גדל וריקותו של האנליטי

שו"תקטגוריה: פילוסופיהגדל וריקותו של האנליטי
פאפאגיו שאל לפני חודש 1

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

השאר תגובה

1 Answers
mikyab צוות ענה לפני חודש 1

זה ממש לא מה שגדל הראה. תוכל לראות בוויקיפדיה על משפטי גדל.

השאר תגובה

Back to top button