you are speaking about programming now, I said it is spreaded
Again, I am not talking about programing at all. I am talking about reality, philosophy, and our notions of truth.
Proof is a much bigger subject than computers.
POM is market proof, price proof, we are proofing something what are we doing it is more social-economic question than just hashing. I want to spread things up to do it more open for more activities than just hash.
We share this goal.
Motocoin does not use proofs over hashing in any traditional way, as your coin does for example. Our proofs are not about hashing but about game-play, and this is the trans-formative differentiation of proof of play. What are your proofs about? What are you actually proving? What is your schema? What axioms do you hold to begin? What process of reasoning do you employ in your rationalization? What conclusion do you draw, and how is it justified? If you do not have answers to these specific questions, defining proof, then you do not hold a proof.
Tangible is something touchable,
Amen to that. Certainly being from a financial background you will know of the notion that if you can't kiss it then you don't own it.
Proofs are certainly tangible. I can own it, print one out, cut it in half, paste it onto a second proof to possibly construct a third proof. (More likely I'll end up with something that is no longer a proof, and this is what is most magical about them.) I can hold it, kiss it, mail it to a friend for a second opinion, send it to someone on a p2p network called bitcoin, bury it in a time capsule, hide it from the world or share it with everyone, take a crap on it, burn it with fire, etc.
POW is not toungible it is measurable
Any proof should certainly be both, and the two notions are deeply and inexorably intertwined. You cannot measure what you cannot, in some way, touch. If you can't stick a ruler to it, weigh it, bounce a photon off of it, bend some electromagnetic force around it, or otherwise make some "touch" thing happen to it, you cannot measure it. Much of modern philosophy and logic is about this notion of measurement of proof, in particular metrics over their poly-topos "surfaces" or "shapes." (This is actually something I've been in some deep discussions about lately with the zencoin developer, randomly.) The shapes we call ontological lattice structures and convolution based belief networks are both of particular interest lately, but mostly for reasons related to AI and that "programming" thing that you want to avoid talking about, so I won't go into it further.
Let's take programming out of the question entirely for a moment, and just talk about the most basic elements of a proof.
I know for damned sure that 1+1 is 2 not because someone said so but because
Theorem 1lt2pi 6774
Description: One is less than two (one plus one).
Assertion
Ref Expression
1lt2pi |- 1o Proof of Theorem 1lt2pi
Step Hyp Ref Expression
1 1onn 5506 . . . . 5 |- 1o e. om
2 nna0 5476 . . . . 5 |- (1o e. om -> (1o +o (/)) = 1o)
3 1, 2 ax-mp 8 . . . 4 |- (1o +o (/)) = 1o
4 0lt1o 5393 . . . . 5 |- (/) e. 1o
5 peano1 3973 . . . . . 6 |- (/) e. om
6 nnaord 5488 . . . . . 6 |- (((/) e. om /\ 1o e. om /\ 1o e. om) -> ((/) e. 1o <-> (1o +o (/)) e. (1o +o 1o)))
7 5, 1, 1, 6 mp3an 1251 . . . . 5 |- ((/) e. 1o <-> (1o +o (/)) e. (1o +o 1o))
8 4, 7 mpbi 198 . . . 4 |- (1o +o (/)) e. (1o +o 1o)
9 3, 8 eqeltrri 2002 . . 3 |- 1o e. (1o +o 1o)
10 1pi 6752 . . . 4 |- 1o e. N.
11 addpiord 6753 . . . 4 |- ((1o e. N. /\ 1o e. N.) -> (1o +N 1o) = (1o +o 1o))
12 10, 10, 11 mp2an 650 . . 3 |- (1o +N 1o) = (1o +o 1o)
13 9, 12 eleqtrri 2004 . 2 |- 1o e. (1o +N 1o)
14 addclpi 6761 . . . 4 |- ((1o e. N. /\ 1o e. N.) -> (1o +N 1o) e. N.)
15 10, 10, 14 mp2an 650 . . 3 |- (1o +N 1o) e. N.
16 ltpiord 6756 . . 3 |- ((1o e. N. /\ (1o +N 1o) e. N.) -> (1o 1o e. (1o +N 1o)))
17 10, 15, 16 mp2an 650 . 2 |- (1o 1o e. (1o +N 1o))
18 13, 17 mpbir 199 1 |- 1o
(source Metamath OFC)
This thing *is* the tangible form artifact of the "frozen into material being" knowledge that one and one are, undeniably, two.
I know for damned sure that you have no single argument against the claim that 1+1=2 because of QED at the 18th assertion, there. I can, independent of anyone or anything else in the universe, hold this epic knowledge, this proof, with my hands, see it with my eyes, kiss it with my lips, and most importantly know it to be not only a thing but that special sort of thing that we can call a proof (I'm even blessed to be able to see that it is one specifically shaped like "closed, total, peano arithmetic form induction over ordinal naturals") and I can know this not only with my brain but with all of my heart and soul.
How can I print out one of your proofs of one of your claims, hold it with my hands, see it with my eyes, know it to be a special thing that is called QED, and then kiss it with my lips?
This claim could be any one of your claims about the market or the spot price or anything at all other than your classic PoW hash function blockchain which we'll certainly agree is the one proof your system can/does offer up. (*YAWN*)
If I can't print your claim, evidence, and reasoning out on paper and kiss it with my lips I can't own any meaningful token of open interest in it. If I can't own it, why exactly should I buy into it, particularly when you are (perhaps intentionally, for hoodwinking, this is alt-coin land after all) mislabeling it as a proof?
I've said this before to others. At best, you are misunderstanding the meaning of a proof. At worst, you are attempting to defraud people. Do you really even want to be seen as being on this spectrum at all? Best to just retract the claim of some novel proof mechanism from your materials until you can either offer an exposition of that proof mechanism or some proofs themselves. Certainly best not to go around calling other peoples *actual* proof models "copy paste" from your brilliant notions, in any case.
and POM is also measurable
How? Please elaborate on the structural composition of your proofs, that is all I'm asking. Show me how to measure one in an independently repeatable (i.e. verifiable) way. Show me one of your proofs, and how to read it, ideally. Tell me how your proofs stand as proofs.
Prove.
Prove, or don't go around running your mouth about proofs. If you don't know what one is, if you don't understand deeply in your core being what is so fundamentally critical about the nature of the funny little turnstile |- symbol, then you're not qualified to critique them.
so from phylosophy it is time dedicated. Proof is nothing till it is proved till end.
You're right. You don't know how right you are. You don't even have axioms, you are so far from the "end" that you haven't even begun.
It was almost like I posted
https://bitcointalksearch.org/topic/on-the-nature-of-proof-and-valuation-of-proof-of-coins-785372 this just especially for you.