Puzzle time - algebra edition
-
Jon chimes in to let us know he understands the question.
Right....tell the truth Klaus, u just made up the word bijection.
Sounds filthy to me.
-
@jon-nyc said in Puzzle time - algebra edition:
Do the operator mappings have to be unique?
I'm not sure what you have in mind, but I mean that, for instance, "+" is interpreted as an operation on sets (for the first task) or logical propositions (for the second task). For instance, you could map "+" to "intersection" (that choice would satisfy equations 1 and 2, but it would be hard to make it work for the other equations, too).
-
OK, maybe not the right audience here for this kind of puzzle
Anyway, just for closure, here's a solution:
For sets:
the operator + is set union
· is set intersection
A^B is the set of functions from B to A
1 is any one-element set
0 is the empty set
2 is any two-element setFor logical propositions:
the operator + is disjunction
· is conjunction
A^B is the implication B -> A
1 is logical truth
0 is logical falsity
2 is also logical truth (because 2 = 1 + 1 = true OR true = true )As usual for mathematics, I'll leave the verification of the equations from the original post as an exercise to the reader
.These mappings form the basis the so-called "Curry-Howard correspondence" and, more recently, "homotopy type theory", an influential modern attempt to "reboot" mathematics.
-
OK, maybe not the right audience here for this kind of puzzle
Anyway, just for closure, here's a solution:
For sets:
the operator + is set union
· is set intersection
A^B is the set of functions from B to A
1 is any one-element set
0 is the empty set
2 is any two-element setFor logical propositions:
the operator + is disjunction
· is conjunction
A^B is the implication B -> A
1 is logical truth
0 is logical falsity
2 is also logical truth (because 2 = 1 + 1 = true OR true = true )As usual for mathematics, I'll leave the verification of the equations from the original post as an exercise to the reader
.These mappings form the basis the so-called "Curry-Howard correspondence" and, more recently, "homotopy type theory", an influential modern attempt to "reboot" mathematics.
Hello! It looks like you're interested in this conversation, but you don't have an account yet.
Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.
With your input, this post could be even better 💗
Register Login