https://groups.google.com/d/forum/sci.mathsci.mathMathematical discussions and pursuits.Google GroupsNewberry2015-06-02T13:29:48Zhttps://groups.google.com/d/topic/sci.math/r16Djt-71F4Re: Halting problem - another threadf(x) >>>>>> = 0, undefined if f(x) = 1; f(x) being the characteristic function of >>>>>> some partial function phi_x(x). >>>>> >>>>> No, not in the proof I sketched to which you raised no objection. In >>>>> it, you have to believe in a similar g only when phi_x is a total >>>>> computable fFredJeffries2015-06-02T13:16:02Zhttps://groups.google.com/d/topic/sci.math/nMrFp4wAVUkRe: Generalizations of categorieshttp://math.stackexchange.com/questions/279831/categories-of-n-ary-relationsJustin Thyme2015-06-02T12:49:20Zhttps://groups.google.com/d/topic/sci.math/nMrFp4wAVUkRe: Generalizations of categoriesof >>> the category Rel). >>> >>> What are n-ary relations? >> >> R is an n-ary relation of a set S when R subset S^n. >> A morphism from R1 to R1 is a map (or morphism) f:S1 -> S2 >> with for all s1,s2,.. s^n in N, >> (s1,s2,.. s_n) in R1 implies (f(s1),f(s2),.. f(s_n)) in R2. > > I don'tWM2015-06-02T12:21:41Zhttps://groups.google.com/d/topic/sci.math/dj3VIXVoVHERe: About potential and actual infinity in actual set theory.No. Space cannot be measured by points - even if a scholar (whose name does not matter because you will not know him) said so. > > infinitely many rational numbers remain without index. > > If so, only because the indexer was incompetent. Yes, if complete infinity is a meaningful notion, thenVictor Porton2015-06-02T11:58:03Zhttps://groups.google.com/d/topic/sci.math/nMrFp4wAVUkRe: Generalizations of categoriesWilliam Elliot wrote: > On Mon, 1 Jun 2015, Victor Porton wrote: > >> Binary relations are a category (strictly speaking, them are morphisms of >> the category Rel). >> >> What are n-ary relations? > > R is an n-ary relation of a set S when R subset S^n. > A morphism from R1 to R1 is a matimmy17292015-06-02T11:15:24Zhttps://groups.google.com/d/topic/sci.math/iSeAkNqf4Y0Prime PatternsSo (5,7),(11,13),(17,19),(29,31). Notice this equals all solutions mod 30 apart from 5. This is because 30 = 5*3*2. 5 is the next prime after number 4 and 2,3 are the primes < 4. Regards Tommy1729Ben Bacarisse2015-06-02T10:43:24Zhttps://groups.google.com/d/topic/sci.math/r16Djt-71F4Re: Halting problem - another thread"X.Y. Newberry" <newbe...@gmail.com> writes: > Ben Bacarisse wrote: >> "X.Y. Newberry" <newbe...@gmail.com> writes: >> >>> Ben Bacarisse wrote: >>>> "X.Y. Newberry" <newbe...@gmail.com> writes: >>>> >>>>> Ben Bacarisse wrote: >>>>>> "X.Y. Newberry" <newbe...@gmail.com> writes: >>>>>> <snipGary Ho2015-06-02T10:22:22Zhttps://groups.google.com/d/topic/sci.math/dj3VIXVoVHERe: About potential and actual infinity in actual set theory.indeed, is a hot one 137 years ago (in 1874). > > Finitism is a logically consistent theory of mathematics. WM's ideas are self-contradictory and virtually incoherent. > > > http://en.wikipedia.org/wiki/Hilbert%27s_program - "GĂ¶del's incompleteness theorems, published in 1931, ... refuted Hilquasi2015-06-02T08:52:50Zhttps://groups.google.com/d/topic/sci.math/4yqJgCowbe8Re: Condition on greatest common divisor and least common multipleNow it's clear. Looks good. quasiPentcho Valev2015-06-02T08:48:56Zhttps://groups.google.com/d/topic/sci.math/7nX0BYuihy8HERBERT DINGLE'S DILEMMAhttp://worldnpa.org/abstracts/abstracts_215.pdf Herbert Dingle: "Either there is an absolute standard of rest - call it the ether as with Maxwell, or the universe as with Mach, or absolute space as with Newton, or what you will or else all motion, including that with the speed of light, is relaWilliam Elliot2015-06-02T07:39:18Zhttps://groups.google.com/d/topic/sci.math/4yqJgCowbe8Re: Condition on greatest common divisor and least common multipleAssume abc = (a,b,c) [a,b,c]. Thus: > >abc = ((a,b),c)) [[a,b],c] > > = ((a,b),c) [a,b]c / ([a,b],c) > > = ((a,b),c) abc / (a,b)([a,b],c) > > > >((a,b),c) = (a,b)([a,b],c) > > > >(a,b) | ((a,b),c); (a,b) | c > >((a,b),c) = (a,b)(1,c/(a,b)) = (a,b) > > > >(a,b) = (a,b)([a,b],c) >Archimedes Plutonium2015-06-02T06:32:51Zhttps://groups.google.com/d/topic/sci.math/A68yrHIX7JUexistence angle-measure related to Calculus existenceThe nonexistence of a curved angle because there is no way to measure the angle if either one of the rays is not a straightline segment at the vertex, reminds me a lot about the Calculus. That the area for integral with the limit concept becomes area of rectangles whose side is a single point anArchimedes Plutonium2015-06-02T06:17:40Zhttps://groups.google.com/d/topic/sci.math/YWwOHBBPnGkironing out kinks in the decimal-fraction representation Re: when to tack on the (1/7) in decimal-fraction of 1/7Value we have a repeating of the block of digits 142857 and so we include in the 10^-604 Place Value the fraction (1/7) Now I doubt that anyone has made a study of the number of digits in a Rational fraction repeating block. So that 1/2 has 1 digit before all 0s, and 1/3 is entirely 3s digits uquasi2015-06-02T06:00:04Zhttps://groups.google.com/d/topic/sci.math/4yqJgCowbe8Re: Condition on greatest common divisor and least common multipleIt's not clear what your argument above proves. Were you trying to prove the forward implication (=>), the reverse implication (<=), or the biconditional (<=>)? What was your assumed hypothesis? quasiJohn Gabriel2015-06-02T05:58:56Zhttps://groups.google.com/d/topic/sci.math/mkBHdprbdacRe: No unique radix representation for pi.any > >> > other magnitude. > >> > >> Again, how do you know that? How did you prove it? > > > > That's not relevant to the OP. > > The fact that you feel free to make this sort of assertion > but you never give any evidence on request is very relevant > to the question of whether anyone s