rozstrzygalność
Sign in to saveAlso known as decidable
property of theories that have computable membership
In the Vinony graph
Within Vinony's link graph, rozstrzygalność is referenced by 435 other articles, and connects out to propositional calculus, formal system and recursive set.
It is catalogued under topics including Concepts in logic, Metalogic and Proof theory.
Its subject is documented across 17 Wikipedia language editions.
Wikidata facts
- Subclass of
- property
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Polski
Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: istnieje algorytm, który oblicza odpowiedź na dowolne pytanie stawiane przez problem. Problem może być nierozstrzygalny, jeśli jego rozstrzygalność prowadziłaby do powstania sprzeczności.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
propositional calculus
Entity
formal system
Entity
recursive set
Entity
semantic theory of truth
Entity
mathematical logic
Entity
first-order logic
Entity
Peano axioms
Entity
Church–Turing thesis
Entity
validity
Entity
predicate
Entity
three-valued logic
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
diagram
Entity
ground expression
Entity
logic
Entity
game
Entity
International Standard Book Number
Entity
natural number
Entity