
Recent Posts
Recent Comments
Archives
Categories
 Category Theory
 compressing and summarizing
 digraph theory
 expository
 felicities
 gnarliness
 hazardousnesses
 Higher trees
 infelicities
 Kalai trees
 kindofacycle
 logic
 mathematical aphorisms
 Mathematics
 News
 Olds
 Philosophy
 Research
 Simplicial complexes
 Structure theory
 Technology.
 Uncategorized
 Vignettes.
Meta
Category Archives: mathematical aphorisms
Mathematical Aphorisms. Part 5.
Perhaps the best example1 of a sound and complete proof system for a general audience are the three Reidemeister moves. 1 Calling Reidemeister moves a ‘proof system’ goes back at least to Avi Wigderson’s 2006 ICM contribution. Advertisements
Posted in expository, mathematical aphorisms, Olds
Leave a comment
Mathematical aphorisms. Part 4.
Bicategories are useful because they allow to constructively compare comparisons.
Mathematical Aphorisms. Part 3.
With the discovery of higher dimensional algebra, the standard technical term linear equation accidentally has acquired a nonstandard second meaning. In particular: oldsense linear equationnewsense linear equationany oldsense equation.
Mathematical Aphorisms. Part 2.
One should intentionally take an intensional view on the things one cares about.
Mathematical Aphorisms. Part 1.
It is by design that it has no content.
Posted in expository, mathematical aphorisms
Leave a comment
Mathematical Aphorisms. Part 0.
In Constructive Mathematics, proofbyexhaustion is not in general exhaustive, though often still exhausting.