One Plus One Equals Two (2006)

1+1=3 (for very large values of 1)

For extreme values 1+1 can be as high as 5.

Thanks for sharing! I like to look at this example inside the debate of if mathematics are invented or discovered.

> That is how Whitehead and Russell did it in 1910. How would we do it today? A relation between S and T is defined as a subset of S × T and is therefore a set.

> A huge amount of other machinery goes away in 2006, because of the unification of relations and sets.

Relations are a very intuitive thing that I think most people would agree that are not the invention of one person. But the language to describe them and manipulate them mathematically is an invention that can have a dramatic effect on the way they are communicated.

And 1x1=2 according to Terrence Howard

Thank you, it's an interesting read, because on my own, without the explanation this will have been over my head.

I know of 7 different ways to do 1+1 getting 5 different answers. I use most of them in my day to day work as a programmer. Most of the time 1+1=10 because as a programmer I work in binary.

1+1=10 if math were invented before fingers.

Also:

١ + ٥ = ٦

The mentioned size and density of Whitehead & Russel's Principia make the few dozen pages of Goedel's On Formally Undecidable Propositions of Principia Mathematica and Related Systems one of the greatest "i ain't reading all that/i'm happy for u tho/or sorry that happened" mathematical shitposts of all time.

That was a lovely read, thank you. I particularly enjoyed the analogy between 'a poorly-written computer program' (i.e. one with a lot of duplication due to inadequate abstraction), and the importance of using the appropriate mathematical machinery to reduce the complexity/length of a proof. It brings the the Curry–Howard isomorphism to mind: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...

Oh, so the λ in lambda calculus was just a poor man's circumflex.

Unrelated, but why doesn't Hacker News have support for latex? And markdown, for that matter?

Gödel had great respect for their work and was considered one of only a few people at the time to have read and understood the work. He wrote an entire paper later in life explaining he wouldn’t have come to his result without Principia because it showed him a base case to work from. Him and Russell would continue to meet and discuss logic well into the 50’s.

I would say 1 + 1 = 4 for very large values of one.

You only need mid values of 1 for 1 + 1 to equal 3

It supports https://news.ycombinator.com/formatdoc

I often use the analogy "1+1=?" in debates with both friends and strangers, especially when discussing subjective topics like politics, religion, and geopolitical conflicts. It's a simple way to highlight how different perspectives can lead to vastly different conclusions.

For instance, I frequently use the example "1+1=10" in binary to illustrate that, while our reasoning may seem fundamentally different, it's simply because we're starting from different premises, using distinct methods, and approaching the same problem from unique angles.

Sure, but that's it's own not-quite-markdown thing, which is extra annoying because it's just close enough that people think it is markdown and do things like writing code blocks with ```. IMHO it'd be much better to just actually do markdown, or at least a strict subset.

> Most of the time 1+1=10 because as a programmer I work in binary.

Really low level embedded work? Most programming I know about effectively works in base 10 or sometimes hex.

It's between 0 and 10, and can be approximated by either depending on the context...

Actually, it is a metaphor for formulating a brand new branch of mathematics that fixes the identity principle and all the problems with the square root of two. But also, it is not a metaphor because show me any physical system where an action times an action does not equal a reaction.