Metadynamics by Christine Cordula Dantas

Dear Christine,

your notion of 'metadynamics' is an intriguing one. The correspondence between logic, physical systems, and computer programs has been remarked upon before, perhaps most well-worked out in Baez' 'Rosetta Stone'-paper (https://arxiv.org/abs/0903.03409), where he proposes a categorical equivalence between Feynman diagrams, cobordisms, proofs in logic, and computer programs. However, I do not recall any attempt, in that paper, to fold the correspondence back in on itself---to find an equivalent to logic talking about itself within Feynman diagrams, for instance.

I also like your idea that one might get physical laws out of metadynamics---as fixed points, perhaps, of dynamics applied to dynamics, maybe in a way similar to how Löb's theorem (https://en.wikipedia.org/wiki/L%C3%B6b%27s_theorem) can be used to construct modal fixed points, the most famous of which is the Gödel statement itself, equivalent (in this fixed-point sense) to the inconsistency of arithmetic.

However, I believe the correspondence is usually drawn a bit differently from the way you frame it---one takes the axioms to be something like the initial state of the system (sort of like the input into a program), then proofs as parallel to the dynamics (the computation), with theorems (truths) coming out at the end (final states). This then leads to something like my proposal, in which what 'comes out at the end' may be subject to undecidability---thus leading to the unpredictability of measurement outcomes, as in quantum mechanics.

Anyway, thanks for an enjoyable essay. I wish you the best of luck in this contest!

Cheers

Jochen

Dr Dantas,

Very nice work on Metamathematics and metadynamics...

Undecidability, Uncomputability, and Unpredictability are very much undesirable properties and out-comes of any theory. That theory might have developed by a very reputed person or by a group of well-educated and knowledgeable persons. There is no point of poring resources, money and highly educated man power into that theory when that theory is failing on above three points.

In my essay just elaborated what should be the freedom available to an author when the " real open thinking" is supported. Have a look at my essay please.

"A properly deciding, Computing and Predicting new theory's Philosophy"

=snp.gupta

Hi,

If you are replying any of comments I posted on your essay, I request you to post a copy or intimation that you posted reply, on my essay

"A properly deciding, Computing and Predicting new theory's Philosophy"

also,so that I can continue discussion....

Best Regards

=snp.gupta

Hi Christine,

(Another) wonderful essay of yours, both well-written and interesting! I wish you good luck :)

Sabine

Dear Christine (if I may),

thanks for a well-written and very interesting essay. The ideas on metadynamics you expounded are quite inspiring.

I would be most interest if you could find some similarities with your ideas in the general framework I propose in my essay.

Meanwhile, congrats and good luck with the contest.

best,

Flavio

Hi Christine,

you developed some deep ideas about the 3 "Uns" and I think your ideas are more than analogies.

You wrote

"Hence the limits of provability in formal axiomatic systems would correspond in metadynamics to an associated layer of physical reality which is not mathematically expressible".

I come to the same inference in my essay. Although some would think this is the end of any proper description of reality, i would think it must not - to the contrary.

Hello Dr Dantas,

Very relevant general analysis and innovative extrapolation. I liked your metadynamics like a conceptual space of physical attributes that are self-referential, and symmetries related to these attributes lead to laws.

I see so many convergences with the topological spaces, euclidian spaces,and lie Groups and derivatives more the 3D spheres if they are the foundamental mathematical and physical objects of course but I cannot affirm. The points of geometrodynamics or the strings can maybe be conjectured if you analyse deeper the goentrizations and topologies more the rankings of fields and matters. The maths and this metadynamics seem relevant for our physics if they are well harmonised with our pure determinism. Very relevant essay, one of my favorites, you are innovative and it is essential, I wish you all the best in this Contest.

Best Regards

Christine I enjoyed your essay and I enjoyed your thinking process. I have a "recent discovery" that you may want to use to adjust your hypothesis. This "discovery" is introduced in my essay--Clarification of Physics---. What it introduces is a new Successful Self Creation theory and a new "lowest level of creation". In reading your essay I was struck by how this lowest level is your ...associated layer of physical reality which is not mathematically expressible.--and the -- (yet to be uncovered) extension of logical systems". However, in my essay appendix, I show that this level is mathematically expressible. It is the lowest level that initially associates physical reality and mathematics. This association carries through its scale up to become the mathematical/universe that I discovered. This lowest level is also the lowest level that "associates" math, physics, the rest of science, philosophy - logic and reason, and religion.

This discovery refutes many of your conclusions. However, the inclusion of this discovery in your excellent thinking about meta- correlations should lead to results that "mirrow ? this is a new term for me" the actual creation of the mathematical-physical universe. It can also be extended to the other disciplines -philosophy etc. I hope you read my essay and comment. If you have any questions, put them in your comments or e mail me. John Crowell

Christine I recently revised (added to) my initial essay. So be sure to read and comment on the current essay. John