Forcing (computability)
id:
forcing-computability-324-7198720
title:
Forcing (computability)
text:
Forcing in computability theory is a modification of Paul Cohen's original set-theoretic technique of forcing to deal with computability concerns. Conceptually the two techniques are quite similar: in both one attempts to build generic objects by meeting dense sets. Both techniques are described as a relation between 'conditions' and sentences. However, where set-theoretic forcing is usually interested in creating objects that meet every dense set of conditions in the ground model, computability
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Forcing_(computability)
date created:
date modified:
2024-01-18T22:05:17Z
main entity:
{"identifier":"Q5467584","url":"https://www.wikidata.org/entity/Q5467584"}
image:
fields total:
13
integrity:
13