The Pythagorean Forest

Year: 2019 Authors: Josef Weese; Joshua Martinez; Christian Caraveo; Jesse Atkinson

Core claim

A proof of Euclid’s 1.47 can be analyzed as a layered forest of premise types, revealing how direct and indirect dependencies accumulate across levels.

Topics

proof dependency graphs, Euclid’s Elements, 3-D visualization, mathematical sculpture, adjacency matrices

Domains

Euclidean geometry, proof structure, graph theory, combinatorics, data sculpture, installation art, scientific visualization, craft

Methods

3-D tree graph, bar graph analysis, modified adjacency matrix, premise counting

Media

glass, wood, 2-D data, printed figures

Source status

This page publishes metadata and extracted analytical signals only. Raw PDF and full OCR text are kept local for now.