## Maggie's FarmWe are a commune of inquiring, skeptical, politically centrist, capitalist, anglophile, traditionalist New England Yankee humans, humanoids, and animals with many interests beyond and above politics. Each of us has had a high-school education (or GED), but all had ADD so didn't pay attention very well, especially the dogs. Each one of us does "try my best to be just like I am," and none of us enjoys working for others, including for Maggie, from whom we receive neither a nickel nor a dime. Freedom from nags, cranks, government, do-gooders, control-freaks and idiots is all that we ask for. |

## Our Recent Essays Behind the Front Page- How to Honor Labor Day, Every Day
- Good intro to fly casting
- Peach update, with pie
- NYC update
- Easy for you to say: To the elites on mass immigration
- For NYC on 9/11, Sailors' Snug Harbor
- Pickled Peaches
- Water Shoes
- Labor Costs in U.S.
- Your "identity"
- Good news about The Great Courses
- Bug of the Week: Crickets chirping
- Uses of Hot Pepper Jelly/Sauce, Chutneys, and Jams
- A Saturday Drive to Litchfield County, CT
- How to Pick a Kayak
- Civilized: Fruit forks and knives
- Loads of kayaking on Cape Cod
- Psychology Experiments' Questionable Results
- A Conservative urban agenda
- One thing I saw on Father's Day
## Categories- Advice and Tips for Commenters
- Best Essays of the Year
- Dr. Mercury's Computer Corner
- Education
- Fallacies and Logic
- Food and Drink
- Gardens, Plants, etc.
- History
- Hot News & Misc. Short Subjects
- Hunting, Fishing, Dogs, Guns, etc.
- Medical
- Music
- Natural History and Conservation
- Our Essays
- Physical Fitness
- Politics
- Psychology, and Dr. Bliss
- Quotidian Quotable Quote (QQQ)
- Religion
- Saturday Verse
- The Culture, "Culture," Pop Culture and Recreation
- The Song and Dance Man
- Travelogues and Travel Ideas
## Quicksearch## Links- And Other Countries
- Anglosphere
- Dylan Sites
- Eclectic
- Acculturated
- Aeon Magazine
- Aleteia
- Althouse
- American Digest
- American Scholar
- American Spectator
- Assistant Village Idiot
- Atlantic cities
- Audubon Magazine
- Big Think
- Bon Appetit
- Brain Pickings
- Coyote Blog
- Dr. Mercury
- Ephemeral New York
- Forgotten New York
- Fred On Everything
- Free Range Kids
- Front Porch Republic
- Gardening Know-How
- Genesius Times
- Heat Street
- House of Eratosthenes
- Hunter-Angler-Gardener-Cook
- Instapundit
- Intellectual Takeout
- Jungle Trader
- Let Grow
- Livestrong
- Matt Walsh
- Mental Floss
- My Daily Art Display
- New Urbs
- Old Urbanist
- Overcoming Bias
- Quillette
- Return of Kings
- Scott Adams
- Shorpy
- Sippican Cottage
- Spectator USA
- Sporting Classics Daily
- Synthstuff
- Taki's Magazine
- TED
- The Art of Manliness
- The Atlantic
- The Babylon Bee
- The Babylon Bee
- The Borderline Sociopathic Blog for Boys
- The Daily Prep
- The Great Books (NR)
- The History Blog
- The Millions
- The Smart Set
- The Z Blog
- Town & Country
- URBANOPHILE
- Walter Russell Mead
- Watts Up With That?
- West Hunter
- Woodpile Report
- Economics and Economy
- Barrons
- Business Insider
- Businesspundit
- Cafe Hayek
- Calculated Risk
- Captain Capitalism
- Carpe Diem
- Consumerism Commentary
- e21
- Econlog
- Environmental Economics
- Greg Mankiw
- Keith Hennessey
- Library of Economics and Liberty
- Ludwig van Mises Institute
- Marginal Revolution
- Megan McArdle
- MSM Money
- Q and O
- Real Clear Markets
- Supply and Demand
- Zero Hedge
- Education
- Funny Pages
- Gardening
- Legal
- Media Watchers
- Medical
- Mostly Political
- Ace of Spades
- American Conservative
- American Future
- American Power
- American Spectator
- American Spectator
- Arnold Kling's blog
- Belmont Club
- Bernard Goldberg
- Betsy's Page
- Big Government
- Black and Right
- Bookworm Room
- Cato at Liberty
- Chicago Boyz
- Conservatism Today
- Daily Pundit
- DC Trawler
- Democracy
- Dinocrat
- Don Surber
- Doug Ross Journal
- Dumb Still Looks Free
- Ed Driscoll
- Environmental Republican
- Fausta
- Flopping Aces
- Future of Capitalism
- Gates of Vienna
- Gateway Pundit
- Gay Patriot
- George Reisman
- Greenfield, The Point
- Hit and Run - Reason
- Hot Air
- Hugh Hewitt
- Infowars
- Just One Minute
- Kausfiles
- Manhattan Contrararian
- Mark Steyn
- Michelle Malkin
- Moonbattery
- National Review
- neo-neocon
- Never Yet Melted
- Nice Deb
- Notes On Liberty
- P J Tatler
- Power Line
- Protein Wisdom
- Redstate
- Ricochet
- Roger L. Simon
- Scott Adams
- Sister Toldjah
- Sultan Knish
- The Iconoclast
- The Other McCain
- The Pirate's Cove
- Truth Revolt
- VDH's Private Papers
- Viking Pundit
- Virginia Freemen
- Washington Rebel
- Weasel Zippers
- Western Rifle Shooters
- WILLisms
- Preachers
- Science
- American Scientist
- BBC Science
- Climate Skeptic
- Global Warming Policy Foundation
- Icecap
- Junk Science
- Live Science
- Live Science
- Message to Eagle
- Nature
- Nature
- Neurologica
- Neurophiliosophy
- Neurophilosophy
- New Scientist
- Popular Science
- Real Clear Science
- Real Science
- Science Blogs
- Science Daily
- Science Direct
- Shrinks
- The News, and Opinions
- Am Spectator News
- American Conservative
- American Conservative
- American Spectator
- American Spectator
- American Thinker
- American.com
- Arts and Letters Daily
- Bloomberg View
- Boston Review
- Christian Science Monitor
- City Journal
- CNS News
- Commentary
- Conservative Grapevine
- Contentions
- CrossCurrents Magazine
- Daily Caller
- Daily Signal
- Daily Wire
- Defining Ideas
- Dennis Prager
- Drudge
- Federalist Papers
- FEE
- First Principles
- FORA TV
- Foreign Policy
- FOX News
- Front Page Magazine
- Gatestone
- Gatestone Institute
- Human Events
- IBD Editorials
- Intelligent Life
- Krauthammer
- Lucianne
- Marvin Olasky
- Memeorandum
- National Affairs
- National Journal
- National Review
- National Review
- New English Review
- New York Sun
- NewsMax
- NY Post
- Pacific Standard
- Pajamas Media
- Patriot Post
- Politico
- Quartz
- Real Clear Policy
- Real Clear Politics
- Real Clear World
- Reason
- Roger's Rules
- Salon
- Smithsonian Magazine
- Standpoint
- Steyn Online
- TCS Daily
- The American Scholar
- The American Spectator
- The Cato Institute
- The Claremont Institute
- The Corner at NR
- The Corner at NRO
- The Economist
- The Economist
- The Examiner
- The Examiner, Opinion
- The Federalist
- The Federalist
- The Federalist
- The Hill
- The Independent
- The New Atlantis
- The New Criterion
- The New Criterion
- The New York Sun
- The Patriot Post
- The Unz Review
- The Washington Examiner
- The Washington Times
- The Week
- The Weekly Standard
- The Weekly Standard
- The Wilson Quarterly
- Thomas Sowell
- Town Hall
- Town Hall
- Town Hall Blog
- Truth Revolt
- Washington Examiner
- Washington Free Beacon
- Washington Free Beacon
- Washington Times
- Washington Times
- Weekly Standard
- Weekly Standard
- Works and Days (VDH)
## Blog Administration |
## Sunday, August 25. 2019## A book: Absolutely Elementary Mathematics
Things our teachers never told us, and maybe never understood. What is zero? Is it a number? Trackbacks
Trackback specific URI for this entry
No Trackbacks
Comments
Display comments as
(Linear | Threaded)
I can recommend another book, too. It's called "The Man Who Loved Only Numbers." It's an interesting book because it contends that most of Einstein's work was not original. His theories were more of a comprehensive review of what had been done before. So why do they make such a big deal out of Einstein? Because he was a Patent Agent. You see, by promoting Einstein as a "Genius" (He was, in fact, really good at math. But in almost every other area, he was a complete moron) they are trying to imply that Patent Agents in general are geniuses. After all, Patents are "Real." And Patent Agents are "Smart". So the Patents are "Valid"! It's kind of a screwy proposition, but what the hell.
Like I said, Einstein was a moron. And he was also a communist. But he served his propaganda purpose. He created the impression that Patent Agents are good people. So the more patents that he issued for his employer, the Patent Office, the better society will become. But we all know that's not true. There are millions of invalid patents on the books. In fact, we might have to cancel all of them. Personally, I do not believe that any type of process patent is valid. Software patents, algorithm patents, business method patents, DNA patents, flavor patents; these are all nonsense. And let me tell you something: There are thousands of transactional analysis patents that claim to "own" permutations of up-strokes and down-strokes. Conversations have been patented. And those people will come after you for illegally telling your wife that you love her. That costs fifty cents. I have never heard a whisper of an argument that anyone wanted to plump up how important patent agents are and so made an all-star out of Einstein. It seems a singularly ineffective conspiracy, that resulted in all physicists thinking that Einstein is pretty smart, both in his day and unto his posterity, but no one elevating patent agents to the level of general genius.
I had a math professor, and he was likely quoting someone else, who made the statement along the lines of "there are only three things you needed to understand if you want to understand math: zero, one, and infinity. I think I have a handle on one, and a pretty good understanding of infinity, but I'm not sure anyone really has a full understanding of zero."
For instance, there is a quantity A for which A+X=X for all values of X. There is a quantity B for which B*X=B for all values of B. What is it about the universe that makes A not only equal B, but be indistinguishable from it? typo in above."For instance, there is a quantity A for which A+X=X for all values of X. There is a quantity B for which B*X=B for all values of B. What is it about the universe that makes A not only equal B, but be indistinguishable from it?" should read
For instance, there is a quantity A for which A+X=X for all values of X. There is a quantity B for which B*X=B for all values of X. What is it about the universe that makes A not only equal B, but be indistinguishable from it? Another Guy Named Dan: For instance, there is a quantity A for which A+X=X for all values of X. There is a quantity B for which B*X=B for all values of X. What is it about the universe that makes A not only equal B, but be indistinguishable from it?
It's not a property of the universe, but a consequence of the axioms of ordinary arithmetic (Peano postulates). Math is but another human language used to describe the Universe. It is not a property of the Universe but only a Map of the known Universe.
That's just an acknowledgement that we don't understand it. "Axiomatic" is more or less just a way of saying "we don't understand it, but unless it's true, we don't understand anything else."
Look at Euclid's axioms. For over 2000 years people tried to prove the parallel postulate (given a plane containing a line and a point not on the line, there is only one lone in the plane passing through the given point that is parallel to the given line) in terms of the other axioms. It wasn't until the 1800s that a few people decided to throw it away and see what happens. It turned out that these non-Euclidian geometries were necessary to describe the universe in terms of General Relativity. The fact that the same quantity shows up in what should be irreducible statements is the mystery. Another Guy Named Dan: That's just an acknowledgement that we don't understand it.
Postulates are just shared assumptions. People can accept or reject the assumptions, but given the assumptions, certain theorems follow. Another Guy Named Dan: "Axiomatic" is more or less just a way of saying "we don't understand it, but unless it's true, we don't understand anything else." If that were true, then there would only be one form of arithmetic and one form of geometry. But that's not the case. We can understand mathematics without Peano arithmetic or Euclidean geometry. Another Guy Named Dan: For over 2000 years people tried to prove the parallel postulate (given a plane containing a line and a point not on the line, there is only one lone in the plane passing through the given point that is parallel to the given line) in terms of the other axioms. You can't. Non-parallel postulate geometries are equally consistent. Another Guy Named Dan: The fact that the same quantity shows up in what should be irreducible statements is the mystery. It's no more a mystery than the parallel postulate. For Dan living on a flat surface, the parallel postulate appears obvious, but it's not obvious to alter-Dan living on a curved surface, and his ordinary geometry would not have the parallel postulate. Alter-Dan would find the "no parallel lines postulate" to be mysterious, and unless it's true, we don't understand anything else. Are you trying to say I'm right or I'm wrong. I can't tell.
Descartes's analysis and Newton's laws of motion work great in, and indeed even depend on, a Euclidian universe. But there were things that these laws and ways of thinking did not explain, and it turned out that once you got rid of the rigid space and time of Newton, Galileo, and Euclid, the math started matching up to what people actually were seeing. The meta point is that the axioms of any system should not be reducible: if you can define axiom 2 in terms of axiom 1, then you have only one axiom and a consequence. Additive identity and one of the multiplicative identities both contain the quantity zero. It then seems that you should then be able to define one of the zero-containing axioms in terms of the other, but no one has been able to do it yet. So if there is a link between the two axioms, we don't entirely understand what it is. If there is no link, we don't know why the same zero shows up in both. It's something on a philosophical level that is not yet and may never be understood.
#2.2.2.1.1
Another Guy named Dan
on
2019-08-26 15:29
(Reply)
Another Guy named Dan: So if there is a link between the two axioms, we don't entirely understand what it is.
One (1) is denoted as the multiplicative identity. Zero (0) is denoted as the additive identity. The multiplicative property of zero is a theorem that follows from the basic ring axioms. (0+0)*a = 0*a, additive identity 0*a + 0*a = 0*a, distributive property 0*a = 0, subtracting 0*a from both sides
#2.2.2.1.1.1
Zachriel
on
2019-08-26 16:19
(Reply)
Prove addition of 0 is distributive. You're just introducing another axiomatic statement.
#2.2.2.1.1.1.1
Another guy named Dan
on
2019-08-27 11:30
(Reply)
Another guy named Dan: Prove addition of 0 is distributive. You're just introducing another axiomatic statement.
You suggested that there was more than one multiplicative identity when you said, "Additive identity and one of the multiplicative identities both contain the quantity zero." There is only a single multiplicative identity in ordinary arithmetic, and that is the number one. The distributive property is a ring axiom concerning two operations, multiplication over addition, and applies to all operands. The statement a*0 = 0 is not an axiom, as you had said, but a theorem. Yes, there are axioms in ordinary arithmetic, but a*0 = 0 is not one of them.
#2.2.2.1.1.1.1.1
Zachriel
on
2019-08-27 14:41
(Reply)
Another guy named Dan: What is it about the universe that makes A not only equal B, but be indistinguishable from it?
We're not actually far apart. You can assume the multiplicative property of zero and derive the distributive property; or you can assume the distributive property and derive the multiplicative property of zero. You have to make some assumptions for mathematical rigour, if that is your point. Our question concerned your original statement. Our position is that what makes mathematical 'truths' distinctive are the peculiarities of human cognition, in particular, the perception of distinct objects. A cloud person may not see distinct objects and may develop an entirely different form of mathematics, just as someone living on a curved surface might develop a different form of geometry. We can make up all sorts of consistent axiomatic systems, and this would seemingly contradict your point that "'Axiomatic' is more or less just a way of saying 'we don't understand it, but unless it's true, we don't understand anything else.'"
#2.2.2.1.1.1.1.2
Zachriel
on
2019-08-28 10:31
(Reply)
Zero is not Nothing. Zero is the absence of Something. Nothing is, well, Nothing.
Blick: Zero is not Nothing. Zero is the absence of Something. Nothing is, well, Nothing.
Quite. {0} ≠ {} I have only been able to get a concept of zero into my head by working from different directions and regarding each as a partial answer. Our intuitive sense of what zero is is probably the most powerful factor, though it does rather break down when we try and and make fine distinctions. It becomes something of a game of whack-a-mole when you get in close, however.
We come in next from thought experiments: Is having an apple, then taking it away, the same as having no space in which there was ever an apple? No, it isn't quite, so Zero and Nothing have similarities, but are not identical. We have to move back out into the idea of what the space is in which the imagining is occurring. And that gets very strange, because space reveals itself as an object in itself, and spaces are not all the same. Objects change spaces. Whether imagined objects also change spaces is harder to picture, but you can make the math work all day. I go back and forth whether that makes it real or not. I want badly to say yes, but I suspect that is just a prejudice on my part. |

A Chris Southern Consulting website.