Timeline for The one counting challenge to rule them all!
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 16, 2022 at 16:17 | history | edited | Wheat Wizard♦ |
edited tags
|
|
| Jun 30, 2020 at 19:57 | comment | added | Nitrodon |
The five semigroups of order two areand/or, xor/xnor, the null semigroup (constant 0 function), the left zero semigroup (f(x, y) = x), and the right zero semigroup.
|
|
| Jun 26, 2020 at 20:01 | answer | added | Arcahv | timeline score: 6 | |
| Jun 26, 2020 at 10:18 | history | edited | Trebor | CC BY-SA 4.0 |
added 13 characters in body
|
| Jun 26, 2020 at 10:17 | comment | added | ngn | suggested rephrasing: "non-isomorphic models" -> "distinct models up to isomorphism" | |
| Jun 26, 2020 at 7:31 | answer | added | fireflame241 | timeline score: 4 | |
| Jun 26, 2020 at 6:28 | comment | added | Trebor | @fireflame241 fixed. | |
| Jun 26, 2020 at 6:28 | history | edited | Trebor | CC BY-SA 4.0 |
deleted 51 characters in body
|
| Jun 26, 2020 at 6:14 | comment | added | fireflame241 |
The case you worked out about monoids (actually semigroups since the definition has no identity) is off by one: and and nand are not isomorphic: the relabelling swaps both inputs and outputs. The isomorphic function to and is or; the isomorphic function to nand is nor (and(1,1)=1 ←→ or(0,0)=0)
|
|
| Jun 26, 2020 at 3:01 | history | tweeted | twitter.com/StackCodeGolf/status/1276349731933949957 | ||
| Jun 26, 2020 at 2:21 | comment | added | Trebor | @Shaggy Done. Is there any way I can collapse a long paragraph? The examples are several times longer than the problem statement! | |
| Jun 26, 2020 at 2:02 | history | edited | Trebor | CC BY-SA 4.0 |
added 2059 characters in body
|
| Jun 25, 2020 at 22:01 | comment | added | Shaggy | This challenge could definitely benefit from a fully worked example or 2. | |
| Jun 25, 2020 at 16:05 | history | asked | Trebor | CC BY-SA 4.0 |