THERE – Theory and Empiricism of Religious Evolution: Foundation of a Research Program

7. The Mutual Transcription of Metaphors in the Fields of Natural Sciences, Social Sciences, and Cultural Studies

The (M,R)-system cannot be calculated with a Turing machine because, as Louie (2005⁠, 2007a⁠, 2007b⁠, 2011) shows with the help of mathematical category theory, it contains an impredicative set. Zhang, Williams, and Gatherer (2016), by contrast, argue in favor of the calculability of the (M,R)-system. This can be done by transferring the classical diagram into the diagrammatic notation standard of the Unified Modeling Language (UML). Cf. also Palmer, Williams, and Gatherer (2016), who consider possibilities for calculating the (M,R)-system, too.

This page is referenced by: