complex solutions of diophantine polynomials and trees

Chaitin has implemented an exponential polynomial that more or less is a lisp implementation, and Yuri Matiyasevich implemented one in the seventies that was used in his proof to answer Hilbert’s 10th problem in the negative.

In Baez’s This Week’s Finds, week 202, an isomorphism between trees and seven tuples of trees is noted.

This makes me wonder: what could we do with complex solutions of Chaitin’s and Matiyasevich’s polynomials?


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s