Diccionari anglès-català: «provability»

Compartiu

Resultats de la cerca per a «provability»

provability n

Exemples d’ús (fonts externes)

Quantified provability logic is known to be undecidable.	Se sap que la lògica de demostrabilitat quantificada és indecidible.
Font: AINA
The study of formal proofs is used to determine properties of provability in general, and to show that certain undecidable statements are not provable.	L’estudi de les demostracions formals s’utilitza per determinar propietats de demostrabilitat en general, i per veure que algunes proposicions indecidibles no es poden demostrar.
Font: NLLB
Provability and theoremhood[edit] To establish a mathematical statement as a theorem, a proof is required, that is, a line of reasoning from axioms in the system (and other, already established theorems) to the given statement must be demonstrated.	Estrictament parlant, per tal d’establir un enunciat matemàtic com a teorema, en cal una demostració, és a dir, una seqüència d’arguments lògics que parteixen dels axiomes del sistema (i d’altres teoremes existents –i demostrats– anteriorment), fins a arribar com a conclusió a l’enunciat que es vol demostrar.
Font: HPLT
Mostra més exemples

Índex de paraules en anglès que comencen per:
A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z

Índex de paraules en català que comencen per:
A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z