nondefinability

[USA]/ˌnɒndɪˌfaɪnəˈbɪləti/
[UK]/ˌnɑːndɪˌfaɪnəˈbɪləti/

Översättning

n. kvaliteten eller tillståndet av att vara odefinierbar; oförmågan att definieras; (logik, matematik) egenskapen hos en begrepp, mängd eller funktion som inte kan formellt definieras inom en given formell system

Fraser & Kollokationer

conceptual nondefinability

konceptuell odefinierbarhet

inherent nondefinability

innemålig odefinierbarhet

nondefinability theorem

odefinitetssats

nondefinability result

odefinitetsresultat

recursive nondefinability

rekursiv odefinierbarhet

essential nondefinability

essentiell odefinierbarhet

logical nondefinability

logisk odefinierbarhet

formal nondefinability

formell odefinierbarhet

semantic nondefinability

semantisk odefinierbarhet

inductive nondefinability

induktiv odefinierbarhet

Exempelsatser

the nondefinability theorem demonstrates fundamental limits in formal systems.

Detta teorem visar grundläggande gränser inom formella system.

mathematical logic often explores the nondefinability of certain sets.

Matematisk logik undersöker ofta icke-definierbarhet hos vissa mängder.

semantic nondefinability creates challenges in computational linguistics.

Semantisk icke-definierbarhet skapar utmaningar inom beräkningslingvistik.

researchers prove nondefinability results using diagonalization arguments.

Forskare bevisar resultat om icke-definierbarhet med diagonaliseringsargument.

the nondefinability of truth in arithmetic was proven by tarski.

Tarski bevisade att sanning är icke-definierbar inom aritmetik.

inherent nondefinability prevents complete formal characterization of complex concepts.

Inherent icke-definierbarhet hindrar en fullständig formell karaktärisering av komplexa begrepp.

logical nondefinability emerges from the interaction between syntax and semantics.

Logisk icke-definierbarhet uppstår genom interaktionen mellan syntax och semantik.

formal nondefinability results have profound implications for artificial intelligence.

Resultat om formell icke-definierbarhet har djupa konsekvenser för kunskapsbaserad intelligens.

the phenomenon of nondefinability challenges our understanding of formal systems.

Fenomenet av icke-definierbarhet utmanar vår förståelse av formella system.

model theory provides tools to analyze nondefinability in various structures.

Modellteori tillhandahåller verktyg för att analysera icke-definierbarhet i olika strukturer.

computational complexity theory studies the nondefinability of certain functions.

Beräkningskomplexitetsteori studerar icke-definierbarhet hos vissa funktioner.

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

Filosofiska konsekvenser av icke-definierbarhet sträcker sig till gränserna för mänsklig kunskap.

Ladda ner appen för att låsa upp allt innehåll

Vill du lära dig ordförråd mer effektivt? Ladda ner DictoGo-appen och ta del av fler funktioner för att memorera och repetera ordförråd!

Ladda ner DictoGo nu