#1 - 2023-12-16 00:06
だるくvan (会いたい、知りたい)
https://philosophy.stackexchange ... is-a-natural-number
感觉到自然数和 Boolean 之间有一种对偶。可以认为是用于描述“什么事物”的工具。
Boolean 值用于区分了有和无,而自然数用来描述的 counting。
可是 counting 是什么?这倒也需要说明。只能说确实这玩意很难解释……总不能说我在空集外面的 bracket 个数自然形成了 counting……
有点 weird 的问题,但是感觉不够有趣
感觉到自然数和 Boolean 之间有一种对偶。可以认为是用于描述“什么事物”的工具。
Boolean 值用于区分了有和无,而自然数用来描述的 counting。
可是 counting 是什么?这倒也需要说明。只能说确实这玩意很难解释……总不能说我在空集外面的 bracket 个数自然形成了 counting……
有点 weird 的问题,但是感觉不够有趣