Content deleted Content added
m "recursive" => "computable" per discussion here: https://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Mathematics#Proposal:_change_terminology_from_%22recursive%22_to_%22computable%22 |
m added "missing info" warning |
||
Line 1:
{{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.
| |||