https://groups.google.com/d/forum/sci.mathsci.mathMathematical discussions and pursuits.Google GroupsVictor Porton2016-07-23T12:47:28Zhttps://groups.google.com/d/topic/sci.math/dbL0Lt5aDjUEquivalent terms in a math writingTaras Banakh defines normal quasi-uniform spaces on a given topology (the exact definition is not important here). From a Taras Banakh article: "A topological space X is called normally quasi-uniformizable if the topology of X is generated by a normal quasi-uniformity." I also define normalWM2016-07-23T11:59:59Zhttps://groups.google.com/d/topic/sci.math/RvhgqN3SzB4Statements of Matheologians"Anonymous elements (even in countable models, where they could be labeled in principle, but just don't happen to be in practice) are absolutely key to all kinds of results in this field". [George Greene] "If all nodes of a path have been deleted, that does not mean you ever deleted theVictor Porton2016-07-23T11:51:16Zhttps://groups.google.com/d/topic/sci.math/WGDF_L-PBawEnglish terms (general topology)uniformity -> uniformizable proximity -> proximizable? or proximitizable? -- Victor Porton - http://portonvictor.orgPaul2016-07-23T10:30:29Zhttps://groups.google.com/d/topic/sci.math/v2rIiaWvtrsWriting a sudoku solver that solves by linear programmingThere are a few references discussing how sudoku can be solved by linear programming. I would like to code this, but I also want to implement the linear programming part from scratch, rather than calling (for example) a matlab function. Here are two references I could use: http://langvillea.pJohn Gabriel2016-07-23T07:50:04Zhttps://groups.google.com/d/topic/sci.math/mS2EHqWOEaYThe 5 claims.Euclid meant to write this in Book 1, Def 4: A straight line is a line which lies evenly with ALL the points on any other line with the same length. The Ancient Greeks were unbelievably smart. The implication of the original statement implies that the lines discussed must be of *equal length*.Ross A. Finlayson2016-07-23T04:10:27Zhttps://groups.google.com/d/topic/sci.math/EhpvWIhoSFMOn simple roots of the origin and continuousOn simple roots of the origin and continuous One might have that there's only one numerical continuum, because there's an origin. The origin is everywhere. It is from simple logical (and purely logical) constructs in this manner that such rich features of foundations as a mathematicalRoss A. Finlayson2016-07-23T04:06:02Zhttps://groups.google.com/d/topic/sci.math/_znvaFqIGUcOn some quote from R. von Mises on roots of probability theory (1957)On some quote from R. von Mises on roots of probability theory (1957) "(1) Starting with the notion of a collective and the definition of probability as a limiting value of relative frequency, all the Laws of Large Numbers have a clear and unambiguous meaning free from contradictions. Each oftorleif hansson2016-07-22T20:27:02Zhttps://groups.google.com/d/topic/sci.math/ndrOdHaS0C0diff equation for a string on guitary" + k1 y´ + k2 y + k3 sin(k4 * sin(k5 y))= 0 all k`s is g l1 l2 m perhaps runge kutta inside numbercruncher can dot for specifick`sVictor Porton2016-07-22T19:09:03Zhttps://groups.google.com/d/topic/sci.math/g51Sl1T1UJYThe virtual math conferenceI have just created a new wiki Web site, which is a virtual math conference, just like a real math meeting but running all the time (not say once per two years). https://conference.portonvictor.org Please spread the word that we have a new kind of math conference. Please post references toEd Prochak2016-07-22T18:18:10Zhttps://groups.google.com/d/topic/sci.math/lmbORBRrDsAThe passing of a friend: Jasek FabrykowskiSome here may be interested to know this. I knew Jasek. He was a dear friend. It might serve us all to tone down the harsh words and be more congenial to each other, even when we disagree. DR. JACEK FABRYKOWSKI at the age of 66, passed away peacefully on July 12, 2016 in Cleveland, Ohio.Victor Porton2016-07-22T16:33:56Zhttps://groups.google.com/d/topic/sci.math/8SPV11FiGwQWhere mathematicians meet in Internet?For math question there is math.SE and MathOverflow. But that about just posting things related to math for the community to see? sci.math isn't good enough. Let us "invent" math meetings in the Internet. What properties math meeting should have? We need to know it to build the system. --Jim Burns2016-07-22T13:51:18Zhttps://groups.google.com/d/topic/sci.math/5rLhZH7PZcEDo models of the Peano axioms have Buddha-nature?---- Do models of the Peano axioms have Buddha-nature? Mu. ---- I have not studied Buddhism, but I have come into contact with some of its ideas. (At least that much is probably unavoidable, given its place in our world's culture.) There is a minor controversy that has been under discussionquasi2016-07-22T03:17:25Zhttps://groups.google.com/d/topic/sci.math/juJuhUPnf_crational points on the standard unit circleFix a positive integer n. Let S be the set of rational points (x,y) on the standard unit circle such that the least positive integer common denominator of x,y is at most n. For p in S, let g(p) be the square of the distance from p to its nearest counterclockwise neighbor in S. Conjecture:Simon Roberts2016-07-21T21:23:05Zhttps://groups.google.com/d/topic/sci.math/vOMvzptyrlEI think Riemann was a joker.Which pairs of functions, f and g, satisfy the equation, f(t) = g(c - t)f(c - t) where t is a complex variable and c is a constant? Does f(t=s) = 1 + 1/2^s + 1/3^s + 1/4^s + ... and (c=1) g(1 - s) = 2 * [cos[pi*(1-s)/2]]Gamma(1-s)]/(2*pi)^(1-s)] satisfy the equation? If so, does f(s)Virgil2016-07-21T18:22:23Zhttps://groups.google.com/d/topic/sci.math/IWON4Gb9ku0|N and PAThe naturally ordered set of natural numbers, (|N,<), satisfies the Peano axioms, but is not the only ordered set to do so. Any and every set that is order-isomorphic to that (|N,<) also satisfies the Peano axioms. -- Virgil "Mit der Dummheit kampfen Gotter selbst vergebens." (Schiller)