Content of type 'notes'

De Docta Ignorantia I.3 — Polygon Exhaustion & Incommensurability of the Circle ( O V0 ): (x - (0))^2 + (y - (0))^2 - (1) = 0 [ W1 W2 ]: (0)*x + (1)*y + (-1) = 0 [ W2 W3 ]: (1)*x + (0)*y + (1) = 0 [ W3 W4 ]: (0)*x + (1)*y + (1) = 0 [ W4 W1 ]: (1)*x + (0)*y + (-1) = 0 [ O S4 ]: (0)*x + (1)*y + (0) = 0 [ T1 T2 ]: (3/2)*x + (-sqrt(3)/2)*y + (sqrt(3)/2) = 0 [ T2 T3 ]: (0)*x + (1)*y + (1/2) = 0 [ T3 T1 ]: (-3/2)*x + (-sqrt(3)/2)*y + (sqrt(3)/2) = 0 [ S1 S2 ]: (1)*x + (-1)*y + (1) = 0 [ S2 S3 ]: (1)*x + (1)*y + (1) = 0 [ S3 S4 ]: (-1)*x + (1)*y + (1) = 0 [ S4 S1 ]: (-1)*x + (-1)*y + (1) = 0 [ H1 H2 ]: (1/2)*x + (-sqrt(3)/2)*y + (sqrt(3)/2) = 0 [ H2 H3 ]: (1)*x + (0)*y + (sqrt(3)/2) = 0 [ H3 H4 ]: (1/2)*x + (sqrt(3)/2)*y + (sqrt(3)/2) = 0 [ H4 H5 ]: (-1/2)*x + (sqrt(3)/2)*y + (sqrt(3)/2) = 0 [ H5 H6 ]: (1)*x + (0)*y + (-sqrt(3)/2) = 0 [ H6 H1 ]: (-1/2)*x + (-sqrt(3)/2)*y + (sqrt(3)/2) = 0 [ O F ]: (1)*x + (0)*y + (0) = 0 W1 = (1, 1) W2 = (-1, 1) W3 = (-1, -1) W4 = (1, -1) O = (0, 0) S4 = (1, 0) H1 = (0, 1) H3 = (-sqrt(3)/2, -1/2) H5 = (sqrt(3)/2, -1/2) S2 = (-1, 0) H4 = (0, -1) H2 = (-sqrt(3)/2, 1/2) H6 = (sqrt(3)/2, 1/2) F = (0, -1/2) O S4 H1 H3 H5 S2 H4 H2 H6 F

Unit I — Learned Ignorance, Polygon Exhaustion & the Coincidence of Maximum and Minimum — Notes

In DI I.3 §2, Nicholas of Cusa elevates Archimedes' method of exhaustion (archimedes:dimensio) into the foundational epistemological theorem of learned ignorance. For a regular \(n\)-gon inscribed in the unit circle \(x^2 + y^2 = 1\):

De Docta Ignorantia I.13, I.15, I.23 — Generative Unfolding of Line, Triangle, Circle & Sphere ( A B ): (x - (0))^2 + (y - (0))^2 - (1) = 0 [ S N ]: (1)*x + (0)*y + (0) = 0 [ L R ]: (0)*x + (1)*y + (-1/2) = 0 [ D B ]: (0)*x + (1)*y + (0) = 0 [ A C ]: (-sqrt(3)/2)*x + (1/2)*y + (0) = 0 [ B C ]: (-sqrt(3)/2)*x + (-1/2)*y + (sqrt(3)/2) = 0 B = (1, 0) D = (-1, 0) R = (sqrt(3)/2, 1/2) L = (-sqrt(3)/2, 1/2) A = (0, 0) N = (0, 1) S = (0, -1) E = (0, 1/2) C = (1/2, sqrt(3)/2) B D R L A N S E C

Unit IV — The Infinite Line as Universal Measure & the Infinite Sphere Where Center, Diameter and Circumference Coincide — Notes

Dedekind-Style Infinite Bijection (`DI I.16 §5`): Four centuries before Bolzano, Dedekind, and Cantor defined infinite sets by equipollence with proper subsets, Nicholas of Cusa argues that an infinite line composed of \(\infty\) one-foot segments and one composed of \(\infty\) two-foot segments are necessarily equal (cum infinitum non sit maius infinito), because every part of the infinite is convertible with the whole infinite.