!kxiiuYqTchJhKZrnZS:matrix.org

Propriety

7 Members
Ability to extract meaning and obligation to do so.3 Servers

Load older messages


SenderMessageTime
13 Nov 2020
@vivit-r:ma.neko.barVIVITThe etymology of "iff" is as a contraction of "if and only if". It's used to express logical equivalence: "A number is prime iff it is a natural number with two and only two distinct natural number factors."21:10:40
@vivit-r:ma.neko.barVIVIT If you said "A number is prime if it is a natural number with two and only two distinct natural-number factors", then that would imply that it's possible for there to be a prime number with more than two natural-number factors. 21:14:04
@vivit-r:ma.neko.barVIVITYou said, "All numbers that are this way are prime." You didn't say, "All prime numbers are this way."21:14:49
@eaterjolly:matrix.orgCur_固嚛訥Cringe if that happens.21:15:28
@eaterjolly:matrix.orgCur_固嚛訥Mark Twain's terrible prophesy.21:15:52
@eaterjolly:matrix.orgCur_固嚛訥Per chance, do you want experiment and challenge the prose of my word "ob" more?21:17:56
@eaterjolly:matrix.orgCur_固嚛訥 * Per chance, do you want t experiment and challenge the prose of my word "ob" more?21:18:31
@eaterjolly:matrix.orgCur_固嚛訥 * Per chance, do you want to experiment and challenge the prose of my word "ob" more?21:18:37
@eaterjolly:matrix.orgCur_固嚛訥Otherwise, I do want to elaborate my theories regarding primordial Siberia.21:20:03
@vivit-r:ma.neko.barVIVIT And if you said "A number is prime only if it is a natural number with two and only two distinct natural-number factors," then that would imply that there might be numbers that have exactly two natural-number factors, but aren't prime. You said "All prime numbers are this way," but never not, "Only prime numbers are this way." 21:20:21
@vivit-r:ma.neko.barVIVIT * And if you said "A number is prime only if it is a natural number with two and only two distinct natural-number factors," then that would imply that there might be numbers that have exactly two natural-number factors, but aren't prime. You said "All prime numbers are this way," but not, "Only prime numbers are this way." 21:20:29
@vivit-r:ma.neko.barVIVITThe only way for you to express both is to use the phrase "if and only if", or its contraction, "iff".21:20:49
@eaterjolly:matrix.orgCur_固嚛訥Though that might appear like a typo, the message would come quite clear in verbal communication. 21:23:27
@eaterjolly:matrix.orgCur_固嚛訥Why is seven the loneliest number?21:28:45
@eaterjolly:matrix.orgCur_固嚛訥Interrupt me if you want to make a guess. 21:29:18
@eaterjolly:matrix.orgCur_固嚛訥Seven turns out the loneliest number, because if you organize the numbers from one to ten where each group factors into the same prime numbers seven will always be the number which makes one group different from the other.21:32:56
@eaterjolly:matrix.orgCur_固嚛訥Redacted or Malformed Event21:35:51
@eaterjolly:matrix.orgCur_固嚛訥Group: 6 3 8 5 Group: 9 4 2 1021:42:19
@eaterjolly:matrix.orgCur_固嚛訥 * What makes seven the loneliest number?21:45:45
@vivit-r:ma.neko.barVIVITHold on, what?21:53:36
@vivit-r:ma.neko.barVIVITSeven is the loneliest number because if you orgaize the natural numbers from 1 to 10 into set such that... what next?21:56:35
@vivit-r:ma.neko.barVIVITWhat is true of each set?21:56:41
@vivit-r:ma.neko.barVIVITWhat do you mean by "each group factors into the same prime numbers"?22:01:41
@vivit-r:ma.neko.barVIVITDo you mean "for each set there exists some prime number of which all members of that set are a multiple"?22:03:10
@eaterjolly:matrix.orgCur_固嚛訥they collectively factor into the same set of primes.22:04:32
@eaterjolly:matrix.orgCur_固嚛訥{2, 2, 2, 3, 3, 5}22:04:59
@vivit-r:ma.neko.barVIVITYou can't factor into a set.22:05:00
@vivit-r:ma.neko.barVIVIT You can factor into each member of a set, but not into the set itself. 22:05:13
@vivit-r:ma.neko.barVIVITAlso you can't factor into a prime (unless you are either 1 or that prime).22:05:53
@eaterjolly:matrix.orgCur_固嚛訥No, you factor into primes. Every number is merely a representation of its prime factors. 22:06:40

Show newer messages


Back to Room ListRoom Version: 1