## Implications of complex solutions of Matiyasevich / Chaitin diophantine polynomials.

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

This is a shot in the dark: In twf:202, an isomorphism $T\cong T^{7}$ between binary trees $T$ and seven tuples of binary trees T^{7} is mentioned. The argument for this isomorphism starts with the observation that the sixth root of unity is obtained from the categorified version of the statement "a planar binary tree is either the tree with one leaf or a pair of planar binary trees."

What implications (or extant research has been done?) would complex solutions to either Chaitin's exponential diophantine system (which is essentially a lisp implementation) or Matiyasevich's system have?

-
A reference to Chaitin's system and/or Matiyasevich's system might be in order. – Gerry Myerson Feb 13 2012 at 23:14

4
I'm not really sure I understand the connection between the first and second paragraphs. I assume it's nothing deeper than the idea that sometimes solutions over larger rings than one started with carry some hidden meaning? As far as I understand, complex solutions to Matiyasevich's universal exponential Diophantine equation have no special significance, and based on the construction I doubt we'll ever discover such a significance (although miracles could happen). What Chaitin did is just to work out an explicit equation. – Henry Cohn Feb 14 2012 at 0:12
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9381675720214844, "perplexity_flag": "middle"}