Title text:
Other numbers are largely unaffected, but anyone using ‘4’ for their certificate key is urged to upgrade to ‘5’.
Transcript:
Transcript will show once it’s been added to explainxkcd.com
Source: https://xkcd.com/3314/
Title text:
Other numbers are largely unaffected, but anyone using ‘4’ for their certificate key is urged to upgrade to ‘5’.
Transcript:
Transcript will show once it’s been added to explainxkcd.com
Source: https://xkcd.com/3314/
Isn’t this Peano numerals? Church numerals would be if a baker’s four doubled two was sixty-four.
(That being (λf. λx. f (f (f (f (f x))))) (λn. λf. λx. n f (n f x)) (λf. λx. f (f x)))
Would they not be equivalent systems for this purpose? Both use the successor function as a unary representation of the natural numbers.
Yes, Church numerals are something more specific. Church numerals are a model of Peano arithmetic, I think. So basically all Chuch is Peano but not all Peano is Church.