Search FQXi

Please also note that we do not accept unsolicited posts and we cannot review, or open new threads for, unsolicited articles or papers. Requests to review or post such materials will not be answered. If you have your own novel physics theory or model, which you would like to post for further discussion among then FQXi community, then please add them directly to the "Alternative Models of Reality" thread, or to the "Alternative Models of Cosmology" thread. Thank you.

Contests Home

Current Essay Contest

Contest Partners: Nanotronics Imaging, The Peter and Patricia Gruber Foundation, and The John Templeton Foundation
Media Partner: Scientific American

Previous Contests

Undecidability, Uncomputability, and Unpredictability Essay Contest
December 24, 2019 - March 16, 2020
Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

What Is “Fundamental”
October 28, 2017 to January 22, 2018
Sponsored by the Fetzer Franklin Fund and The Peter & Patricia Gruber Foundation

Wandering Towards a Goal
How can mindless mathematical laws give rise to aims and intention?
December 2, 2016 to March 3, 2017
Contest Partner: The Peter and Patricia Gruber Fund.

Trick or Truth: The Mysterious Connection Between Physics and Mathematics
Contest Partners: Nanotronics Imaging, The Peter and Patricia Gruber Foundation, and The John Templeton Foundation
Media Partner: Scientific American

How Should Humanity Steer the Future?
January 9, 2014 - August 31, 2014
Contest Partners: Jaan Tallinn, The Peter and Patricia Gruber Foundation, The John Templeton Foundation, and Scientific American

It From Bit or Bit From It
March 25 - June 28, 2013
Contest Partners: The Gruber Foundation, J. Templeton Foundation, and Scientific American

Questioning the Foundations
Which of Our Basic Physical Assumptions Are Wrong?
May 24 - August 31, 2012
Contest Partners: The Peter and Patricia Gruber Foundation, SubMeta, and Scientific American

Is Reality Digital or Analog?
November 2010 - February 2011
Contest Partners: The Peter and Patricia Gruber Foundation and Scientific American

What's Ultimately Possible in Physics?
May - October 2009
Contest Partners: Astrid and Bruce McWilliams

The Nature of Time
August - December 2008

Forum Home
Introduction

Order posts by:
chronological order
most recent first

Posts by the author are highlighted in orange; posts by FQXi Members are highlighted in blue.

RECENT POSTS IN THIS TOPIC

Christopher Duston: on 1/5/17 at 14:59pm UTC, wrote Dear Odessa, Thanks for showing an interest in this - yes, I agree,...

Armin Nikkhah Shirazi: on 12/26/15 at 7:18am UTC, wrote Dear Chris, I noticed via Researchgate that recently it appears you took...

Armin Nikkhah Shirazi: on 4/25/15 at 0:57am UTC, wrote Dear Chris, Having myself first learned to think more like a physicist and...

Christopher Duston: on 4/24/15 at 15:22pm UTC, wrote Hey Armin, I'm thinking of those functions as "maps to statements", so...

Armin Nikkhah Shirazi: on 4/23/15 at 23:49pm UTC, wrote Dear Chris, It is always gratifying when one's suggestions are taken...

Christopher Duston: on 4/23/15 at 16:10pm UTC, wrote Hi Armin, Yes, I think you are right that it would be nice if this...

Armin Nikkhah Shirazi: on 4/23/15 at 4:01am UTC, wrote Pardon, as soon as I submitted the post, I realized that the axiom schema...

Armin Nikkhah Shirazi: on 4/23/15 at 3:56am UTC, wrote Dear Christopher, I find your idea about an axiom of measurement very...

RECENT FORUM POSTS

John Wilson: "Hi Malcolm, Thanks for reading some of my paper, I really appreciate it. ..." in Alternative Models of...

Malcolm Riddoch: "Steve Agnew: “I hope this will be useful to you and I do encourage your..." in Alternative Models of...

Amrit Sorli: "BB cosmology has some troubles. I think that it will not last for a long..." in Alternative Models of...

Peter Morgan: "Note that the author link, https://authors.elsevier.com/a/1aZC%7EopqoQN9,..." in An algebraic approach to...

Zeeya Merali: "This is a place to discuss the article, "An algebraic approach to Koopman..." in An algebraic approach to...

Joe Fisher: "A visible person could dig or bore a fixed hole with visible sides in a..." in The Quantum Agent

Robert McEachern: "Eckard, I would argue that all symbolic representation (and thus all of..." in The Quantum Agent

Joe Fisher: "The most compelling evidence that the ability of white men of only being..." in Undecidability,...

RECENT ARTICLES

The Quantum Agent
Investigating how the quantum measurement process might be related to the emergence of intelligence, agency and free will.

First Things First: The Physics of Causality
Why do we remember the past and not the future? Untangling the connections between cause and effect, choice, and entropy.

Can Time Be Saved From Physics?
Philosophers, physicists and neuroscientists discuss how our sense of time’s flow might arise through our interactions with external stimuli—despite suggestions from Einstein's relativity that our perception of the passage of time is an illusion.

Thermo-Demonics
A devilish new framework of thermodynamics that focuses on how we observe information could help illuminate our understanding of probability and rewrite quantum theory.

Gravity's Residue
An unusual approach to unifying the laws of physics could solve Hawking's black-hole information paradox—and its predicted gravitational "memory effect" could be picked up by LIGO.

FQXi FORUM
February 25, 2020

CATEGORY: Trick or Truth Essay Contest (2015) [back]
TOPIC: The Experimental Verification of Mathematics via an Axiom of Measurement by Christopher Levi Duston [refresh]

Author Christopher Duston wrote on Mar. 5, 2015 @ 01:24 GMT
Essay Abstract

In this essay we argue that the partial abstraction used to describe reality in physics can be extended to a complete formal system by the addition of an axiom of measurement, elevating physics to a branch of formal mathematics. Once we have established parity between the two fields, we discuss how one might conduct the experimental verification of important mathematical results, such as the Riemann hypothesis. Using this axiom, we are provided with a framework for the definite separation between objective reality and physical reality, with the precision of our measurement system working as a continuous ladder between them.

Author Bio

Christopher Duston is a mathematical physicist whose current research focuses on the representation of 3- and 4-manifolds as branched covering spaces to construct models for the gravitational field. He has also worked on exotic smooth structures, semiclassical gravity, loop quantum gravity, and cosmic strings. He holds a B.S. in Astrophysics from the University of Massachusetts at Amherst, an M.S. in Astrophysics from the Pennsylvania State University, and a Ph.D. in Theoretical Physics from the Florida State University. He is currently an Assistant Professor at Merrimack College in North Andover, MA.

Conrad Dale Johnson wrote on Mar. 5, 2015 @ 16:39 GMT
Christopher –

I appreciate that your essay is well written and clearly thought-out, but it seems to me you gloss over a basic difference between physics and mathematics. You acknowledge that the axiom of measurement is unusual, in that there's unavoidable complexity in specifying each particular measurement arrangement. But I think the issue goes deeper than that. What gets measured...

view entire post

report post as inappropriate

Author Christopher Duston replied on Mar. 6, 2015 @ 21:00 GMT

Thanks for checking out my paper and bringing up these points. I'll check yours out as well, but for the moment I'll try to comment on your observations.

I didn't address the relative importance of certain axioms for exactly the reason you identify - the diversity of meanings makes the discussion quite complex. A single axiom might even have different importance...

view entire post

John C Hodge wrote on Mar. 5, 2015 @ 19:39 GMT
What do your consider quantum mechanics (which is a probabilistic model not a interaction or objects model) to be?

report post as inappropriate

Author Christopher Duston replied on Mar. 5, 2015 @ 22:07 GMT
Hey John,

Quantum Mechanics certainly includes interactions - that's how particles move in a lattice for instance, by interactions with the effective potential. The abstraction for quantum mechanics includes the probabilistic interpretation. For example, in a model for the hydrogen atom you might have the state function for the electron (as "the object") interacting with the Coulomb potential, with kinematics governed by the Schrodinger equation. Measurements rely on verifying the probability amplitude, like
$|< \phi | \phi >|^2$
.

So, "objects" need not be physical objects (like cars or chairs or baseballs), just "the things that interact to produce the phenomena we care about".

Joe Fisher wrote on Mar. 7, 2015 @ 17:39 GMT
Dear Professor Duston,

Thank you for courageously responding to my comment. Other credentialed essayists at this site have reported my truthful comments as being inappropriate and have had them removed. They could not handle the truth.

The goals of the Foundational Questions Institute's Essay Contest (the "Contest") are to:

• Encourage and support rigorous, innovative, and influential thinking connected with foundational questions;

Abstract objects in abstract space/time cannot travel at the same speed. Only real surface can travel at the same constant speed. I have used the terms “light” “stationary” and Universe correctly. Mathematics and Physics use these words abstractly.

I am honored that you at least read my comment.

Joe Fisher

report post as inappropriate

Joe Fisher replied on Mar. 7, 2015 @ 17:42 GMT
Oops,

I meant mathematicians and physicists use abstract words incorrectly.

Joe Fisher

report post as inappropriate

Joe Fisher replied on Mar. 8, 2015 @ 15:26 GMT
If I am correct about only surface having the ability to travel at a constant speed, it means that scientists attempting to build a spaceship that would have a physical surface that could travel “faster” than that of a surface of a garbage can are engaged in an act of utter futility.

Warm Regards,

Joe Fisher

report post as inappropriate

Ed Unverricht wrote on Mar. 8, 2015 @ 01:53 GMT
Dear Professor Duston,

Your comment "So, an axiom of measurement must contain both a specification of a machine and a condition upon which we will determine the measurement to be accurate enough. One example might be “The velocity of the car can be measured by the odometer...

view entire post

report post as inappropriate

Author Christopher Duston replied on Mar. 8, 2015 @ 20:45 GMT
Dear Ed,

I appreciate your support - after some though, I don't actually think your thought process is that far off from the topic of the essay.

Implicitly I am claiming that after we define our model and the conditions upon which we will decide that the model can be verified, the rest is computation. So your project to model the orbits is like a microcosm of this entire process, since you can do all the steps - construct the model, define an axiom of measurement, perform the experiment, and verify the results!

I appreciate your views, I would not clearly have seen this connection myself!

Joe Fisher replied on Mar. 9, 2015 @ 14:23 GMT
Dear Professor Duston,

Fortunately for everyone's piece of mind, Reality does not need to be modeled.

Warm Regards,

Joe Fisher

report post as inappropriate

Lawrence B Crowell wrote on Mar. 14, 2015 @ 13:21 GMT
Dear Dr. Duston,

You wrote a really good essay. I kicked it up the rankings a bit. I also am going to eagerly devour the papers by Cubbit et al. That truly looks fascinating. You might take a look at my essay. I advance the idea that mathematics of a finite, discrete or computational (can be run on a computer) nature is what is most directly relevant to physics. I give a bit of a physical description of Godel's theorem, Turing machines and related matters, which I will honestly confess if I had to do again I would improve some.

Cheers LC

report post as inappropriate

Constantinos Ragazas wrote on Mar. 22, 2015 @ 03:44 GMT
Dear Christopher Duston,

I was attracted to your essay mainly because in your title you speak of an "Axiom of Measurement". That would turn Physics into Mathematics. But all I could find is,

"... an axiom of measurement must contain both a specification of a machine and a condition upon which we will determine the measurement to be accurate enough.".

Am I missing something? Measurement is so central to all of Science and especially Physics. Surely it requires more than this! Your formulation, in my view, does not encapsulate the core essence of measurement. But gives only an operational definition. Different for different measuring devices. It surely cannot be a fundamental Axiom that can turn Physics into Math.

But Physics can and should be formulated as Math. In my view, there are no Universal Laws of Physics. Rather, all such Basic Laws are mathematical Truisms that describe the interactions of measurements. For example, Planck's Law for blackbody radiation is an exact mathematical identity. And can be derived without making any physical assumptions, like the existence of energy quanta. (see, “The Thermodynamics in Planck's Law”)

I participate in FQXi Contests mainly to engage others in open and honest discussions. I welcome your comments on the above. And on my current essay, ”The 'man-made' Universe”. Where I introduce The Anthropocentric Principle: our Knowledge and Understanding of the Universe is such as to make Life possible.

Best Wishes,

Constantinos

report post as inappropriate

Joe Fisher wrote on Apr. 7, 2015 @ 15:31 GMT
Dear Dr. Duston,

I think Newton was wrong about abstract gravity; Einstein was wrong about abstract space/time, and Hawking was wrong about the explosive capability of NOTHING.

All I ask is that you give my essay WHY THE REAL UNIVERSE IS NOT MATHEMATICAL a fair reading and that you allow me to answer any objections you may leave in my comment box about it.

Joe Fisher

report post as inappropriate

Armin Nikkhah Shirazi wrote on Apr. 23, 2015 @ 03:56 GMT
Dear Christopher,

I find your idea about an axiom of measurement very interesting. Allow me to suggest two ways to formalize your idea a little more:

1. Reformulation you axiom or measurement as a standard set theoretic axiom schema:

Let x be any physical or mathematical object

Let phi_i(x) be a formula which expresses a particular formulation of the axiom of measurement e.g. “x is diffraction limited"

Let S be the set of all objects which satisfy what might be called a "measurement condition" (i.e. they are empirically measurable).

Then, it seems to me, your idea can be expressed in the form of a simple axiom schema:

$\forall x (\phi_i(x) \Leftrightarrow x \in S)$

Notice that purely mathematical objects satisfy neither the left nor the right side.

2. Specifying that urelements are allowed in the set theory and correspond to physical objects

One issue you may want to consider is that standard set theory is built purely out of sets. Your idea would require the pursuit of one of the variants of set theory which are built out of atoms or urelements (like ZFA), so that when x is a physical object, it can be represented as such.

I hope you found my feedback useful.

Best wishes,

Armin

report post as inappropriate

Armin Nikkhah Shirazi replied on Apr. 23, 2015 @ 04:01 GMT
Pardon, as soon as I submitted the post, I realized that the axiom schema is missing something, it should be

$\exists S \forall x (\phi_i(x) \Leftrightarrow x \in S)$

The existential quantifier for S is essential, otherwise you cannot prove that such a set exists.

Armin

report post as inappropriate

Author Christopher Duston replied on Apr. 23, 2015 @ 16:10 GMT
Hi Armin,

Yes, I think you are right that it would be nice if this was formulated more precisely in the language of set theory (or a generalization). This was something of a "first forey" into getting my ideas down.

Off the cuff, I would probably have a construction which more explicitly connected predictions with experiment. Maybe start with a set of objects O and interactions I, and a map which generated a prediction p(O,I) (it seems likely that these predictions would have to be decidable). Then I would have your x be an "experimental apparatus", and
$\phi(x)$
be the statement of truth ("x has measured the mass to 5%"). The maybe the axiom of measurement would be

$\forall x (\phi(x) \rightarrow p(\mathcal{O},\mathcal{I}))$

This probably requires a bit more thought, but I think this structure might be more amenable to some of the issues I brought up in the paper - like the experimental apparatus, which would be some kind of recursion of measurement axioms once we understood it's operation well enough.

Chris

Armin Nikkhah Shirazi replied on Apr. 23, 2015 @ 23:49 GMT
Dear Chris,

It is always gratifying when one's suggestions are taken seriously. Yes, I naturally assumed you were referring to set theory because in your paper you made a statement that related your axiom to set set theoretical axiomx. BTW I have more than my own share of unorthodox ideas about set theory, so it might not be so surprising that my reaction is positive.

Some feedback on your proposed axiom:

1. I did not say this, but the index letter 'i' on phi is an element of an index set which turns the axiom into an axiom schema (an infinite number of axioms having the same structure). Without it, you have only one axiom which contains a formula that specifies only the condition 'measured mass to 5%'.

2. It seems to me the kind of structure you are attempting to specify in your axiom is a function. If so, then as written it won't work because what you have in place of a domain is a formula, but what you need is a set (formulas are not sets). Supposing this is what you want, then the domain of your function is the set of ordered pairs of which the first coordinate is an element of the set of observations and the second an element of the set of interactions, and the range is the set of predictions.

3. If you want to directly relate membership in the domain to some statement like "x has measured the mass to 5%" then the only way I know how to do it is to posit an equivalence between describability by the formula and membership in the domain, similar to what I wrote in previous response.

I hope you found this useful.

Best,

Armin

report post as inappropriate

Author Christopher Duston wrote on Apr. 24, 2015 @ 15:22 GMT
Hey Armin,

I'm thinking of those functions as "maps to statements", so given a model, I can make a prediction about a given observable, so the map is from the observable to a statement about it's value. Maybe my notation is not correct, but I don't think there's a mathematical inconsistency there.

More to the point, I've tried several times to improve on my initial attempt, and I keep getting statements which are close to what you wrote originally. So I think you got pretty close to the mark on what my intention is - if something is observable, it should satisfy an axiom of measurement, and vise versa. What is missing is the structure behind the observable (derived from the model) and the measurement statement (which is derived from an experimental apparatus that satisfies it's own set of axioms of measurement). Perhaps these extra details are not required at the level of the axiom.

Armin Nikkhah Shirazi wrote on Apr. 25, 2015 @ 00:57 GMT
Dear Chris,

Having myself first learned to think more like a physicist and only in the last 1.5 years or so more like a mathematician (though I find thinking like a physicist still more intuitive, or, I should say, easy to come by), I think I can well appreciate where you are coming from.

Perhaps it would be worthwhile to step back for a moment and think about exactly what role you want this to play in the connection between physics and mathematics. The spectrum ranges on one end from something like a philosophical or physical principle to the other as a rigorously formulated mathematical axiom. Where you consider your idea to fall on this spectrum determines how precisely you need to state it. Your choice of calling it an "axiom" led me to believe that you are in fact considering it as something much mores imilar to the latter. In that case, expressions like "maps to statements", which, I agree, are perfectly acceptable in physics, require some work to be intelligible to mathematicians. Your expression reminded me that set theory is not the only way you can try to incorporate your idea into the foundations of mathematics. Although I know at this time still very little about category theory, from what I do know I have the impression that "maps to statements" might be more easily accommodated there than in set theory.

As a final note, part of my interest in this probably reflects the fact that I am myself struggling with incorporating a general philosophical principle as a rigorous axiom into the foundations of mathematics.

Best,

Armin

report post as inappropriate

Armin Nikkhah Shirazi wrote on Dec. 26, 2015 @ 07:18 GMT
Dear Chris,

I noticed via Researchgate that recently it appears you took an interest in some of my articles.

Thank you for your interest, and I would like to note that my earlier papers, (pre-2015) particularly pertaining to the foundations of quantum theory, do not yet reflect an appreciation that (in my current view) the challenges in this field have their origin in the foundations of mathematics, particularly in the fact that mathematics, in its current standard form, does not have sufficient expressive power to describe in a formal language certain kinds of distinctions that are important in quantum theory.

I only began to acquire such an appreciation toward the end of 2013, and have accordingly shifted much of my focus to this area to learn more, having in the process found that the same distinctions have much broader applicability than I originally thought.

My essay in this contest did already outline many of the ideas that I am referring to, but since I wrote it, my aim has changed somewhat: I am trying to use as little additional logical machinery as possible in order to achieve essentially the same outcome. The reason for that is simple: The less you need to use, the more the new ideas that are introduced will be palatable to a wider audience, thereby increasing the chances of their general acceptance. Also, the less likely it is that the new ideas introduce new problems in some unanticipated way in other areas of mathematics.

Should you have any questions about any of the works, feel free to contact me.

Happy holidays,

Armin

report post as inappropriate