Paul Zielinski comments on Chris Langan's CTMU (9/5/14)........ Having carefully reviewed Chris Langan's CTMU synopsis (annotated copy attached), with a sympathetic and open minded attitude, here is my overall take on the contents. What is the general approach taken by the CTMU? Essentially, using what appear to be Kantian methods of abstraction from existing knowledge, the CTMU attempts to revive what amounts to a hybrid of logicism and formalism in the traditional foundations of mathematics, claiming to be able to derive set theory (and therefore the whole of mathematics) entirely from logical tautologies. It then expands the scope of this hybrid logicist/formalist thesis to the entire framework of objective reality (arrived at by what the CTMU calls the "scientific method"), by "syntactical" rules of inference that are abstracted from certain accepted scientific theories (as specifically interpreted by J. A. Wheeler). It is then simply asserted without any proof based on computational-linguistic considerations that a set of syntactical rules can be found from which the whole of objective reality, interpreted according to Wheeler's principles, can be developed as a "grammar of reality" with the aid of a self-generating, self-reflecting syntactical machine, the so-called "SCSPL". The "SCSPL" comprises the basic syntax of reality augmented by a "supertautological structure", which latter dynamically and reflexively unfolds the truth content of set of fundamental absolute truths (logical axioms) in the form of logical tautologies, so as to optimize something called "general utility" in an inherently teleological manner. This leads to a purely syntactical definition of cognitive reality in which the world essentially designs itself, and in which intelligence unfolds in an autonomous goal-oriented process of cosmic evolution by self-selection. http://best-possible.wikia.com/wiki/PZ_comments_on_Langan's_CTMU The SCSPL syntactical machine is not incompatible with reality otherwise Langan would not have included it in his model.