Timeline for In what sense is GCD an extension of boolean OR?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Dec 6, 2016 at 23:42 | comment | added | Timothy Chow | @Jonah : Forcing in set theory employs partially ordered sets whose elements could be thought of as "degrees of truth" but I am not aware of applications of forcing that use the partial ordering of nonnegative integers by divisibility. | |
| Dec 6, 2016 at 16:09 | comment | added | Bjørn Kjos-Hanssen | @Jonah I kind of doubt anyone would use it that way except as an example | |
| Dec 6, 2016 at 14:07 | comment | added | Jonah | Great answer. Is the idea of degrees of truth and factors as evidence of falsehood used in any formal theory you know of -- perhaps fuzzy logic or something related? | |
| Dec 6, 2016 at 7:15 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |