Then the definitions of decidability above can be directly applied.

Wtedy definicje rozstrzygalności wyżej bezpośrednio może być zastosowany.

Decidability: there is a decision procedure to test any statement in the theory.

Rozstrzygalność: jest procedura decyzji sprawdzić jakiekolwiek oświadczenie w teorii.

The decidability is still an open question, but there are results on restriction of those circuits.

Rozstrzygalność jest wciąż kwestią otwartą ale są wyniki na ograniczeniu tych obwodów.

Many formal theories have been studied in the context of decidability.

Wiele oficjalnych teorii zostało przestudiowanych w kontekście rozstrzygalności.

There are several basic results about decidability of theories.

Jest kilka podstawowych wyników o rozstrzygalności teorii.

More informally, such problems cannot be solved in general by computers; see decidability.

Swobodniej, takie problemy nie mogą być rozwiązane na ogół przez komputery; dostrzegać rozstrzygalność.

He was a mathematician noted for his work on the decidability of various algebraic groups.

Był matematykiem zauważonym dla jego pracy nad rozstrzygalnością różnych algebraicznych grup.

The concept of decidability may be extended to other models of computation.

Pojęcie rozstrzygalności może być złożone do innych modelów obliczenia.

The concept of algorithm is also used to define the notion of decidability.

Pojęcie algorytmu również jest wykorzystane do określenia pojęcia rozstrzygalności.

The question of decidability is still unresolved.

Pytanie rozstrzygalności jest wciąż nierozwiązane.

Decidability: there should be an algorithm for deciding the truth or falsity of any mathematical statement.

Rozstrzygalność: powinien być algorytm dla rozstrzygania prawdy albo fałszywości jakiegokolwiek matematycznego oświadczenia.

Decidability theory is a branch of mathematics.

Teoria rozstrzygalności jest działem matematyki.

Remarkably, decidability of admissibility in the basic modal logic K is a major open problem.

Niezwykle, rozstrzygalność dopuszczalności w podstawowej logice modalnej K jest głównym otwartym problemem.

A property of a theory or logical system weaker than decidability is semidecidability.

Właściwość teorii albo słabszego niż rozstrzygalność logicznego systemu jest semidecidability.

Decidability should not be confused with completeness.

Rozstrzygalność nie powinna być pomylona z całością.

If there is such an algorithm, then decidability for the theory reduces to deciding the truth of the quantifier-free sentences.

Jeśli jest taki algorytm, w takim razie rozstrzygalność dla teorii redukuje do rozstrzygania prawdy bez kwantyfikator zdań.

Wang tiles have been extensively used in cellular automata theory decidability proofs; see for example.

Wang dachówki były poważnie używane w klatkowej rozstrzygalności teorii automatów impregnuje; widzieć na przykład.

Decidability (logic) - for the problem of deciding whether a formula is a consequence of a logical theory.

Rozstrzygalność (logika) - dla problemu z decydowaniem czy formuła jest konsekwencją logicznej teorii.

In general, there is a compromise to be made between the precision of the analysis and its decidability (computability), or tractability (complexity).

Na ogół, jest kompromis być ustawionym między precyzją analizy a jego rozstrzygalnością (obliczalność), albo ustępliwość (zawiłość).

Methods used to establish decidability include quantifier elimination, model completeness, and Vaught's test.

Metody wykorzystane do założenia rozstrzygalności obejmują kwantyfikator eliminacja, całość modela, i Vaught's test.

This seminar, in essence, started a new and extremely fruitful school in model theory and decidability of elementary theories.

To seminarium, w istocie, zacząć nową i niezwykle owocną szkołę w teorii modeli i rozstrzygalności podstawowych teorii.

A simplified decidability proof.

Uproszczony dowód rozstrzygalności.

This is equivalent to the decidability of real closed fields, of which elementary Euclidean geometry is a model.

To odpowiada rozstrzygalności prawdziwych zamkniętych pól, z których podstawowa geometria elementarna służy za wzór.

Decidability and the Finite Model Property.

Rozstrzygalność i Ograniczony Model Własność.

However, in general proof of decidability is undecidable, so many programs require hand-written annotations, which may be very non-trivial.

Jednakże, na ogół dowód rozstrzygalności jest nierozstrzygalny, tyle programów wymaga ręka-pisemny przypisów, które mogą być bardzo nie-błahy.