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.
