I'm trying to find out.
The Meaning of the Number System ("quantity" is incorrect)
-
- Posts: 6851
- Joined: Tue Aug 11, 2009 10:55 pm
Re: The Meaning of the Number System ("quantity" is incorrect)
- Agent Smith
- Posts: 1442
- Joined: Fri Aug 12, 2022 12:23 pm
Re: The Meaning of the Number System ("quantity" is incorrect)
Assumptions made by the OP, what can they be?
-
- Posts: 6851
- Joined: Tue Aug 11, 2009 10:55 pm
Re: The Meaning of the Number System ("quantity" is incorrect)
In responding to his responses I ended up getting this response....
viewtopic.php?p=624980#p624980
So, it's not directly in the OP stuff.
- Agent Smith
- Posts: 1442
- Joined: Fri Aug 12, 2022 12:23 pm
Re: The Meaning of the Number System ("quantity" is incorrect)
So, humanity is headed to jahanam? This has something to do with alleged voices in our heads. Math then, because it's incorrect, proves it! I shouldn't be laughing, but it's so crazy, the idea, right?Iwannaplato wrote: ↑Mon Feb 27, 2023 8:52 amIn responding to his responses I ended up getting this response....
viewtopic.php?p=624980#p624980
So, it's not directly in the OP stuff.
One can't escape causality, you know; I mean only old folks can.
Re: The Meaning of the Number System ("quantity" is incorrect)
I think it would be hilarious for you to show me how it is that 1+1=2.Agent Smith wrote: ↑Mon Feb 27, 2023 9:02 amSo, humanity is headed to jahanam? This has something to do with alleged voices in our heads. Math then, because it's incorrect, proves it! I shouldn't be laughing, but it's so crazy, the idea, right?Iwannaplato wrote: ↑Mon Feb 27, 2023 8:52 amIn responding to his responses I ended up getting this response....
viewtopic.php?p=624980#p624980
So, it's not directly in the OP stuff.
One can't escape causality, you know; I mean only old folks can.
What also is funny is you trying to stop that voice in your head from talking. You can't, can you? Why not? Why don't you have any control over your own mind?
Funny, right?
Re: The Meaning of the Number System ("quantity" is incorrect)
Would you accept a proof written in the Agda proof assistant?
Here is the relevant snippet in the free course on Programming Language Foundations.
Operations on naturals are recursive functions - it should be plenty hilarious.
-
- Posts: 6851
- Joined: Tue Aug 11, 2009 10:55 pm
Re: The Meaning of the Number System ("quantity" is incorrect)
I continue to think it is confused to refer to 'that voice' as if there is one voice. Further there are people who can control the voices in their minds. Or really have integrated the positive ones (those that are intrapsychic) and distanced themselves from the toxic ones. And then, there are voices that come from without, and some of these are just peachy. As long as they aren't babbling away.roydop wrote: ↑Mon Feb 27, 2023 3:14 pmI think it would be hilarious for you to show me how it is that 1+1=2.Agent Smith wrote: ↑Mon Feb 27, 2023 9:02 amSo, humanity is headed to jahanam? This has something to do with alleged voices in our heads. Math then, because it's incorrect, proves it! I shouldn't be laughing, but it's so crazy, the idea, right?Iwannaplato wrote: ↑Mon Feb 27, 2023 8:52 am
In responding to his responses I ended up getting this response....
viewtopic.php?p=624980#p624980
So, it's not directly in the OP stuff.
One can't escape causality, you know; I mean only old folks can.
What also is funny is you trying to stop that voice in your head from talking. You can't, can you? Why not? Why don't you have any control over your own mind?
Funny, right?
1+1=2 is conventional. And useful. There are many things we cannot demonstrate to others that are useful.
You can not 'show' us that you have eliminated the voices in your head. You can just claim it's true. Just because you can't demostrate that, doesnt' mean you're lying.
-
- Posts: 6851
- Joined: Tue Aug 11, 2009 10:55 pm
Re: The Meaning of the Number System ("quantity" is incorrect)
I think there is some truth to this, but he doesn't or can't discriminate between voices in his head. He's shut them all out or claims he has.Agent Smith wrote: ↑Mon Feb 27, 2023 9:02 am So, humanity is headed to jahanam? This has something to do with alleged voices in our heads.
Hey, it's interesting, at least. He's more creative than some people out there. Creativity can be a two-edged sword of course.Math then, because it's incorrect, proves it! I shouldn't be laughing, but it's so crazy, the idea, right?
Re: The Meaning of the Number System ("quantity" is incorrect)
Jesus read this thread, and Jesus wept.
Prove to me how 1+1=2 is correct. You are assuming it to be correct and putting the emphasis on me to disprove it. But I have not been convinced that 1+1=2 makes any intuitive sense whatsoever. What does it even mean?
So please do explain to me how 1+1=2, and what truth it is relating to.
1 + 1 = 1 + S(0) = S(0 + 1) = S(1) = 2
[for the pedants, S(0) + S(0) = S(S(0)) = 2, by definition]
I suppose you also need someone to define the number 1 for you. Do you understand what a "natural" or "inductive" number is? Have you ever heard of the Peano/Dedekind axioms? Have you ever considered reading a textbook on mathematics, or googling the question before you post it?
Prove to me how 1+1=2 is correct. You are assuming it to be correct and putting the emphasis on me to disprove it. But I have not been convinced that 1+1=2 makes any intuitive sense whatsoever. What does it even mean?
So please do explain to me how 1+1=2, and what truth it is relating to.
1 + 1 = 1 + S(0) = S(0 + 1) = S(1) = 2
[for the pedants, S(0) + S(0) = S(S(0)) = 2, by definition]
I suppose you also need someone to define the number 1 for you. Do you understand what a "natural" or "inductive" number is? Have you ever heard of the Peano/Dedekind axioms? Have you ever considered reading a textbook on mathematics, or googling the question before you post it?
Re: The Meaning of the Number System ("quantity" is incorrect)
No, I need you to give me intensional definitions for "+", "=" in some sufficiently strong type-system.alan1000 wrote: ↑Wed Mar 01, 2023 1:18 pm Jesus read this thread, and Jesus wept.
Prove to me how 1+1=2 is correct. You are assuming it to be correct and putting the emphasis on me to disprove it. But I have not been convinced that 1+1=2 makes any intuitive sense whatsoever. What does it even mean?
So please do explain to me how 1+1=2, and what truth it is relating to.
1 + 1 = 1 + S(0) = S(0 + 1) = S(1) = 2
[for the pedants, S(0) + S(0) = S(S(0)) = 2, by definition]
I suppose you also need someone to define the number 1 for you. Do you understand what a "natural" or "inductive" number is? Have you ever heard of the Peano/Dedekind axioms? Have you ever considered reading a textbook on mathematics, or googling the question before you post it?
For the sake of consistency I would very much like it if you used prefix notation everywhere.
Here, let me help you...
Here's the Haskell type signatures.
Code: Select all
s :: Int -> Int
s x = undefined
add :: Int -> Int -> Int
add x y = undefined
equal :: Int -> Int -> Bool
equal x y = undefined
e.g such that the following expression
Code: Select all
equal (add (s 0) (s 0)) s(s(0))