Have you verified that each logical connective is secure at both ends? Can you cite what wire you used to connect them?
Did you use all of the pieces when you assembled it? Are any loose variables still on the workbench?
Have you tried removing the definition and plugging it back in?
I'm having a really hard time grading tonight. It's like, the world is on fire, we've got an economic depression, a global pandemic resurging, a wildfire spread of protest movement, finals from last semester, ... and I'm supposed to mark people down because they applied sᵥⱼ to vᵢ but not to -vᵢ... Just not feeling it.
To be clear, this is not a problem. There are more important things than concentrating.
academics a couple generations older than me: be very careful not to reveal your research anywhere before publication you gonna be plagiarized by thesis pirates what if they use ~your data~ this is your life's work
academics from my generation on: hmm I will put the git url in the cover so that everybody can find the full version history after I upload the pre-alpha draft pdf to 15 different open archives
The obvious answer (and yes, there is an obvious answer) is Use Zettelkasten. That's what it's /for/.
I'm having implementation difficulties.
But it has made me aware that the tools of the trade are far below what would be expected in the software world.
Certainly, as the only CPU these 'run' on is the human mind, there is considerable difficulty in forming any more standardized approach, but...
I want to be able to at least embody what I 'know', ie. my own internalized set of libraries out of which to build proofs, in an external format where I could search through it.
How I math is largely based on how I program because that's what I learned first. To me, a proof is code, to be debugged and chased down and every edge case tested until I'm sure it will run correctly.
In lue of being able to actually run it, I search for counter-examples -- other math that produced an incompatible result. If such appear, it's time for a bug hunt. The bug hunt could take me through miles of papers, theses, etc... Or it might be as simple as a missed condition.
@kimreece Like this. Wait… That’s basically what my meatspace office is like already.
Imagine all immersive tech possibilities... What would your virtual office be like?
Now I kinda want to design my dream virtual office... because it wouldn't resemble a physical 'room' at all...
Heathen cyborg mathematician. No gluten. (Mathematician aspect)
Assume the hypotenuse :boardwrite:,
not the contusion :headdesk:.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!