4 ms·

So would you say that your system of symbols and rules is real? Could it be that we both use the same system of symbols and rules, with the same assumptions, bu

So would you say that your system of symbols and rules is real? Could it be that we both use the same system of symbols and rules, with the same assumptions, but derive different conclusions? If not, why not?

BSEdlMMldESB 3y ago
if the system is sound, then (I think) by definition you cannot prove different (wrong) conclusions. if you derive a different result, by soundness those would be equivalent ???
- practal 3y ago
  It does not really matter if the system is sound or not, right? Although of course a sound one is far more interesting. Anyway, any way of justifying this is mathematical (and so would be the definition of soundness, if it was relevant here). If math is not real, then there is no justification.
  - BSEdlMMldESB 3y ago
    math describes (fragments) of reality; therefore it is of no consequence if math as itself is "real" or not. it is intended to model whatever "real" even is. somewhat similarly: in modern logical theories whatever "true" (and/including "false") even mean doesn't matter. is left out of the logical theory and it is effectively a mere parameter. all the subject does is gurantee "truth in, truth out" (and complementarily "false in, false out") the precise details of true "and/including" false, seems to me, are somewhere in the boundary between "classical" and "intuitionism" (or "constructivism") the subtle distinction between intuitionism" and "constructivism" is above my pay grade (and seemingly above the paygrade of everybody I've had the chance of discussing this with)
    - practal 3y ago
      > math describes (fragments) of reality; This is only possible if math itself is real. Note that I am not saying that a particular axiom system like Euclidean geometry has some sort of "real physical manifestation". No, what I am saying is that logical reasoning itself is real. And our reasoning about logical reasoning is certainly real as well, even if logical reasoning itself happens in very abstract form. Math itself might be viewed by some as just a game of symbols. But that doesn't change the fact that the game itself is real. Would it be otherwise, then math would be about as important as chess.
      - BSEdlMMldESB 3y ago
        I like to draw a distinction between real and ideal. I insist that math is ideal. it models reality ideally. this distinction is important because otherwise we mix together something, and the ideas and concepts (e.g. symbols and rules) we use to describe and model said something. the game is not real. people playing the game are real, the game getting played is real. the game on its own as may be described in symbols is ideal. i suppose what it all is all about is the intersection between this reality and this ideality.
        practal 3y ago
        You can say that a certain axiom system models a certain part of reality in an ideal way. But whatever is ideal, is also real, because otherwise there is nothing that could model anything. So your intersection of reality and ideality is just ideality itself.
        deleted 3y ago
        [deleted]
barrkel 3y ago
It has no substance other than its representations; there's nothing of it you can touch which is physical. At best, there is a correspondence between the physical and the system.
- practal 3y ago
  I agree with you here, at least in the sense that the system is definitely not physical. You didn't answer my question, though. Is it real?
  - simonh 3y ago
    All information that exists is physical, encoded in a physical substrate. Beads in an abacus, holes in a punched card, distributions of charge in a computer memory. Hypothetical information that is not encoded physically cannot be causal. A book or computer program that have not been written can have no effects. Only information that exists in a physical encoding can be causal, by virtue of it’s physicality.
    - practal 3y ago
      Not sure where you are going with this. What is causality? Is there a non-mathematical way of making it precise? And if I have found some way to make it precise, does it matter if I write it down here in this HN comment, or on a piece of paper, or just think it? Is the mathematical content different depending on how it is expressed in physical reality?

BSEdlMMldESB 3y ago

if the system is sound, then (I think) by definition you cannot prove different (wrong) conclusions. if you derive a different result, by soundness those would be equivalent ???

practal 3y ago
It does not really matter if the system is sound or not, right? Although of course a sound one is far more interesting. Anyway, any way of justifying this is mathematical (and so would be the definition of soundness, if it was relevant here). If math is not real, then there is no justification.
- BSEdlMMldESB 3y ago
  math describes (fragments) of reality; therefore it is of no consequence if math as itself is "real" or not. it is intended to model whatever "real" even is. somewhat similarly: in modern logical theories whatever "true" (and/including "false") even mean doesn't matter. is left out of the logical theory and it is effectively a mere parameter. all the subject does is gurantee "truth in, truth out" (and complementarily "false in, false out") the precise details of true "and/including" false, seems to me, are somewhere in the boundary between "classical" and "intuitionism" (or "constructivism") the subtle distinction between intuitionism" and "constructivism" is above my pay grade (and seemingly above the paygrade of everybody I've had the chance of discussing this with)
  - practal 3y ago
    > math describes (fragments) of reality; This is only possible if math itself is real. Note that I am not saying that a particular axiom system like Euclidean geometry has some sort of "real physical manifestation". No, what I am saying is that logical reasoning itself is real. And our reasoning about logical reasoning is certainly real as well, even if logical reasoning itself happens in very abstract form. Math itself might be viewed by some as just a game of symbols. But that doesn't change the fact that the game itself is real. Would it be otherwise, then math would be about as important as chess.
    - BSEdlMMldESB 3y ago
      I like to draw a distinction between real and ideal. I insist that math is ideal. it models reality ideally. this distinction is important because otherwise we mix together something, and the ideas and concepts (e.g. symbols and rules) we use to describe and model said something. the game is not real. people playing the game are real, the game getting played is real. the game on its own as may be described in symbols is ideal. i suppose what it all is all about is the intersection between this reality and this ideality.
      - practal 3y ago
        You can say that a certain axiom system models a certain part of reality in an ideal way. But whatever is ideal, is also real, because otherwise there is nothing that could model anything. So your intersection of reality and ideality is just ideality itself.
        deleted 3y ago
        [deleted]

barrkel 3y ago

It has no substance other than its representations; there's nothing of it you can touch which is physical. At best, there is a correspondence between the physical and the system.

practal 3y ago
I agree with you here, at least in the sense that the system is definitely not physical. You didn't answer my question, though. Is it real?
- simonh 3y ago
  All information that exists is physical, encoded in a physical substrate. Beads in an abacus, holes in a punched card, distributions of charge in a computer memory. Hypothetical information that is not encoded physically cannot be causal. A book or computer program that have not been written can have no effects. Only information that exists in a physical encoding can be causal, by virtue of it’s physicality.
  - practal 3y ago
    Not sure where you are going with this. What is causality? Is there a non-mathematical way of making it precise? And if I have found some way to make it precise, does it matter if I write it down here in this HN comment, or on a piece of paper, or just think it? Is the mathematical content different depending on how it is expressed in physical reality?