Rozstrzygalność

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.

Zobacz też

  • problem nierozstrzygalny

Przypisy

Linki zewnętrzne

  • Sabine Hossenfelder, Unpredictability, Undecidability, and Uncomputability, YouTube, 16 marca 2020 [dostęp 2021-03-14].
Kontrola autorytatywna (właściwość):
  • LCCN: sh85036191
  • GND: 4152398-2
  • BnF: 119818468
  • SUDOC: 027868664
  • J9U: 987007545768505171
Encyklopedie internetowe:
  • Britannica: topic/decidability