Re: The Meaning of the Number System ("quantity" is incorrect)
Posted: Mon Feb 27, 2023 3:43 am
I'm trying to find out.
For the discussion of all things philosophical, especially articles in the magazine Philosophy Now.
https://forum.philosophynow.org/
I'm trying to find out.
Assumptions made by the OP, what can they be?
In responding to his responses I ended up getting this response....
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.
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.
Would you accept a proof written in the Agda proof assistant?
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?
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?
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?
Here, let me help you...
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
Code: Select all
equal (add (s 0) (s 0)) s(s(0))