If you are aware of an interesting new academic paper (that has been published in a peer-reviewed journal or has appeared on the arXiv), a conference talk (at an official professional scientific meeting), an external blog post (by a professional scientist) or a news item (in the mainstream news media), which you think might make an interesting topic for an FQXi blog post, then please contact us at forums@fqxi.org with a link to the original source and a sentence about why you think that the work is worthy of discussion. Please note that we receive many such suggestions and while we endeavour to respond to them, we may not be able to reply to all suggestions.

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.

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: The Peter and Patricia Gruber Foundation, SubMeta, and Scientific American*

Previous Contests

**Undecidability, Uncomputability, and Unpredictability Essay Contest**

*December 24, 2019 - April 24, 2020*

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

read/discuss • winners

**What Is “Fundamental”**

*October 28, 2017 to January 22, 2018*

*Sponsored by the Fetzer Franklin Fund and The Peter & Patricia Gruber Foundation*

read/discuss • winners

**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.

read/discuss • winners

**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

read/discuss • winners

**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*

read/discuss • winners

**It From Bit or Bit From It**

*March 25 - June 28, 2013*

*Contest Partners: The Gruber Foundation, J. Templeton Foundation, and Scientific American*

read/discuss • winners

**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*

read/discuss • winners

**Is Reality Digital or Analog?**

*November 2010 - February 2011*

*Contest Partners: The Peter and Patricia Gruber Foundation and Scientific American*

read/discuss • winners

**What's Ultimately Possible in Physics?**

*May - October 2009*

*Contest Partners: Astrid and Bruce McWilliams*

read/discuss • winners

**The Nature of Time**

*August - December 2008*

read/discuss • winners

Current Essay Contest

Previous Contests

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

read/discuss • winners

read/discuss • winners

How can mindless mathematical laws give rise to aims and intention?

Contest Partner: The Peter and Patricia Gruber Fund.

read/discuss • winners

Media Partner: Scientific American

read/discuss • winners

read/discuss • winners

read/discuss • winners

Which of Our Basic Physical Assumptions Are Wrong?

read/discuss • winners

read/discuss • winners

read/discuss • winners

read/discuss • winners

Forum Home

Introduction

Terms of Use

RSS feed | RSS help

Introduction

Terms of Use

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

RSS feed | RSS help

RECENT POSTS IN THIS TOPIC

**Cristinel Stoica**: *on* 10/6/12 at 16:10pm UTC, wrote Hi Frederico, Please check this link and find how five essays, including...

**Concerned Public**: *on* 10/6/12 at 9:25am UTC, wrote Sergey G Fedosin is bombing entrants' boards with the same "why your...

**Jeff Baugher**: *on* 10/6/12 at 0:18am UTC, wrote Frederico, Great essay! Voted. I do agree very much with your essay. I...

**Sergey Fedosin**: *on* 10/4/12 at 4:30am UTC, wrote If you do not understand why your rating dropped down. As I found ratings...

**Benjamin Dribus**: *on* 10/1/12 at 21:35pm UTC, wrote Dear Frederico, I am interested to see your "closed formulation" of part...

**Frederico Pfrimer**: *on* 10/1/12 at 19:59pm UTC, wrote Dear Peter, Thanks for your comments. It looks like you could understand a...

**Peter Jackson**: *on* 10/1/12 at 12:07pm UTC, wrote Frederico A brilliant theory of theory, and a helpful eye opener for me. I...

**Thomas Ray**: *on* 10/1/12 at 10:28am UTC, wrote Stefan, You write, "But what about the maths of QM? Here it depends on the...

RECENT FORUM POSTS

**Steve Dufourny**: "Hi Mr Hosein, the MWI of Everett is a philosophical different..."
*in* Good Vibrations

**Steve Dufourny**: "Hello John and Dr Chiang, Dr Chiang , I have tried to find you on..."
*in* Anatomy of spacetime and...

**Nicholas hosein**: "Reality is a many-worlds Quantum level event."
*in* Good Vibrations

**Kwan Chiang**: "Hi John and Steve, When the majority talk about Maxwell equations, it is..."
*in* Anatomy of spacetime and...

**Monika Součková**: "What do you feel the most exciting or effective learning environment would..."
*in* Quantum Machine Learning...

**Jim Snowdon**: "Had we evolved on a swiftly rotating planet like the Earth, our..."
*in* The Quantum Clock-Maker...

**Jim Snowdon**: "If the rotational motion of the moon is 370km per hour, and the rotational..."
*in* The Quantum Clock-Maker...

**Lorraine Ford**: "Steve, I would like to point out that physics says that the world and..."
*in* How does an Isolated...

RECENT ARTICLES

*click titles to read articles*

**Good Vibrations**

Microbead 'motor' exploits natural fluctuations for power.

**Reconstructing Physics**

New photon experiment gives new meta-framework, 'constructor theory,' a boost.

**The Quantum Engineer: Q&A with Alexia Auffèves**

Experiments seek to use quantum observations as fuel to power mini motors.

**The Quantum Clock-Maker Investigating COVID-19, Causality, and the Trouble with AI**

Sally Shrapnel, a quantum physicist and medical practitioner, on her experiments into cause-and-effect that could help us understand time’s arrow—and build better healthcare algorithms.

**Connect the Quantum Dots for a New Kind of Fuel**

'Artificial atoms' allow physicists to manipulate individual electrons—and could help to reduce energy wastage in electronic devices.

RECENT FORUM POSTS

RECENT ARTICLES

Microbead 'motor' exploits natural fluctuations for power.

New photon experiment gives new meta-framework, 'constructor theory,' a boost.

Experiments seek to use quantum observations as fuel to power mini motors.

Sally Shrapnel, a quantum physicist and medical practitioner, on her experiments into cause-and-effect that could help us understand time’s arrow—and build better healthcare algorithms.

'Artificial atoms' allow physicists to manipulate individual electrons—and could help to reduce energy wastage in electronic devices.

FQXi FORUM

January 18, 2022

CATEGORY:
Questioning the Foundations Essay Contest (2012)
[back]

TOPIC: The Final Theory and the Language of Physics by Frederico Pfrimer [refresh]

TOPIC: The Final Theory and the Language of Physics by Frederico Pfrimer [refresh]

Which of our basic physical assumptions are wrong? The precise meaning of this question, and so its answer, depends on several other questions creating a dependency chain: Which are our basic physical assumptions? What is a wrong physical assumption? What is a physical assumption? What is each of our physical theories? What is a physical theory? None of these questions has a precise answer, the reason is that, the concept of physical theory, and our main physical theories, are like open concepts: you cannot give them a precise definition. Our theories are still open theories. Most, if not all, of our fundamental concepts are open and imprecise concepts. We discuss how these and other aspects of language impose limits on science, and how can physics overcome it. But foundational physics has been guided by the wrong principles. The interpretation of a physical theory should provide the precise and clear language to talk about the theory, not a philosophical discussion relying over imprecise concepts. Foundational physical theories should provide a precise meaning to our fundamental concepts and the worldview that makes our theories understandable. We argue that these questions have a precise answer only for closed theories, and then we discuss on the nature of, and how these questions can be answered for a closed theory. We clarify the notion of a final theory of physics, the fundamental closed theory that serves as the foundation for all physics. We show how to use this notion to clarify and also distinguish the concepts of postulate and physical assumption. We claim that the main wrong assumption of physics is actually a logical assumption: the principle of excluded middle.

I received my B.S. in Physics from UFG, a Brazilian university, in 2010. Now I’m a M.Sc. student working on a new axiomatic formulation of the formalism of quantum mechanics and the FTP. My interests have always been about foundations, and I just proposed a new interpretation and formulation for the foundations of quantum theory.

Hi Frederico,

Thank you for your contribution, your essay is a timely reminder of what a physics theory is.

What I am missing in your essay is a discussion on "are our fundamental theories cast in stone?". The reason for saying this is, should a fundamental assumption be wrong then everything that follows is wrong too. A scenario not particularly appealing, resulting in the over protection of the fundamental assumptions.

This cast in stone philosophy I challenge in my essay by showing that a model (or theory) of an alternate reality is possible.

Regards

Anton @ ( ../topic/1458 )

report post as inappropriate

Thank you for your contribution, your essay is a timely reminder of what a physics theory is.

What I am missing in your essay is a discussion on "are our fundamental theories cast in stone?". The reason for saying this is, should a fundamental assumption be wrong then everything that follows is wrong too. A scenario not particularly appealing, resulting in the over protection of the fundamental assumptions.

This cast in stone philosophy I challenge in my essay by showing that a model (or theory) of an alternate reality is possible.

Regards

Anton @ ( ../topic/1458 )

report post as inappropriate

Dear Anton,

Thanks for your comments. I believe when we have a consistent physical theory, and so a consistent mathematical formalism, a wrong assumption does not destroy all the results and application of the theory. Actually, when you find that an assumption you were using is wrong, the only thing that changes is the domain of validity of you theory. All the results are still valid, but with a smaller domain.

This is precisely what happened with classical mechanics when relativity appeared. Classical mechanics is still valid, and the proof is that engineering works! All our buildings are based in this theory, and we can’t say that it is completely wrong, but only that it is not valid when objects are moving close to the speed of light.

In a sense, I think our fundamental theories are somehow permanent, well the most established ones. But only in a sense. The interpretation we give to our theories will change in the future, and the way they are formulated, but their essence will remain the same.

The reason of that is the core of my essay. Closed theories are precisely the ones that are a permanent achievement. They cannot be modified. Any modification will probably give rise to a whole new theory. However, I argue that our theories are not yet closed theories. That’s the point. Once they get to a point where there formulation is just like the formulation of what is ring in mathematics, then they are permanent and cast in stone.

The examples of mathematics are perfect. If you change a single axiom from the definition o a ring, then it is not a ring anymore and deserves a new name. The same holds for closed theories

Best Regards,

Frederico

Thanks for your comments. I believe when we have a consistent physical theory, and so a consistent mathematical formalism, a wrong assumption does not destroy all the results and application of the theory. Actually, when you find that an assumption you were using is wrong, the only thing that changes is the domain of validity of you theory. All the results are still valid, but with a smaller domain.

This is precisely what happened with classical mechanics when relativity appeared. Classical mechanics is still valid, and the proof is that engineering works! All our buildings are based in this theory, and we can’t say that it is completely wrong, but only that it is not valid when objects are moving close to the speed of light.

In a sense, I think our fundamental theories are somehow permanent, well the most established ones. But only in a sense. The interpretation we give to our theories will change in the future, and the way they are formulated, but their essence will remain the same.

The reason of that is the core of my essay. Closed theories are precisely the ones that are a permanent achievement. They cannot be modified. Any modification will probably give rise to a whole new theory. However, I argue that our theories are not yet closed theories. That’s the point. Once they get to a point where there formulation is just like the formulation of what is ring in mathematics, then they are permanent and cast in stone.

The examples of mathematics are perfect. If you change a single axiom from the definition o a ring, then it is not a ring anymore and deserves a new name. The same holds for closed theories

Best Regards,

Frederico

Dear Frederico

Very nice to see a fellow brazilian in the FQXI contest (I´m from Fortaleza). Your essay is impressive, clearly written and I think it touches on points frequently overlooked by physicists.

You have emphasized the relation between physics and language which is often tacitly understood . This is something I see with interest as well. There a paragraphs that are true...

view entire post

Very nice to see a fellow brazilian in the FQXI contest (I´m from Fortaleza). Your essay is impressive, clearly written and I think it touches on points frequently overlooked by physicists.

You have emphasized the relation between physics and language which is often tacitly understood . This is something I see with interest as well. There a paragraphs that are true...

view entire post

report post as inappropriate

Dear Daniel,

I thought I was the only Brazilian here; it is good to know I’m not alone! I wish you “boa sorte”! And thanks for your comments. We have very similar ideas, and your comments really got into the point.

Natural language is our first tool, and it is necessary in every beginning of a whole new theory. First you have to do something handmade, just then you can build a...

view entire post

I thought I was the only Brazilian here; it is good to know I’m not alone! I wish you “boa sorte”! And thanks for your comments. We have very similar ideas, and your comments really got into the point.

Natural language is our first tool, and it is necessary in every beginning of a whole new theory. First you have to do something handmade, just then you can build a...

view entire post

Frederico asked: "What is a wrong physical assumption?"

Here is one:

http://www.fourmilab.ch/etexts/einstein/specrel/www/

"...

light is always propagated in empty space with a definite velocity c which is independent of the state of motion of the emitting body."

REDUCTIO AD ABSURDUM: If the speed of light is independent of the state of motion of the emitting body,...

view entire post

Here is one:

http://www.fourmilab.ch/etexts/einstein/specrel/www/

"...

light is always propagated in empty space with a definite velocity c which is independent of the state of motion of the emitting body."

REDUCTIO AD ABSURDUM: If the speed of light is independent of the state of motion of the emitting body,...

view entire post

report post as inappropriate

Well, this is really a great paradox. I was not aware of this, and so is great to know another idea that blows our mind. However, I'm not an specialist on relativity so I cannot really discuss this paradox.

Thanks for your reply!

report post as inappropriate

Thanks for your reply!

report post as inappropriate

Dear Frederico,

I read your paper with great interest. I think you are right with respect to your final conclusion, that the principle of excluded middle is - in a way - the main wrong assumption of physics.

I am working on a Modern Metaphysics - in the belief, that it is the key to a final theory, because it is based on a truly foundational ground like the ONE.

In introducing the ONE as a physical entity I have defined it explicitly of being INVISIBLE (= NON-VISIBILITY), whereas the UNIVERSE is explicitly defined of being VISIBLE.

I found, that in a reality, that follows this dual conception, the ONE represents with respect to the UNIVERSE logically the Excluded Middle. But this logical status of the ONE does not disturb the universe in any way because the ONE being INVISIBLE is physically excluded from the VISIBLE universe!

The ontological meaning of this self-referential conception of reality is actually astonishing: By the physical exclusion of the logical Principle of the Excluded Middle as it is represented by the ONE, the visible universe can make an unrestricted use of ALL possibilities that logic allows. It can indeed go to the outmost limits of logic - to a point, where a violation of logic cannot be avoided any longer, because its boundary conditions (at infinity) are becoming contradictory.

I was quite surprised when I read Wittgenstein's tractus logico-philosophicus, in which he also described contradiction as the outer limit of propositions (5.143)

In a previous contest I've sketched this Modern Metaphysics.

see:The Taming of the ONE

http://www.fqxi.org/community/forum/topic/502

Good Luck for your Paper.

Kind Regards

Helmut

P.S. I've seen you are also inspired by the work of C.F.v.Weizsäcker. His works were (and still are) a great source of inspiration for me.

report post as inappropriate

I read your paper with great interest. I think you are right with respect to your final conclusion, that the principle of excluded middle is - in a way - the main wrong assumption of physics.

I am working on a Modern Metaphysics - in the belief, that it is the key to a final theory, because it is based on a truly foundational ground like the ONE.

In introducing the ONE as a physical entity I have defined it explicitly of being INVISIBLE (= NON-VISIBILITY), whereas the UNIVERSE is explicitly defined of being VISIBLE.

I found, that in a reality, that follows this dual conception, the ONE represents with respect to the UNIVERSE logically the Excluded Middle. But this logical status of the ONE does not disturb the universe in any way because the ONE being INVISIBLE is physically excluded from the VISIBLE universe!

The ontological meaning of this self-referential conception of reality is actually astonishing: By the physical exclusion of the logical Principle of the Excluded Middle as it is represented by the ONE, the visible universe can make an unrestricted use of ALL possibilities that logic allows. It can indeed go to the outmost limits of logic - to a point, where a violation of logic cannot be avoided any longer, because its boundary conditions (at infinity) are becoming contradictory.

I was quite surprised when I read Wittgenstein's tractus logico-philosophicus, in which he also described contradiction as the outer limit of propositions (5.143)

In a previous contest I've sketched this Modern Metaphysics.

see:The Taming of the ONE

http://www.fqxi.org/community/forum/topic/502

Good Luck for your Paper.

Kind Regards

Helmut

P.S. I've seen you are also inspired by the work of C.F.v.Weizsäcker. His works were (and still are) a great source of inspiration for me.

report post as inappropriate

Dear Helmut

Thanks for your reply. We might not agree in every aspects, but our deep motivations and inspirations are the same. Weizsäcker is someone who deeply inspired me, and there are times I feel like I was trying to continue his work. Wittgenstein also inspires me, I’ve read his Tracttatu several times, and the sentence you cite made me think for a while.

I’ve also been...

view entire post

Thanks for your reply. We might not agree in every aspects, but our deep motivations and inspirations are the same. Weizsäcker is someone who deeply inspired me, and there are times I feel like I was trying to continue his work. Wittgenstein also inspires me, I’ve read his Tracttatu several times, and the sentence you cite made me think for a while.

I’ve also been...

view entire post

Dear Frederico,

I agree mathematics is necessary to give a physical concept a precise meaning, but I am not sure whether it is an ultimate guide to a fundamental theory of reality, because mathematics itself is intrinsically limited. It has its own blind spots.

Gödel's incompleteness theorem is certainly the most important one. It has shown that mathematics cannot be both consistent and complete. There are always some basic propositions that may be true but that are intrinsically not provable.

You do not relate to this inner limitations of mathematics neither in your current paper nor in your paper "The Nature of Reality".

Referring to this incompleteness theorem the physicist Roger Penrose has claimed, that there could be certain aspects of reality (i.e. consciousness) for which no mathematical resp. computational algorithm can be created.

I am convinced that a modern metaphycis can meet this mathematical incompleteness by being a self-referential system of thought.

Kind Regards

Helmut

P.S. I like to point to my current paper: Is the Speed of Light of Dual Nature? which might be an important piece of a complete quantummechanical description of reality you are looking for.

report post as inappropriate

I agree mathematics is necessary to give a physical concept a precise meaning, but I am not sure whether it is an ultimate guide to a fundamental theory of reality, because mathematics itself is intrinsically limited. It has its own blind spots.

Gödel's incompleteness theorem is certainly the most important one. It has shown that mathematics cannot be both consistent and complete. There are always some basic propositions that may be true but that are intrinsically not provable.

You do not relate to this inner limitations of mathematics neither in your current paper nor in your paper "The Nature of Reality".

Referring to this incompleteness theorem the physicist Roger Penrose has claimed, that there could be certain aspects of reality (i.e. consciousness) for which no mathematical resp. computational algorithm can be created.

I am convinced that a modern metaphycis can meet this mathematical incompleteness by being a self-referential system of thought.

Kind Regards

Helmut

P.S. I like to point to my current paper: Is the Speed of Light of Dual Nature? which might be an important piece of a complete quantummechanical description of reality you are looking for.

report post as inappropriate

Dear Helmut,

I also wouldn’t say that math is the ultimate guide for a fundamental theory of reality, but only that it is the language we should use. And I do agree that math has its own blind spots and most of them are precisely on the foundations of mathematics. A also believe math must be improved for being used in such a fundamental theory.

About Gödel's incompleteness theorem, I think the point is about completeness. I do not want to make a theory that is complete in this sense, but consistent, useful and insightful. And this theorem may also affect any other formal language, every language has some limitations.

A theory is complete when every formula in its language either is provable or its negation is provable. In other words “if it is consistent, and none of its proper extensions is consistent.” But, a fundamental theory of reality must have proper extensions because every theory that describes an aspect of reality is an extension of it.

Self-referential system can be very powerful, but they are also very dangerous. Well, you may find a consistent one, but most of the paradoxes of logic and mathematics were found in self-referential systems. So we need extra care when dealing with these systems. But I believe Gödel's incompleteness theorem represents no danger for metaphysics because of what I mentioned before. I think you don’t need to worry about this theorem. Make your theory and if someone says it is impossible then simply show you have already done it!

P.S. I’m taking a look on your paper. I’ll rate it as an author; please rate mine.

I also wouldn’t say that math is the ultimate guide for a fundamental theory of reality, but only that it is the language we should use. And I do agree that math has its own blind spots and most of them are precisely on the foundations of mathematics. A also believe math must be improved for being used in such a fundamental theory.

About Gödel's incompleteness theorem, I think the point is about completeness. I do not want to make a theory that is complete in this sense, but consistent, useful and insightful. And this theorem may also affect any other formal language, every language has some limitations.

A theory is complete when every formula in its language either is provable or its negation is provable. In other words “if it is consistent, and none of its proper extensions is consistent.” But, a fundamental theory of reality must have proper extensions because every theory that describes an aspect of reality is an extension of it.

Self-referential system can be very powerful, but they are also very dangerous. Well, you may find a consistent one, but most of the paradoxes of logic and mathematics were found in self-referential systems. So we need extra care when dealing with these systems. But I believe Gödel's incompleteness theorem represents no danger for metaphysics because of what I mentioned before. I think you don’t need to worry about this theorem. Make your theory and if someone says it is impossible then simply show you have already done it!

P.S. I’m taking a look on your paper. I’ll rate it as an author; please rate mine.

Dear Frederico,

I am not quite sure whether we agree with respect to the role that mathematics is playing in physics.

To discuss the case of metaphysics: In my view of a modern metaphysics all formulas without any exception have to fail, otherwise the metaphysical concept of TRANSCENDENCE does not have any physical meaning. This demand implies that we have to extend our theories to infinite values, f.e. to an infinite velocity, but just these values are usually regarded as a sign that the underlying concept is physically meaningless.

What do you think about this? Are there infinite values involved in a truly fundamental theory of the universe?

Kind Regards

Helmut

report post as inappropriate

I am not quite sure whether we agree with respect to the role that mathematics is playing in physics.

To discuss the case of metaphysics: In my view of a modern metaphysics all formulas without any exception have to fail, otherwise the metaphysical concept of TRANSCENDENCE does not have any physical meaning. This demand implies that we have to extend our theories to infinite values, f.e. to an infinite velocity, but just these values are usually regarded as a sign that the underlying concept is physically meaningless.

What do you think about this? Are there infinite values involved in a truly fundamental theory of the universe?

Kind Regards

Helmut

report post as inappropriate

Dear Helmut

My point is that math is a precise language, and any theory, when it gets enough precise and clear, it can be formulated in a mathematical language. Therefore, even a metaphysical theory can at some moment be, in principle, formulated in mathematical language. Can you already talk about transcendence using math? That’s the question. However, not everything that can be described by a mathematical equation is a physical observable. In the theory I propose in “On the Nature of Reality”, everything is described mathematically but there are many elements that are not physical observables. But can you explain what you think of transcendence?

Well, I see no problem of infinities on physics. The problem is only with math which cannot hand infinities very well. Once our math could handle them properly and elegantly they will begin to appear on our physical theories.

Best Regards

Frederico

My point is that math is a precise language, and any theory, when it gets enough precise and clear, it can be formulated in a mathematical language. Therefore, even a metaphysical theory can at some moment be, in principle, formulated in mathematical language. Can you already talk about transcendence using math? That’s the question. However, not everything that can be described by a mathematical equation is a physical observable. In the theory I propose in “On the Nature of Reality”, everything is described mathematically but there are many elements that are not physical observables. But can you explain what you think of transcendence?

Well, I see no problem of infinities on physics. The problem is only with math which cannot hand infinities very well. Once our math could handle them properly and elegantly they will begin to appear on our physical theories.

Best Regards

Frederico

Dear

Very interesting to see your essay.

Perhaps all of us are convinced that: the choice of yourself is right!That of course is reasonable.

So may be we should work together to let's the consider clearly defined for the basis foundations theoretical as the most challenging with intellectual of all of us.

Why we do not try to start with a real challenge is very close and are the focus of interest of the human science: it is a matter of mass and grain Higg boson of the standard model.

Knowledge and belief reasoning of you will to express an opinion on this matter:

You have think that: the Mass is the expression of the impact force to material - so no impact force, we do not feel the Higg boson - similar to the case of no weight outside the Earth's atmosphere.

Does there need to be a particle with mass for everything have volume? If so, then why the mass of everything change when moving from the Earth to the Moon? Higg boson is lighter by the Moon's gravity is weaker than of Earth?

The LHC particle accelerator used to "Smashed" until "Ejected" Higg boson, but why only when the "Smashed" can see it,and when off then not see it ?

Can be "locked" Higg particles? so when "released" if we do not force to it by any the Force, how to know that it is "out" or not?

You are should be boldly to give a definition of weight that you think is right for us to enjoy, or oppose my opinion.

Because in the process of research, the value of "failure" or "success" is the similar with science. The purpose of a correct theory be must is without any a wrong point ?

Glad to see from you comments soon,because still have too many of the same problems.

Regard !

Hải.Caohoàng of THE INCORRECT ASSUMPTIONS AND A CORRECT THEORY

August 23, 2012 - 11:51 GMT on this essay contest.

report post as inappropriate

Very interesting to see your essay.

Perhaps all of us are convinced that: the choice of yourself is right!That of course is reasonable.

So may be we should work together to let's the consider clearly defined for the basis foundations theoretical as the most challenging with intellectual of all of us.

Why we do not try to start with a real challenge is very close and are the focus of interest of the human science: it is a matter of mass and grain Higg boson of the standard model.

Knowledge and belief reasoning of you will to express an opinion on this matter:

You have think that: the Mass is the expression of the impact force to material - so no impact force, we do not feel the Higg boson - similar to the case of no weight outside the Earth's atmosphere.

Does there need to be a particle with mass for everything have volume? If so, then why the mass of everything change when moving from the Earth to the Moon? Higg boson is lighter by the Moon's gravity is weaker than of Earth?

The LHC particle accelerator used to "Smashed" until "Ejected" Higg boson, but why only when the "Smashed" can see it,and when off then not see it ?

Can be "locked" Higg particles? so when "released" if we do not force to it by any the Force, how to know that it is "out" or not?

You are should be boldly to give a definition of weight that you think is right for us to enjoy, or oppose my opinion.

Because in the process of research, the value of "failure" or "success" is the similar with science. The purpose of a correct theory be must is without any a wrong point ?

Glad to see from you comments soon,because still have too many of the same problems.

Regard !

Hải.Caohoàng of THE INCORRECT ASSUMPTIONS AND A CORRECT THEORY

August 23, 2012 - 11:51 GMT on this essay contest.

report post as inappropriate

Dear Hải.Caohoàng,

Thanks for your encouraging comments. Definitely, to find a clearly defined basis for foundations physics is the greatest of all intellectual challenges; and we should work together to accomplish it.

However I have to admit that I don’t have much knowledge about the standard model and Higg’s bosons. I have yet no opinion about these things and so I cannot answer your questions. I hope we could find something else to discuss. I’m reading and I will rate you essay as an author. Please rate mine.

I believe no theory is simply correct or incorrect. Its correctness depends on where it is being applied, that is, if its assumptions holds in a specific domain, then the theory is correct on that domain, if the assumptions does not holds on that domain, then it is incorrect in that domain.

Best Regards!

Frederico

Thanks for your encouraging comments. Definitely, to find a clearly defined basis for foundations physics is the greatest of all intellectual challenges; and we should work together to accomplish it.

However I have to admit that I don’t have much knowledge about the standard model and Higg’s bosons. I have yet no opinion about these things and so I cannot answer your questions. I hope we could find something else to discuss. I’m reading and I will rate you essay as an author. Please rate mine.

I believe no theory is simply correct or incorrect. Its correctness depends on where it is being applied, that is, if its assumptions holds in a specific domain, then the theory is correct on that domain, if the assumptions does not holds on that domain, then it is incorrect in that domain.

Best Regards!

Frederico

Dear Frederico,

transcendence is, of course, an epistemological term indicating that the most fundamental branch of reality (i.e. the ONE) cannot be described and observed in any way. Transcendence is the common feature of all religious systems.

But to fill this purely epistemological term with a physical resp. metaphysical content you have to choose an ontological one. The most...

view entire post

transcendence is, of course, an epistemological term indicating that the most fundamental branch of reality (i.e. the ONE) cannot be described and observed in any way. Transcendence is the common feature of all religious systems.

But to fill this purely epistemological term with a physical resp. metaphysical content you have to choose an ontological one. The most...

view entire post

report post as inappropriate

Dear Frederico

your essay and associated paper are thought provoking and deep. It will take time to assimilate it. My main comment for the present refers to this statement of yours:

"I have means to say that the main wrong assumption of physics is not

a physical assumption, but a millenary logical assumption: the principle of excluded middle .. This principle says that a proposition is either true or false, in other words, either the proposition or its negation is true" I think that you might be saying that the truth or falsity of a proposition may depend on its context. That is very close to the concept of contextual effects that I discuss in my essay.

George Ellis

report post as inappropriate

your essay and associated paper are thought provoking and deep. It will take time to assimilate it. My main comment for the present refers to this statement of yours:

"I have means to say that the main wrong assumption of physics is not

a physical assumption, but a millenary logical assumption: the principle of excluded middle .. This principle says that a proposition is either true or false, in other words, either the proposition or its negation is true" I think that you might be saying that the truth or falsity of a proposition may depend on its context. That is very close to the concept of contextual effects that I discuss in my essay.

George Ellis

report post as inappropriate

Dear George,

Thanks for your comments and sorry for the late reply. Actually, what I mean by the violation of the principle of excluded middle can be understood when we think of a system in a superposed state. For example, when a cat is not in a superposed state, we can say that it is dead when the state is or it is alive when the state is . But then, when it is in a superposition , it is not dead but it is also not alive! It is in a superposition of dead and alive! But according to that principle, if it is not dead, then it is alive. Therefore, superposition means precisely violation of the principle of excluded middle! In the classical world there is no superposition, therefore the principle holds in a particular case. I hope it could make the idea clearer.

Best Regards,

Frederico

Thanks for your comments and sorry for the late reply. Actually, what I mean by the violation of the principle of excluded middle can be understood when we think of a system in a superposed state. For example, when a cat is not in a superposed state, we can say that it is dead when the state is or it is alive when the state is . But then, when it is in a superposition , it is not dead but it is also not alive! It is in a superposition of dead and alive! But according to that principle, if it is not dead, then it is alive. Therefore, superposition means precisely violation of the principle of excluded middle! In the classical world there is no superposition, therefore the principle holds in a particular case. I hope it could make the idea clearer.

Best Regards,

Frederico

Dear Frederico Pfrimer

Your inference about the "final theory" is very interesting.

Suggest you look at and comment on my introduction for the "absolute theory" (topic 1417- out side of my essay)

Regards.

report post as inappropriate

Your inference about the "final theory" is very interesting.

Suggest you look at and comment on my introduction for the "absolute theory" (topic 1417- out side of my essay)

Regards.

report post as inappropriate

Dear Hoang Cao Hai,

Thanks for your comments. The final topic is a topic I think is really interesting. I’ll take a look on your essay and leave a comment. And please rate my essay please…

Best Regards

Frederico

Thanks for your comments. The final topic is a topic I think is really interesting. I’ll take a look on your essay and leave a comment. And please rate my essay please…

Best Regards

Frederico

Dear Frederico,

i read your essay and you did a good job in examining the suspicious premises that are widly held high. Especially what you write about Commensurability is of interest for me, but i have to think about it some more time and also read your arxiv-paper. Nonetheless you struck me with your statement

"There, reality becomes a closed and completely precise notion. Therefore, I have means to say that the main wrong assumption of physics is not a physical assumption, but a millenary logical assumption: the principle of excluded middle. It is the source of most of the paradoxes and misunderstandings about quantum theory and is precisely the assumption that gives rise to the classical world."

For this statement alone you deserved - in my humble opinion - a positive score, nonetheless that my own usage of some exceptions to the principle of the excluded middle are more than epistemological in nature. My own interpretation is that there are ontological states that aren't anymore driven by this principle and i tried to explain this in my own essay. Especially i explain why the "collapse of the wave function" occurs, namely because at the point this does "happen", the causal structure of the system has consistently changed and the mathematical description of the former - unmeasured dynamics - isn't valid anymore. Indeed - as i believe - the schroedinger equation is just an illusion that mimics causality. It is no more than a mathematical tool, misinterpreted as an ontological dynamic process! I call that whole process of quantum mechanical mimics "physical retrodiction". If you like, i would be happy you could have the time to visit my essay and leave a comment.

Its very easy to read, informative as well as entertaining (i guess) and you don't have to dive into some complex mathematics.

Best wishes,

Stefan

report post as inappropriate

i read your essay and you did a good job in examining the suspicious premises that are widly held high. Especially what you write about Commensurability is of interest for me, but i have to think about it some more time and also read your arxiv-paper. Nonetheless you struck me with your statement

"There, reality becomes a closed and completely precise notion. Therefore, I have means to say that the main wrong assumption of physics is not a physical assumption, but a millenary logical assumption: the principle of excluded middle. It is the source of most of the paradoxes and misunderstandings about quantum theory and is precisely the assumption that gives rise to the classical world."

For this statement alone you deserved - in my humble opinion - a positive score, nonetheless that my own usage of some exceptions to the principle of the excluded middle are more than epistemological in nature. My own interpretation is that there are ontological states that aren't anymore driven by this principle and i tried to explain this in my own essay. Especially i explain why the "collapse of the wave function" occurs, namely because at the point this does "happen", the causal structure of the system has consistently changed and the mathematical description of the former - unmeasured dynamics - isn't valid anymore. Indeed - as i believe - the schroedinger equation is just an illusion that mimics causality. It is no more than a mathematical tool, misinterpreted as an ontological dynamic process! I call that whole process of quantum mechanical mimics "physical retrodiction". If you like, i would be happy you could have the time to visit my essay and leave a comment.

Its very easy to read, informative as well as entertaining (i guess) and you don't have to dive into some complex mathematics.

Best wishes,

Stefan

report post as inappropriate

Dear Stefan,

Thanks for your encouraging comments. My arXic paper might be very interesting because it shows how the ideas proposed in the essay can be implemented. Well the principle of excluded middle is a hidden assumption that is part of the language we use. It is almost impossible to understand how it can be violated using only ordinary language, specially English. Try to say something...

view entire post

Thanks for your encouraging comments. My arXic paper might be very interesting because it shows how the ideas proposed in the essay can be implemented. Well the principle of excluded middle is a hidden assumption that is part of the language we use. It is almost impossible to understand how it can be violated using only ordinary language, specially English. Try to say something...

view entire post

Dear Frederico,

thanks for replying to my comment.

I read George Ellis' comment and yours and i agree with both comments.

George states that classical information depends on the context. He uses the term "proposition" to indicate the premises we have built in to come to a certain conclusion about truth/false values. From the reference frame of a classical observer the opposite...

view entire post

thanks for replying to my comment.

I read George Ellis' comment and yours and i agree with both comments.

George states that classical information depends on the context. He uses the term "proposition" to indicate the premises we have built in to come to a certain conclusion about truth/false values. From the reference frame of a classical observer the opposite...

view entire post

report post as inappropriate

Minor corrections to my latest post:

instead

"by assuming an extended pure state for every mixed state by assuming the mixed state"

please read

"by assuming an extended pure state for every mixed state"

i wrote

"Extrapolating the Schroedingers' wave function to be universally valid only leads to many-worlds; they may be complete in a certain sense and...

view entire post

instead

"by assuming an extended pure state for every mixed state by assuming the mixed state"

please read

"by assuming an extended pure state for every mixed state"

i wrote

"Extrapolating the Schroedingers' wave function to be universally valid only leads to many-worlds; they may be complete in a certain sense and...

view entire post

report post as inappropriate

Dear Frederico,

i now read your arXiv-paper. Although i must confess that i did not check every part of your statements to be reasonable or not, my main interest was to look at what you have to say in your plain text.

You wrote

"The importance of the distinction between pure and mixed states, and the fact that only pure states can be associated with a vector (ket) is...

view entire post

i now read your arXiv-paper. Although i must confess that i did not check every part of your statements to be reasonable or not, my main interest was to look at what you have to say in your plain text.

You wrote

"The importance of the distinction between pure and mixed states, and the fact that only pure states can be associated with a vector (ket) is...

view entire post

report post as inappropriate

Frederico,

I think it's a rather bold conjecture that "The quest for giving a precise meaning to our fundamental concepts cannot be accomplished using natural language" ... without giving an example of a mathematical statement that cannot in principle be translated to natural language.

So I'm in the uncomfortable position of agreeing with your conclusions while disagreeing with the...

view entire post

I think it's a rather bold conjecture that "The quest for giving a precise meaning to our fundamental concepts cannot be accomplished using natural language" ... without giving an example of a mathematical statement that cannot in principle be translated to natural language.

So I'm in the uncomfortable position of agreeing with your conclusions while disagreeing with the...

view entire post

report post as inappropriate

Dear Thomas

Thanks for your comments. Well, the problem is that we need to translate math to natural language and natural language to math, we need both, and what I call an interpretation is what allows it. Try to read the equation F=ma. In the context of classical mechanics you would say the total force equals to the product of the mass and the acceleration. But out of context, or better,...

view entire post

Thanks for your comments. Well, the problem is that we need to translate math to natural language and natural language to math, we need both, and what I call an interpretation is what allows it. Try to read the equation F=ma. In the context of classical mechanics you would say the total force equals to the product of the mass and the acceleration. But out of context, or better,...

view entire post

Dear Thomas,

Just to make sure, I understood that your view on a complete theory is not the one that can leat to a contradiction with Godel's theorem. I just wanted to say that other people may understand it the wrong way and criticize because of the incompletness theorem.

Just to make sure, I understood that your view on a complete theory is not the one that can leat to a contradiction with Godel's theorem. I just wanted to say that other people may understand it the wrong way and criticize because of the incompletness theorem.

Hi Frederico,

You write, "Try to read the equation F=ma. In the context of classical mechanics you would say the total force equals to the product of the mass and the acceleration. But out of context, or better, without any interpretation, you cannot say it."

If you mean only that I have to expand the shorthand symbols to natural language, such that I should write, "Force equals mass...

view entire post

You write, "Try to read the equation F=ma. In the context of classical mechanics you would say the total force equals to the product of the mass and the acceleration. But out of context, or better, without any interpretation, you cannot say it."

If you mean only that I have to expand the shorthand symbols to natural language, such that I should write, "Force equals mass...

view entire post

report post as inappropriate

Hi Tom,

You wrote:

"Hi Frederico,

You write, "Try to read the equation F=ma. In the context of classical mechanics you would say the total force equals to the product of the mass and the acceleration. But out of context, or better, without any interpretation, you cannot say it."

If you mean only that I have to expand the shorthand symbols to natural language, such that...

view entire post

You wrote:

"Hi Frederico,

You write, "Try to read the equation F=ma. In the context of classical mechanics you would say the total force equals to the product of the mass and the acceleration. But out of context, or better, without any interpretation, you cannot say it."

If you mean only that I have to expand the shorthand symbols to natural language, such that...

view entire post

report post as inappropriate

Frederico Pfrimer wrote:

"I have means to say that the main wrong assumption of physics is not

a physical assumption, but a millenary logical assumption: the principle of excluded middle1."

Niels Bohr talking about it

"There are trivial truths and the great truths. The opposite of a trivial truth is plainly false. The opposite of a great truth is also true."

Read more at http://www.brainyquote.com/quotes/authors/n/niels_bohr.html#

u2LwwTk8pFUyOzeb.99

Few peoples understand it unfortunately.

report post as inappropriate

"I have means to say that the main wrong assumption of physics is not

a physical assumption, but a millenary logical assumption: the principle of excluded middle1."

Niels Bohr talking about it

"There are trivial truths and the great truths. The opposite of a trivial truth is plainly false. The opposite of a great truth is also true."

Read more at http://www.brainyquote.com/quotes/authors/n/niels_bohr.html#

u2LwwTk8pFUyOzeb.99

Few peoples understand it unfortunately.

report post as inappropriate

Dear Yuri,

Great point. It fits perfectly at this situation. Also it shows something very deep: it is very simple to know what the opposite of a trivial truth represents, but to know what the opposite of a great truth represents is a great challenge. In this case, for example, we could say that quantum logic is non-classical or maybe non-boolean, but then what it really means? To answer it we must perfectly understand how is the logic of the quantum world…

Best Regards,

Frederico

Great point. It fits perfectly at this situation. Also it shows something very deep: it is very simple to know what the opposite of a trivial truth represents, but to know what the opposite of a great truth represents is a great challenge. In this case, for example, we could say that quantum logic is non-classical or maybe non-boolean, but then what it really means? To answer it we must perfectly understand how is the logic of the quantum world…

Best Regards,

Frederico

Hi Frederico,

I enjoyed reading your interesting essay. I agree that the non-Boolean logic inherent to quantum mechanics is precisely what gives rise to all the weirdness that conflicts with our classical intuitions. Personally, however, I'm not sure it's enough to say that quantum logic is non-Boolean and leave it at that - that's merely a description, not an explanation. I think it remains important to ask, in Wheeler's famous phrase, why the quantum? Why non-Boolean logic?

I take a speculative stab at that question in my essay, suggesting that non-Boolean quantum logic expresses a radical frame-dependence in the nature of reality, one most strongly argued for by holography and Lenny Susskind's notion of "horizon complementarity".

Great work.

Regards,

Amanda

report post as inappropriate

I enjoyed reading your interesting essay. I agree that the non-Boolean logic inherent to quantum mechanics is precisely what gives rise to all the weirdness that conflicts with our classical intuitions. Personally, however, I'm not sure it's enough to say that quantum logic is non-Boolean and leave it at that - that's merely a description, not an explanation. I think it remains important to ask, in Wheeler's famous phrase, why the quantum? Why non-Boolean logic?

I take a speculative stab at that question in my essay, suggesting that non-Boolean quantum logic expresses a radical frame-dependence in the nature of reality, one most strongly argued for by holography and Lenny Susskind's notion of "horizon complementarity".

Great work.

Regards,

Amanda

report post as inappropriate

Dear Amanda,

Thanks for reading and commenting on my essay. I also think to say that the logic is non-Boolean is not enough. I have an arXiv paper, “On the Nature of Reality” where I develop a new interpretation and formulation of QT. Most of it is related to the logic of quantum world. There I think it is clear why the logic is non-Boolean and how it actually is. There, I extend QT for having a logic about truth, knowledge, necessity and possibility, what is much more that pure propositional logic. This is how quantum logic becomes no classical: it becomes a kind of modal logic where truth is a modality, that is, a proposition can be true, false, known to be true, known to be false, necessarily true, necessarily false, possibly true… I suggest you reading it but outside the scope of this contest. I’ll read your essay and rate it without judging from my own viewpoints. Please rate mine too!

Well, I try to answer why the quantum and why non Boolean logic from the following approach: it is the simplest closed theory possible for describing reality. In my paper what I develop is a closed theory in the sense of this essay, and you will see how simple all the axioms and the definitions are. It is almost impossible to make them simpler.

Best Regards,

Frederico

Thanks for reading and commenting on my essay. I also think to say that the logic is non-Boolean is not enough. I have an arXiv paper, “On the Nature of Reality” where I develop a new interpretation and formulation of QT. Most of it is related to the logic of quantum world. There I think it is clear why the logic is non-Boolean and how it actually is. There, I extend QT for having a logic about truth, knowledge, necessity and possibility, what is much more that pure propositional logic. This is how quantum logic becomes no classical: it becomes a kind of modal logic where truth is a modality, that is, a proposition can be true, false, known to be true, known to be false, necessarily true, necessarily false, possibly true… I suggest you reading it but outside the scope of this contest. I’ll read your essay and rate it without judging from my own viewpoints. Please rate mine too!

Well, I try to answer why the quantum and why non Boolean logic from the following approach: it is the simplest closed theory possible for describing reality. In my paper what I develop is a closed theory in the sense of this essay, and you will see how simple all the axioms and the definitions are. It is almost impossible to make them simpler.

Best Regards,

Frederico

Dear Readers,

While I’m trying to answer your posts, a propose a challenge: try to read unambiguously the following equation:

This exercise shows some limitations of natural language. It is very hard if not impossible to read this equation unambiguously.

However, the real focus is not translating mathematical language to natural language, but the opposite, translating natural language to math. This can only be done when you have a theory and an interpretation. For example, everybody can talk about money and finances in natural language, but you can only say the same thing in mathematical language when there is a theory that allows you modeling the situation. This the great challenge of all sciences. At the time of Aristotle they could talk about the movement of particles, interactions and other physical notions, but they couldn’t say the same things in math; classical mechanics was what allowed us to do so.

The great challenges are for example what it means mathematically to say that QM is realist? What are the equations that must be satisfied for this to happen? What it means mathematically to say that QM violates classical logic? What it means mathematically to say that QM is complete or incomplete?

One we can find a consensual answer to all these question, the philosophical problems vanish. Then all you have to do is to prove that QM satisfies or not an equation. The philosophical problem is finding the equation, the rest is simply theorem proving.

Best Regards

Frederico

While I’m trying to answer your posts, a propose a challenge: try to read unambiguously the following equation:

This exercise shows some limitations of natural language. It is very hard if not impossible to read this equation unambiguously.

However, the real focus is not translating mathematical language to natural language, but the opposite, translating natural language to math. This can only be done when you have a theory and an interpretation. For example, everybody can talk about money and finances in natural language, but you can only say the same thing in mathematical language when there is a theory that allows you modeling the situation. This the great challenge of all sciences. At the time of Aristotle they could talk about the movement of particles, interactions and other physical notions, but they couldn’t say the same things in math; classical mechanics was what allowed us to do so.

The great challenges are for example what it means mathematically to say that QM is realist? What are the equations that must be satisfied for this to happen? What it means mathematically to say that QM violates classical logic? What it means mathematically to say that QM is complete or incomplete?

One we can find a consensual answer to all these question, the philosophical problems vanish. Then all you have to do is to prove that QM satisfies or not an equation. The philosophical problem is finding the equation, the rest is simply theorem proving.

Best Regards

Frederico

Hi Frederico,

Okay, I understand better what you're saying now. Really, though, what does "ambiguous" mean in terms of mathematics? After all, by the fundamental theorem of algebra, a polynomial equation has as many solutions as the equation has degrees. Does that mean the solutions are ambiguous? -- to say so would imply that there is one "real," or true, solution to the equation, yet such is not the case. All solutions are true for the given degree.

Your approach may shed light on something very important, however, about the form of mathematics we use to model physical reality. If the fundamentally algebraic rules of quantum mechanics leave us with the questions you ask: -- ... what it means mathematically to say that QM is realist? ... equations that must be satisfied for this to happen? ... QM violates classical logic? ... QM is complete or incomplete? -- then just maybe algebra (i.e., the mathematics of discrete functions) can't tell us what lies at the foundation of reality.

Problem is, that our thinking equipment *is* designed for discrete decisions, not continuous functions. How the quantum-mechanical brain connects with the stately motion of the cosmos will be as science-changing a model as Newton's explanation of why the moon falls toward the Earth without hitting it.

You might be interested in this powerpoint I did for ICCS 2007 that takes advantage of Gregory Chaitin's research into the uncertainty of arithmetic that we talked about earlier.

Best,

Tom

report post as inappropriate

Okay, I understand better what you're saying now. Really, though, what does "ambiguous" mean in terms of mathematics? After all, by the fundamental theorem of algebra, a polynomial equation has as many solutions as the equation has degrees. Does that mean the solutions are ambiguous? -- to say so would imply that there is one "real," or true, solution to the equation, yet such is not the case. All solutions are true for the given degree.

Your approach may shed light on something very important, however, about the form of mathematics we use to model physical reality. If the fundamentally algebraic rules of quantum mechanics leave us with the questions you ask: -- ... what it means mathematically to say that QM is realist? ... equations that must be satisfied for this to happen? ... QM violates classical logic? ... QM is complete or incomplete? -- then just maybe algebra (i.e., the mathematics of discrete functions) can't tell us what lies at the foundation of reality.

Problem is, that our thinking equipment *is* designed for discrete decisions, not continuous functions. How the quantum-mechanical brain connects with the stately motion of the cosmos will be as science-changing a model as Newton's explanation of why the moon falls toward the Earth without hitting it.

You might be interested in this powerpoint I did for ICCS 2007 that takes advantage of Gregory Chaitin's research into the uncertainty of arithmetic that we talked about earlier.

Best,

Tom

report post as inappropriate

Hi Tom,

It is is very hard to find ambiguities in mathematics because good mathematics is always unambiguous. But I found some examples in Ambiguities in Mathematics. A simple example extracted from there:

“Certain functions, particularly trigonometric functions like sin and cos, are often written without parentheses: “sin x” instead of “sin(x)”. So what does the expression “sin ab” mean? It can mean either “sin(ab)” or “(sin a)b”. Generally, it’ll mean the former. However, it can sometimes mean the latter! For example, I’m looking at some lecture notes right now which uses implicit differentiation to find the derivative of arcsine: you let y=arcsin x, which means that sin y=x, then you differentiate both sides and get: “cos y dy/dx = 1″. In this context, “cos y dy/dx” means “(cos y)dy/dx”!”

Well, the solutions of a polynomial are not ambiguous, they are a set of number. For example, a more rigorous way of expressing the solutions of x^2-3 is

.

Now you can see that there is no ambiguity.

Well, but that’s it. In the end we depend heavily on mathematics. I’m not sure that the mathematics of today is already capable of providing us with all the tools. The problems are foundations of math itself are not really established. Math is the best language we have, but we are always limited by our language. Math allow us advancing further than natural language, but it still have limitations.

About the continuous, a large part of quantum theory (i.e. information and computation theory) is done with discrete quantities. I think we should first solve the foundational problems for the discrete, then we extend it to the continuous. But I agree with what you said, but we must find ways to overcome it.

Best regards

Frederico

P.S.: I’m taking a look on your presentation.

It is is very hard to find ambiguities in mathematics because good mathematics is always unambiguous. But I found some examples in Ambiguities in Mathematics. A simple example extracted from there:

“Certain functions, particularly trigonometric functions like sin and cos, are often written without parentheses: “sin x” instead of “sin(x)”. So what does the expression “sin ab” mean? It can mean either “sin(ab)” or “(sin a)b”. Generally, it’ll mean the former. However, it can sometimes mean the latter! For example, I’m looking at some lecture notes right now which uses implicit differentiation to find the derivative of arcsine: you let y=arcsin x, which means that sin y=x, then you differentiate both sides and get: “cos y dy/dx = 1″. In this context, “cos y dy/dx” means “(cos y)dy/dx”!”

Well, the solutions of a polynomial are not ambiguous, they are a set of number. For example, a more rigorous way of expressing the solutions of x^2-3 is

.

Now you can see that there is no ambiguity.

Well, but that’s it. In the end we depend heavily on mathematics. I’m not sure that the mathematics of today is already capable of providing us with all the tools. The problems are foundations of math itself are not really established. Math is the best language we have, but we are always limited by our language. Math allow us advancing further than natural language, but it still have limitations.

About the continuous, a large part of quantum theory (i.e. information and computation theory) is done with discrete quantities. I think we should first solve the foundational problems for the discrete, then we extend it to the continuous. But I agree with what you said, but we must find ways to overcome it.

Best regards

Frederico

P.S.: I’m taking a look on your presentation.

Hi Frederico,

I make a distinction between abuse of notation and ambiguous results. Bad notation, as your examples show, can lead to misinterpretation. The same is true of bad grammar in natural language, as well as ambiguities of syntax and semantics and other linguistic failings (such as Chomsky's well known example, "Colorless green ideas sleep furiously").

Unlike natural language, though, mathematics gets its meaning from logical judgments which are never purposely ambiguous -- if they are, one charges the result with an error. Internal consistency of the language is independent of the correspondent meaning.

"Time flies like an arrow; fruit flies like a banana" shows the dependence of natural language on context, where concrete terms (flies) and abstract terms (time) relate in entirely different ways to an object corresponding to the meaning.

Mathematical symbols are limited in the same way. The Greek letter pi can stand for the transcendental number that describes the relation between the radius and circumference of a circle; pi can also represent a discrete prime integer. Results from use of these terms, however, cannot be confused by one who speaks the language -- just as in the natural language above.

You write, " ... a large part of quantum theory (i.e. information and computation theory) is done with discrete quantities."

Actually, all of it is done with discrete quantities. That's where "quantum" gets its meaning.

"I think we should first solve the foundational problems for the discrete, then we extend it to the continuous. But I agree with what you said, but we must find ways to overcome it."

We have, actually. Topological quantum field theory -- among other topological methods -- incorporates the global meaning of quantum events. We can't get a non-arbitrary continuum from discrete quantities; we can, however, derive discrete events from the continuum.

All best,

Tom

report post as inappropriate

I make a distinction between abuse of notation and ambiguous results. Bad notation, as your examples show, can lead to misinterpretation. The same is true of bad grammar in natural language, as well as ambiguities of syntax and semantics and other linguistic failings (such as Chomsky's well known example, "Colorless green ideas sleep furiously").

Unlike natural language, though, mathematics gets its meaning from logical judgments which are never purposely ambiguous -- if they are, one charges the result with an error. Internal consistency of the language is independent of the correspondent meaning.

"Time flies like an arrow; fruit flies like a banana" shows the dependence of natural language on context, where concrete terms (flies) and abstract terms (time) relate in entirely different ways to an object corresponding to the meaning.

Mathematical symbols are limited in the same way. The Greek letter pi can stand for the transcendental number that describes the relation between the radius and circumference of a circle; pi can also represent a discrete prime integer. Results from use of these terms, however, cannot be confused by one who speaks the language -- just as in the natural language above.

You write, " ... a large part of quantum theory (i.e. information and computation theory) is done with discrete quantities."

Actually, all of it is done with discrete quantities. That's where "quantum" gets its meaning.

"I think we should first solve the foundational problems for the discrete, then we extend it to the continuous. But I agree with what you said, but we must find ways to overcome it."

We have, actually. Topological quantum field theory -- among other topological methods -- incorporates the global meaning of quantum events. We can't get a non-arbitrary continuum from discrete quantities; we can, however, derive discrete events from the continuum.

All best,

Tom

report post as inappropriate

Dear Frederico,

I greatly admire your essay. You ambitiously tackle issues that some of history’s greatest scientists, from Liebniz to the founders of quantum theory, have wrestled with. Your general approach is relevant to the whole practice of science. For mathematical reasons (principally Godel’s incompleteness theorem), I think that the achievement of a “perfectly closed...

view entire post

I greatly admire your essay. You ambitiously tackle issues that some of history’s greatest scientists, from Liebniz to the founders of quantum theory, have wrestled with. Your general approach is relevant to the whole practice of science. For mathematical reasons (principally Godel’s incompleteness theorem), I think that the achievement of a “perfectly closed...

view entire post

report post as inappropriate

:) in all humility of course,This theory has been found by a young belgian of 37 years old.

Of course it is irritating for a lot of scientists. Just due to the potential of this theory of spherization. Indeed I have found dear sciences community. Of course there are a lot of jealousy and envy. Just due I am repeating to this potential at shot middle and long term. Of course several...

view entire post

Of course it is irritating for a lot of scientists. Just due to the potential of this theory of spherization. Indeed I have found dear sciences community. Of course there are a lot of jealousy and envy. Just due I am repeating to this potential at shot middle and long term. Of course several...

view entire post

report post as inappropriate

Ben

You see the common point between my essay and Frederico´s? A ''closed theory'' for Frederico is something very close to what I called semantically complete in our discussions. And just to remember, by trying to produce a closed classical theory, the outcome is Machian philosophy which gives rise to GR almost uniquely via Barbour´s arguments. But the classical theory is not yet completely closed. I feel this could be made rigourous.

report post as inappropriate

You see the common point between my essay and Frederico´s? A ''closed theory'' for Frederico is something very close to what I called semantically complete in our discussions. And just to remember, by trying to produce a closed classical theory, the outcome is Machian philosophy which gives rise to GR almost uniquely via Barbour´s arguments. But the classical theory is not yet completely closed. I feel this could be made rigourous.

report post as inappropriate

Dear Benjamin

Thanks for your comments. For sure mathematics is our upper bound. We can go just as far as math allow us, and there will be times we’ll need to first extend math; but that’s not new in physics.

Well, you talked about the incompleteness theorem. Some days ago I found something very interesting about it, and I was willing to discuss about it. A theory is complete in...

view entire post

Thanks for your comments. For sure mathematics is our upper bound. We can go just as far as math allow us, and there will be times we’ll need to first extend math; but that’s not new in physics.

Well, you talked about the incompleteness theorem. Some days ago I found something very interesting about it, and I was willing to discuss about it. A theory is complete in...

view entire post

Dear Frederico,

I am interested to see your "closed formulation" of part of quantum theory. I take it that is your reference 1?

Regarding Godel, I'm not an expert on undecidability, but I think that Godel's result applied to systems like the natural numbers is rather clear intuitively. The following isn't a proof, but it shows intuitively what an absolute miracle it would be if...

view entire post

I am interested to see your "closed formulation" of part of quantum theory. I take it that is your reference 1?

Regarding Godel, I'm not an expert on undecidability, but I think that Godel's result applied to systems like the natural numbers is rather clear intuitively. The following isn't a proof, but it shows intuitively what an absolute miracle it would be if...

view entire post

report post as inappropriate

Frederico

A brilliant theory of theory, and a helpful eye opener for me. I agree translation and interpretation between words and maths is crucial and that we're very short of 'words' to discern meanings. This seems equivalent to mathematical abstraction being very limited in 'bits' compared to nature. But do you agree the brain can work best and find important results without either, then...

view entire post

A brilliant theory of theory, and a helpful eye opener for me. I agree translation and interpretation between words and maths is crucial and that we're very short of 'words' to discern meanings. This seems equivalent to mathematical abstraction being very limited in 'bits' compared to nature. But do you agree the brain can work best and find important results without either, then...

view entire post

report post as inappropriate

Dear Peter,

Thanks for your comments. It looks like you could understand a bit deeper the content of my essay. That’s really a theory of theory, and curiously the only possible theory of theory is a theory about closed theories, because you cannot be more explicit giving the form of an open theory. Almost anything can be an open theory.

As you like quantum and other logics you might like my arXiv paper. There you’ll see three logics unified and applied to quantum theory: propositional, modal, and epistemic. You can talk about truth, knowledge, necessity and possibility in quantum theory! I’ll read and rate your essay, and if you haven’t, please rate mine! I would like to keep discussing beyond the scope of this essay! We have close interests, and you might improve my ideas…

Wish you all the best!

Frederico

Thanks for your comments. It looks like you could understand a bit deeper the content of my essay. That’s really a theory of theory, and curiously the only possible theory of theory is a theory about closed theories, because you cannot be more explicit giving the form of an open theory. Almost anything can be an open theory.

As you like quantum and other logics you might like my arXiv paper. There you’ll see three logics unified and applied to quantum theory: propositional, modal, and epistemic. You can talk about truth, knowledge, necessity and possibility in quantum theory! I’ll read and rate your essay, and if you haven’t, please rate mine! I would like to keep discussing beyond the scope of this essay! We have close interests, and you might improve my ideas…

Wish you all the best!

Frederico

If you do not understand why your rating dropped down. As I found ratings in the contest are calculated in the next way. Suppose your rating is and was the quantity of people which gave you ratings. Then you have of points. After it anyone give you of points so you have of points and is the common quantity of the people which gave you ratings. At the same time you will have of points. From here, if you want to be R2 > R1 there must be: or or In other words if you want to increase rating of anyone you must give him more points then the participant`s rating was at the moment you rated him. From here it is seen that in the contest are special rules for ratings. And from here there are misunderstanding of some participants what is happened with their ratings. Moreover since community ratings are hided some participants do not sure how increase ratings of others and gives them maximum 10 points. But in the case the scale from 1 to 10 of points do not work, and some essays are overestimated and some essays are drop down. In my opinion it is a bad problem with this Contest rating process.

Sergey Fedosin

report post as inappropriate

Sergey Fedosin

report post as inappropriate

Frederico,

Great essay! Voted. I do agree very much with your essay. I just put up a Powerpoint for my essay, and am curious how you would use FTP to describe the Poisson equation. Specifically slide 18. (Let me know if you catch any goofs on my part, I put it together for hopefully before voting ends.)

Thanks

Jeff

report post as inappropriate

Great essay! Voted. I do agree very much with your essay. I just put up a Powerpoint for my essay, and am curious how you would use FTP to describe the Poisson equation. Specifically slide 18. (Let me know if you catch any goofs on my part, I put it together for hopefully before voting ends.)

Thanks

Jeff

report post as inappropriate

Sergey G Fedosin is bombing entrants' boards with the same "why your rating has dropped" message. They are all dated Oct. 4... same message.

WTH? I've seen one fine essay drop 89 (eighty-nine) positions, in "Community Rating" in the past 24 hours, and “Sergey’s note” came BEFORE it plummeted. Hmm.

The vote/scaling of this contest is quite nebulous.

"Hackers Rule!", I suppose!

Well??? What else is one to think? The General Public is... Watching…

report post as inappropriate

WTH? I've seen one fine essay drop 89 (eighty-nine) positions, in "Community Rating" in the past 24 hours, and “Sergey’s note” came BEFORE it plummeted. Hmm.

The vote/scaling of this contest is quite nebulous.

"Hackers Rule!", I suppose!

Well??? What else is one to think? The General Public is... Watching…

report post as inappropriate

Hi Frederico,

Please check this link and find how five essays, including yours, were removed from the 35 finalists. I posted some messages with attachments containing the page and screenshots at 0:01.

Good luck,

Cristi Stoica

report post as inappropriate

Please check this link and find how five essays, including yours, were removed from the 35 finalists. I posted some messages with attachments containing the page and screenshots at 0:01.

Good luck,

Cristi Stoica

report post as inappropriate

Login or create account to post reply or comment.