Comments on: The Undecidability of Identities Involving Sine, Exponentiation, and Absolute Value http://xorshammer.com/2008/09/14/the-undecidability-of-identities/ Some things in mathematical logic that I find interesting Mon, 06 Sep 2010 21:42:48 +0000 hourly 1 http://wordpress.com/ By: steviefaulkner http://xorshammer.com/2008/09/14/the-undecidability-of-identities/#comment-291 steviefaulkner Fri, 16 Apr 2010 16:46:18 +0000 http://xorshammer.wordpress.com/?p=155#comment-291 If you are interested in the origins of indeterminacy in Quantum Mechanics, read my newly finished paper titled: “The Mathematical Undecidability within Quantum Physics: The Origin of Indeterminacy and Mechanism of Decision at Measurement” To get a copy click on the following link: http://steviefaulkner.files.wordpress.com/2010/04/undecidability-in-qm_1034.pdf If you are interested in the origins of indeterminacy in Quantum Mechanics, read my newly finished paper titled:

“The Mathematical Undecidability within Quantum Physics: The Origin of Indeterminacy and Mechanism of Decision at Measurement”

To get a copy click on the following link:
http://steviefaulkner.files.wordpress.com/2010/04/undecidability-in-qm_1034.pdf

]]> By: steviefaulkner http://xorshammer.com/2008/09/14/the-undecidability-of-identities/#comment-216 steviefaulkner Wed, 30 Sep 2009 17:20:27 +0000 http://xorshammer.wordpress.com/?p=155#comment-216 I do not have enough knowledge to follow your work closely, but I find what you are doing very interesting indeed. I see similarity in it to questions I am considering. The fact you are considering the undecidability in an identity that implies orthogonality is of interest and also the fact you are considering irrational numbers. It looks as though you are not considering field variables but am I right in believing that under the Field Axioms, formulae proposing the existence of non-rational numbers are undecidable due to combined effects of Soundness and Completeness Theorems? If so, you might find this an interesting connection to your work. I do not have enough knowledge to follow your work closely, but I find what you are doing very interesting indeed. I see similarity in it to questions I am considering. The fact you are considering the undecidability in an identity that implies orthogonality is of interest and also the fact you are considering irrational numbers.

It looks as though you are not considering field variables but am I right in believing that under the Field Axioms, formulae proposing the existence of non-rational numbers are undecidable due to combined effects of Soundness and Completeness Theorems? If so, you might find this an interesting connection to your work.

]]>