Talk:Forcing (recursion theory)

From Wikipedia, the free encyclopedia

What exactly is the reason for creating a separate forcing page just for computability theory? While it is certainly different from forcing in set theory, the principle of satisfying certain requirements by carefully controlling how one condition is extended to the next is the same. Should we have a separate page also for forcing in arithmetic? Also, the disambiguation page which takes one to 'Forcing (mathematics)' and 'Forcing (recursion theory)' seems quite silly. There is no such thing as 'forcing in mathematics', and computability (recursion) theory is definitely a part of mathematics. So if we wish to persists in this very unreasonable split of forcing into two entirely separate entities (without a general forcing page illustrating the commonalities and general principles), then certainly the former article should be renamed 'Forcing (set theory)'.