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.
- 0 Posts
- 9 Comments
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)))
schuelermine@leminal.spaceto
Linux@lemmy.ml•Why a Windows registry editor on FlathubEnglish
1·10 days agoSadly fails to launch on my machine
schuelermine@leminal.spaceto
World News@lemmy.world•Greta Thunberg joins blockade of ‘Israel’-linked weapons factoryEnglish
13·14 days agoI do not understand how this relates to what I said. Once these French people leave the place and cease to control it ceases to be France. In a similar way, if Palestinians establish control over Palestine and what is currently Israeli, Israel will cease to exist (even if the Israelis do not leave).
schuelermine@leminal.spaceto
World News@lemmy.world•Israeli firm’s digital ads enabling installation of ‘zero-click’ spyware, researchers sayEnglish
2·14 days agoIt would be more useful to know what vulnerabilities are being exploited here. The fact that the possibility to hack people is used if it exists is not surprising. Even if these people didn’t do it, others might, which is why this shouldn’t be possible in the first place.
schuelermine@leminal.spaceto
World News@lemmy.world•Greta Thunberg joins blockade of ‘Israel’-linked weapons factoryEnglish
12·14 days agoIsrael is wherever Israeli forces control the land.
Palestine is also there, but there is also Israel. Unlike Israel, Palestine currently has less de-facto control over its borders and land.
Like, even if there is no “Israel” there in your view, there is a group of people that call themselves Israeli, that operate a so-called Israeli Defence Force, that elect an Israeli legislature, and that do so in a specific geographic area. This conglomerate of people and institutions and the location it exists in, the physical buildings, and the areas it has effective control over, these are Israel.
Similarly, there is a group of people that call themselves Palestinian, that are concentrated in specific areas, that have historical connection to specific areas, that operate Palestinian organisations, that elect a Palestinian government. These people and their actions that relate to the land are what constitute Palestine.
schuelermine@leminal.spaceto
World News@lemmy.world•Greta Thunberg joins blockade of ‘Israel’-linked weapons factoryEnglish
75·14 days agoI think this is silly; Israel exists even if it’s illegitimate or dangerous.
Like, anarchists don’t need to put “government” in quotes every time they use it. You can be mad at a thing that exists.
Les policiers de tous les pays sont des bœufs; pas en France ou les États-Unis seulement !


How exactly is kernel.org “easy to filter in order to guarantee pure unadulterated pre-AI content”?