Thread: Emerson introduction

My name is Emerson Mitchell. My interests are diverse, the science and math of this site pulled my in from Facebook. I have a PhD in Mathematical Logic and Set Theory with a thesis inspired by and near W V O Quines NF. Combine a true null set and a true universal set with fairly large cardinals and infinitisimals into a true Boolean set theory. I proved consistency of one such theory with the Power set axiom. I still think NF is consistent, but not with the usual set theories taught in schools. Last I heard this was still open.

However, I earned my living as a programmer/analyst and never got a PhD related job. Teaching didn't pay well enough!

Four and a half years ago my liver developed NASH cirhosis and I nearly died. Hospice was where I woke up. I have a liver transplant (thanks to God, an unknown donor, my wife and the Doctors in San Francisco) and have spent the time since getting back to my interests. Every year I get back some more of my original strength and skill. I'm never going to have a job again. Thanks to God and my wife and my excellent last job, I don't need to.

But I need things to do and this site gives me another time filler. I will post sometimes, maybe something interesting.

I do want to hear from others who have time and are interested in any of Apple product programming, math with unorthodox set theories, general amatuer science interest, Science Fiction or Loglan (ask).

I am still a newbie at internet site operations, so make suggestions. E.G. what is threadback?

Welcome to the site! I too am a computer programmer with an interest in space physics and the universe.

THe linkbacks are used to put a link back to another site. check out :
Linkback - Wikipedia, the free encyclopedia

Hi Emerson,

Nice to see a mathematician here. Looking forward discussion about how formal logic can be applied to test physics theories for consistency and completeness ( one of my favourite area of research and the basis for my theory of fundamental physics called Quantum-Geometry Dynamics.

Must be great to have time for your passions.

How to test Physics theories for completeness and consistency is a problem. Do you know Godel's theorem?

You need to choose whether you want consistent or complete. Any sufficiently complex theory if consistent cannot be logically complete.

I suggest mathematically complete and physically complete and testable as correct targets.

But the math for the physics will be way over my head!

Hi Emerson. Yes. I know about Goedel's incompleteness theorem. I still have my copy of his original paper and a set of Principia Mathematica.

That said, I believe Quantum-Geometry Dynamics offers a disproof of his completeness theorem and, as a consequence, found that Hilbert's program can be reinstated through a reinterpretation of Goedel's "On Formally Undecidable Propositions of Principia Mathematica."

The mathematics I have developed for QGD, Constructivist Mathematics, imply the possibility of a complete axiomatic system from which can explain all physical phenomenon. Quantum-Geometry Dynamics is, in that sense, a complete and consistent axiomatic system.

If you're interested in reading about Quantum-Geometry Dynamics, you can find some of my introductory papers here. The papers should be read in order starting with Introduction to Quantum-Geometry Dynamics which introduces the basic concepts.