Category Archives: Uncategorized

Check out this link to the On-Line Encyclopedia of Integer Sequences… https://oeis.org/A000975 There you will find all kinds of info related to the sequence 2,5,10,22,42,85,170,341,… The sequence is related to the discrete derivative/Gray’s coding that is the output of the DD tree. When examined closely the transformation of the order of the binary coding foundContinue reading “Towers of Hanoi”

The ultimate model is the world we live in….all of it, including us. There are no shortcuts…no map to crumble up and throw on the table so that we can cry,” aha….a fixed point!” …except in the mind of the one making the claim. Show me the map and I’ll show you the holes. TheContinue reading “The world we live in…”

So long as it is founded on assumption (read “axiom”) as opposed to model construction (see Skolem’s work), math is just religion….and religion is no more than a venue for working out who should be in charge, who should prosper economically, who should have access to resources, who should be allowed to publish, etc. Read…Continue reading “Math and Religion (or….math is religion)”

What appears below is copied from Section 2. at this link… https://plato.stanford.edu/entries/axiom-choice/ …closely related to the idea of an infinitesimal…less than any rational number, but not equal to 0. “…a countable collection of pairs of sets of real numbers fails to have a choice function”…….Let’s think about that… Cosets in R/Q+ determined by a pairContinue reading “A bit of Stanford Encyclopedia of Philosophy”

DD (discrete derivative) matters because the tree built to produce it row after row goes on to infinity. It would be impossible to talk about the whole set of binary sequences, both finite and infinite, if we tried to do it individually. No, we need to see the whole set at once. How else besidesContinue reading “Why does DD matter?”

Consider the modular form of the Stern-Brocot (S-B) tree. It is built starting with the 2×2 matrices a = [[00][10]] and b = [[01][00]]. (check out “Matrix Gateway to Geometric Algebra, Spacetime and Spinors by G. Sobczyk for an interesting connection) That pair of “vectors” when multiplied (it’s non-commutative) gives ab = [[10][00] and baContinue reading “Key idea”

From the paper by Paul Cohen…”Skolem and pessimism about proof in mathematics“ “Skolem, in his papers, was so struck by the existence of non-isomorphic models ofall but the most trivial axiom systems that he was led to doubt the relevance ofany mathematical axiom system to the philosophical questions concerningfoundations of mathematics. For example, he pointedContinue reading “Skolem was right”

We live in an enchanted world. The dream is real….the interpretations not so much.

Aristotelian logic is nothing more (nor less) than a path through a binary tree. Change the structure of all the paths and all the “conclusions” follow that change. Arguments in mathematics can take one of two forms: proof by contradiction or by “showing” (a la Wittgenstein) via construction. I have shown (the “Real deal” andContinue reading “The Gist of It”

To clarify… Just to make sure it is clear, let me say that the main point of the first “Real deal” is this: the discrete derivative is about transforming the entire standard Binary tree by “twisting” every other pair of branches across every row in the tree….it is about transforming the tree, about an automorphismContinue reading “The Real deal, too”