
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
 Research
 Silviculture
 Simplicial complexes
 Structure theory
 Technology.
 Uncategorized
 Vignettes.
Meta
Category Archives: logic
Vignettes. Part 11.
There is a body of results in higher category theory which this expository blog post will present you a toy version of. Not to bias this post too much, and not to slight said body of results (they actually are … Continue reading
Posted in Category Theory, expository, logic, Mathematics, Olds
Leave a comment
Vignettes. Part 10.
In one of his very useful writings, Robert Harper writes the following thoughtful sentence: But the upshot of Gödel’s Theorem is that as soon as we fix the concept of formal proof, it is immediate that it is not an … Continue reading
Posted in expository, logic, Vignettes.
Leave a comment
Vignettes. Part 8.
The following is an illustration of a very widely known, yet not widelyenoughknown basic connection between things. Explanations will not be given. They can easily be found, given internet access. This connection gives a structure and systematic explanation for some … Continue reading
Posted in Category Theory, expository, logic, Mathematics, Olds, Vignettes.
Leave a comment
Mathematical Aphorisms. Part 2.
One should intentionally take an intensional view on the things one cares about.
Vignettes. Part 6.
If one cares for categories, one should intentionally take an intensional view on them: axioms matter. In particular, associativity is an axiom. But it is excusable that one sometimes forgets that associativity is axiomatic: so many categories are concretizable (and then, … Continue reading
Posted in Category Theory, expository, logic, Olds, Vignettes.
Leave a comment
Vignettes. Part 4.
I would not have believed that Kurt Gödel once felt it necessary to explain to Ernst Zermelo “Ein Negationsstrich hat ja nur Sinn über einer Zeichenverbindung, die eine Behauptung ausdrückt (über der Ziffer 5 etwa ist ein Negationsstrich sinnlos).”, yet, … Continue reading
Posted in expository, logic, Olds
Leave a comment