Erratum: looking at my source (logicomix), Hilbert said "In mathemathics, there is no ignorabimus", meaning there is no "we shall not know". Leibniz says calculemus.
@antiselfdual Oh yeah, thank you! Calculēmus for sure. I don't think that Hilbert was trying to speak like a roman, he just spoke in latin because that's what one did back then.
The modern computerized-proof world is such a delicious mashup of the arch-rivals Hilbert and Poincare.
Hilbert had a grand dream that when two people disagreed, they could just say "calculamebus" (let us calculate), yet this was married to the "analytic" viewpoint of set theory. Poincare had a disdain for logic, and yet still championed a "synthetic" viewpoint that was key for the development of constructive mathematics!
The modern proof assistant owes a debt to both.
@jeronim Oh neat! The thing is, if I'm going to be writing it out in text, then I'd rather use tikz because its more fully featured, and then edit it in emacs because I like emacs for plain text better. What would really make this good is if scheme could define objects that could be manipulated in the graphical setting, with specially defined anchors to make it high-level.
You put it in ~/.TeXmacs/system/bib/, and then type "utcaps" for your bibliography style
If you are using TeXmacs and want to have arxiv or DOI bibliography entries show up with links, then use this bibliography style: https://golem.ph.utexas.edu/~distler/TeXstuff/utcaps.bst
Tools for graphically editing technical figures (inkscape, IPE, texmacs diagrams, etc.) feel very much like Word, in that there is little support for abstraction of common details, and little support for high-quality automatic alignment. Although I much prefer WYSIWIG, TikZ is simply superior for certain things. There needs to be something like TeXmacs, which is visual but still is very high-level.
@johncarlosbaez What exactly do you mean "Not counting other effects"? What would be a process that moved the charged particle around the loop "without other effects"? Or is this always a term in a larger calculation for the phase change?
@BartoszMilewski Is this good news or bad news? On the one hand, always good to hear about the weakness of Russia, on the other hand it's not great to put a nuclear state in between a rock and a hard place.
I like mixing things, and also general schemes for how to mix things.
Grad student at Universiteit Utrecht.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!