Skolem was right

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”

A Few Favorite Sources

Pessimism by Paul Cohen Naming by Haim Gaifman E. Artin Geometric Algebra https://archive.org/details/geometricalgebra033556mbp Anything you can find by E.T. Jaynes…it’s all great…a good start is… Freiling…Throwing Darts at the Real Line https://www.jstor.org/stable/2273955 https://arxiv.org/abs/1311.0545 ….Funny remark about “intuitive justification for the Axiom of Choice”…he must have been referring to the Banach-Tarski Paradox. Stern-Brocot tree info: ContinuedContinue reading “A Few Favorite Sources”

The Real deal

Below are clips of an Excel file that gives a definition of the discrete derivative via an algorithm by which it operates on an infinite binary string….by what it does to an individual string. It also shows how the anti-derivative operates. The discrete derivative is the operator that yields Gray’s code used in porting analog to digital.Continue reading “The Real deal”