NISHIO Hirokazu[Translate]
生産的集合

>生産的集合(せいさんてきしゅうごう、英: productive set)と創造的集合(そうぞうてきしゅうごう、英: creative set)とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはSoare (1987)やRogers (1987)などの数理論理学のテキストにおける標準的なトピックである。

"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]

(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]