Content deleted Content added
m added "missing info" warning |
m added "needs attention" tag |
||
Line 1:
{{Expert needed|mathematics
{{Missing information|article|the forcing relation <math>\Vdash</math>|date=April 2021}}▼
| talk =
| reason = Article incomplete
| date = April 2021
| ex2 = logic
▲}}{{Missing information|article|the forcing relation <math>\Vdash</math>|date=April 2021}}
'''Forcing''' in [[computability theory]] is a modification of [[Paul Cohen (mathematician)|Paul Cohen's]] original [[set theory|set-theoretic]] technique of [[forcing (set theory)|forcing]] to deal with computability concerns.
| |||