Post #2181929
2026-05-04 22:03 UTC
Logical order is different from genetic order in mathematics.
Bourbaki chose logical order.
Genetic order is so much more pleasant and informative - but this is only my personal view.
This also gets reflected in the way people choose how to organize their mathematical ideas in proof assistants.
There is *no single way* which is better than all other ways.
However, let me say that I love the genetic way much better than the logical way. It is just the way my brain happens to work.
Of course, people are allowed to have their own personal views of the "graph of mathematical ideas"
(Is this a so-called "subtweet"?)
Replies (2)
-
@pigworker@types.pl 2026-05-04 22:05
@MartinEscardo@mathstodon.xyz (It might be if I even knew what you meant by "logical" and "genetic".)
-
@apostolis@social.coop 2026-05-05 06:58
@MartinEscardo@mathstodon.xyz I think though that you keep only the final blackboard. The interesting thing would be to have multiple blackboards that describe the history of the concepts. And some commentary that describe the reason the concepts needed to change. A -> B -> C Git's history is not useful because it is not easy to inspect. My idea would be to keep all versons at the same repository.