Nah not anymore, now you spend a day or so building some convoluted excel calculator once so that you never need to do the calcs again.
Then, 3 years later when you go to add or change something in that calculator, you have absolutely no idea how it works and decide the change wasn't that important anyway.
+ is a map from N×N to N where a + 0 = a and a + S(b) = S(a + b) (S is the successor function that gives the next number).
Then 1 + 1 = 1 + S(0) = S(1 + 0) = S(1) = 2.
No, it's correct. You define the operation by it's properties. It's not saying that "a plus 0 = a" but "the result of applying the binary operation '+' to any number with 0 should give the original number."
is just a symbol. You could instead write it as +(a,0)=a and +(a,S(b))=S(+(a,b)).
You have to have previously defined 1=S(0), 2=S(1), 3=S(2), and so on.
I really recommend the YouTube channel "Another Roof". His first few videos were building up exactly this idea, as well as building up all the real numbers (possibly complex too if I'm remembering correctly). Sounds like a dry topic but he uses humour really well throughout. https://youtube.com/@anotherroof
52 Comments
Argurotoxus@lemmy.world · 54 pts · 2y
Engineer: 2, but 3 to be safe.
Belgdore@lemm.ee · 26 pts · 2y
The budget is for 1.5, make it work.
marcos@lemmy.world · 17 pts · 2y
Oh, hi Boeing Manager.
wewbull@feddit.uk · 9 pts · 2y
Was going to say: 2ish
sik0fewl@lemmy.ca · 13 pts · 2y
Wouldn't they just look up the answer in a table?
Argurotoxus@lemmy.world · 9 pts · 2y
Nah not anymore, now you spend a day or so building some convoluted excel calculator once so that you never need to do the calcs again.
Then, 3 years later when you go to add or change something in that calculator, you have absolutely no idea how it works and decide the change wasn't that important anyway.
parpol@programming.dev · 51 pts · 2y
perviouslyiner@lemmy.world · 43 pts · 2y
programmer: "11"
Tolookah@discuss.tchncs.de · 22 pts · 2y
It's not 10?
Also, oh God, I got yours as I was typing.
perviouslyiner@lemmy.world · 22 pts · 2y
confluence of base-2 jokes and javascript jokes...
Tolookah@discuss.tchncs.de · 7 pts · 2y
could have been worse, I could have said `
prime_number_314159@lemmy.world · 4 pts · 2y
Am I misunderstanding? '1' + '1', 49+49 = 'b'
Tolookah@discuss.tchncs.de · 2 pts · 2y
I can't math.
parpol@programming.dev · 8 pts · 2y
robocall@lemmy.world · 3 pts · 2y
Onety one
GlennMagusHarvey@mander.xyz · 3 pts · 2y
concat: "11"
cat: ignores your inquiry
LordCrom@lemmy.world · 2 pts · 2y
No that's "1" + "1"
Sparky@lemmy.blahaj.zone · 3 pts · 2y
True
Zink@programming.dev · 2 pts · 2y
Looks Good To Me!
einlander@lemmy.world · 30 pts · 2y
1+1=3 in cases of large 1's
FiskFisk33@startrek.website · 26 pts · 2y
ok, I define 1 as {∅} and 2 as {∅, {∅}}
proving the addition holds is slightly more complicated
Wilzax@lemmy.world · 12 pts · 2y
Now define "+"
FiskFisk33@startrek.website · 32 pts · 2y
I love the comment that it's "occasionally useful"
Wilzax@lemmy.world · 15 pts · 2y
Hmm yes.. set theory... I don't understand anything happening here
FiskFisk33@startrek.website · 12 pts · 2y
There is actually a really good explanation for us math-curious non-mathematicians here:
https://blog.plover.com/math/PM.html
MaliciousKebab@sh.itjust.works · 3 pts · 2y
That's some good read, thank you so much.
MBM@lemmings.world · 8 pts · 2y
+is a map fromN×NtoNwherea + 0 = aanda + S(b) = S(a + b)(Sis the successor function that gives the next number).Then
1 + 1 = 1 + S(0) = S(1 + 0) = S(1) = 2.funkless_eck@sh.itjust.works · 4 pts · 2y
seems a little sus to use + to define +
apolo399@lemmy.world · 9 pts · 2y
No, it's correct. You define the operation by it's properties. It's not saying that "a plus 0 = a" but "the result of applying the binary operation '+' to any number with 0 should give the original number."
You have to have previously defined 1=S(0), 2=S(1), 3=S(2), and so on.
Wilzax@lemmy.world · 1 pts · 2y
porl@lemmy.world · 4 pts · 2y
I really recommend the YouTube channel "Another Roof". His first few videos were building up exactly this idea, as well as building up all the real numbers (possibly complex too if I'm remembering correctly). Sounds like a dry topic but he uses humour really well throughout. https://youtube.com/@anotherroof
Here is a playlist of the topic: https://youtube.com/playlist?list=PLsdeQ7TnWVm_EQG1rmb34ZBYe5ohrkL3t
FiskFisk33@startrek.website · 2 pts · 2y
ooh, that looks interesting!
callyral@pawb.social · 24 pts · 2y
1 + 1 is not equal to a question mark.
Kolanaki@yiffit.net · 5 pts · 2y
What did 1 minus 1 equal before zero was invented? 🤔
marcos@lemmy.world · 6 pts · 2y
Yeah, define "zero".
The one invented on India at around the Middle Age is a different one. The one you are asking about is very old.
RBWells@lemmy.world · 18 pts · 2y
You forgot accountant
"What do you need it to be?"
TonyTonyChopper@mander.xyz · 4 pts · 2y
We need to report negative earnings so we don't have to pay taxes obviously
MonkderVierte@lemmy.ml · 17 pts · 2y
Computer Scientist: 10
Contravariant@lemmy.world · 3 pts · 2y
O(1)
iAmTheTot@sh.itjust.works · 15 pts · 2y
1 + 1 = 2 * 0.999...
wreckedcarzz@lemmy.world · 10 pts · 2y
Error, float detected when int expected
hexabs@lemmy.world · 15 pts · 2y
I'm surprised the 6 year old knows factorials.
Buddahriffic@lemmy.world · 4 pts · 2y
Not only that, it is mathematically correct, at least given the usual definitions of 1, 2, +, and !
WhiskyTangoFoxtrot@lemmy.world · 13 pts · 2y
You can't put an expression on the left-hand-side of the assignment operator.
marcos@lemmy.world · 4 pts · 2y
You need more expressive languages.
Kolrami@lemmy.world · 9 pts · 2y
Computer Scientist: 0 and a carry bit
Mathematician: S(1)
BlackLaZoR@kbin.run · 8 pts · 2y
Quantum physicist: Whats the uncertainty?!
Aarrodri@lemmy.world · 7 pts · 2y
Terrence Howard : 2 !! Also 1x1=2 !!
ChowJeeBai@lemmy.world · 3 pts · 2y
How would a two year old know factorials?
NoLifeGaming@lemmy.world · 3 pts · 2y
Math isn't induction. Its deductive logic.
EleventhHour@lemmy.world · 2 pts · 2y
Appliance salesperson: oven + pan = hamburger
Artyom@lemm.ee · 1 pts · 2y
I appreciate the latex-style quotes around the mathematician's 1
youngalfred@lemm.ee · 1 pts · 2y
What's great is the kid is correct even with the factorial
pewgar_seemsimandroid@lemmy.blahaj.zone · 1 pts · 2y
new captha alert 1 + 1 = 2 to enter
ImpressiveEssay@lemmy.world · -2 pts · 2y
How old this be inductive reasoning?
Surely the philosopher is the one looking for definitions..