Transcription of Notae Ad Arithmeticam Et Dyadicam [1676 (?)]
Non sequitur $bx=by$ ergo $x=y$, nisi constat $b$ non esse $0$. Exempli causa in dyadicis talis mihi aliquando calculus venit $m=qu(\phi-p)$ ubi $1$ $\phi$, $p$ sunt notae dyadicae quarum quaelibet valet $1$ vel $0$. Esto jam$n=pm=\phi\phi-2\phi p+pp,p$ hoc est in dyadicis $pm=\phi+p-2\phi p,p=\phi p+p-2\phi p=p-\phi p=p,1-\phi=n$ fit ergo $ p,1-\phi=p,\phi+p-2\phi p=p.qu(\phi-p)$ non tamen inde sequitur esse $1-\phi=qu(\phi-p)$, nisi cum constat $p$ non esse $0$. Nam si $p$ est $0$ fit utiq. $p,1-\phi=p,qu(\phi-p)$ nam utrumque est aequale nihilo sed si $p$ sit $1$ (nam utique $p$ est vel $1$ vel $0$ cum sit nota dyadica) fiet utique $1-\phi=qu(\phi-p)=qu(\phi-1)$ Nam si si $\phi$ sit $0$, fiet $1=qu(-1)$ et si $\phi$ sit $1$ fiet $0=qu(0)$
