In the Vinony graph
Vinony's link graph records 435 inbound references to décidabilité, and connects out to propositional calculus, formal system and recursive set.
Vinony files it under Concepts in logic, Metalogic and Proof theory.
Vinony links it to 17 Wikipedia language editions.
Wikidata facts
- Subclass of
- property
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Français
En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L’indécidabilité est la négation de la décidabilité. Dans les deux cas, il s'agit de formaliser l'idée qu'on ne peut pas toujours conclure lorsque l'on se pose une question, même si celle-ci est sous forme logique.
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