nondefinability

[ארה"ב]/ˌnɒndɪˌfaɪnəˈbɪləti/
[בריטניה]/ˌnɑːndɪˌfaɪnəˈbɪləti/

תרגום

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

צירופים וביטויים

conceptual nondefinability

אי-הגדרה קונספטואלית

inherent nondefinability

אי-הגדרה טבועה

nondefinability theorem

משפט אי-הגדרה

nondefinability result

ผล אי-הגדרה

recursive nondefinability

אי-הגדרה רקורסיבית

essential nondefinability

אי-הגדרה יסודית

logical nondefinability

אי-הגדרה לוגית

formal nondefinability

אי-הגדרה פורמלית

semantic nondefinability

אי-הגדרה סמנטית

inductive nondefinability

אי-הגדרה אינדוקטיבית

דוגמאות למשפטים

the nondefinability theorem demonstrates fundamental limits in formal systems.

המשפט על אי-ההגדרה מדגים הגבלות יסודיות במערכות רשמיות.

mathematical logic often explores the nondefinability of certain sets.

לוגיקה מתמטית מפעילה לעיתים קרובות את אי-ההגדרה של קבוצות מסוימות.

semantic nondefinability creates challenges in computational linguistics.

אי-ההגדרה סמנטית יוצרת אתגרים בлинגוויסטיקה חישובית.

researchers prove nondefinability results using diagonalization arguments.

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

the nondefinability of truth in arithmetic was proven by tarski.

אי-ההגדרה של אמת באריתמטיקה הוכחה על ידי טארסקי.

inherent nondefinability prevents complete formal characterization of complex concepts.

אי-ההגדרה הפנימית מונעת מאפיון רשמי מלא של מושגים מורכבים.

logical nondefinability emerges from the interaction between syntax and semantics.

אי-ההגדרה לוגית מגיעה מהتفاعل בין סינטקס וסמנטיקה.

formal nondefinability results have profound implications for artificial intelligence.

ผลונות של אי-ההגדרה רשמית יש השפעות עמוקות על אינטליגנציה nhân tạo.

the phenomenon of nondefinability challenges our understanding of formal systems.

תופעה של אי-ההגדרה מציבת אתגרים לفهم שלנו על מערכות רשמיות.

model theory provides tools to analyze nondefinability in various structures.

نظرיה של מודל מספקת כלים לנתח אי-ההגדרה במבנים שונים.

computational complexity theory studies the nondefinability of certain functions.

نظرיה של סיבוכיות חישובית מחקרת את אי-ההגדרה של פונקציות מסוימות.

philosophical implications of nondefinability extend to the limits of human knowledge.

השלכות פילוסופיות של אי-ההגדרה נמתחות אל הגבולות של ידיעת האדם.

מילים פופולריות

חקור אוצר מילים שמחפשים לעיתים קרובות

הורד את האפליקציה כדי לפתוח את כל התוכן

רוצה ללמוד אוצר מילים ביעילות רבה יותר? הורד את אפליקציית DictoGo ותהנה מאפשרויות נוספות לשינון ולתרגול אוצר מילים!

הורד את DictoGo עכשיו