Computability and Logic¶
Boolos, G. S., Burgess, & Jeffrey, R. C. (2007). Computability and Logic. Cambridge University Press.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Well-Foundedness (Well-Ordering)
- … landscape; gradient-descent optimisation terminates only if the loss landscape has well-founded structure) — all deploy the no-infinite-descent structural pattern to guarantee termination, enable induction, or block paradoxical regress, a unifying point of view also emphasized in Boolos, Burgess, & Jeffrey (2007).
This sourceStandard text on computability, recursion, and the philosophical landscape of formal systems; treats well-foundedness and induction in unified fashion.
- … landscape; gradient-descent optimisation terminates only if the loss landscape has well-founded structure) — all deploy the no-infinite-descent structural pattern to guarantee termination, enable induction, or block paradoxical regress, a unifying point of view also emphasized in Boolos, Burgess, & Jeffrey (2007).
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:dcec60fb14eb · see in the full table