Disambiguation evidence for Rosser’s trick in incompleteness proofs via surface form
"Rosser’s theorem"
Triples (1)
Triples where some other subject referred to this entity
as "Rosser’s theorem".
J. Barkley Rosser
→
notableWork
→
"Rosser’s theorem"
ⓘ
↳ resolves to Rosser’s trick in incompleteness proofs