山顶可休息
发表于 2025-3-28 16:08:45
http://reply.papertrans.cn/32/3178/317712/317712_41.png
BILL
发表于 2025-3-28 21:43:22
Michaela Isabel Höhnped. Several mutually non-equivalent theories have been proposed for it, none of which, however, has been accepted by the majority of mathematicians or computer scientists. In this contribution one of these theories, TTE (Type 2 Theorie of Effectivity), is presented, which at least in the author‘s o
encyclopedia
发表于 2025-3-28 23:15:29
http://reply.papertrans.cn/32/3178/317712/317712_43.png