🎓 Dr. Freemo 🇳🇱 @freemo@social.cleverlibre.org

@jmw150 metamath is definately not just a database. It is a special language you can use to write proofs and have a system automatically verify the validity of a proof as well as render the proof as a webpage.

That ability to confirm the validity of a proof is what I usually hear people talk about when they have mentioned metamath.

@AmpBenzScientist

Its how i was taught too, but i have forgotten so much of the derivation and find it hard to dig up sometimes. Thus id like to document it somewhere in a wiki format.. a wiki of derrivtions and cheat sheets.

@josemanuel
The lack of apparent depth of carious periods is a bit deceiving too..i mean we have this idea that everything old must be epic and serious and grand... Truth is a lot of midevil writing is littered with childish things like fart jokes and chastity belts (never existed just a very old and long running joke).

The old epics arent without their own sort of silliness but just as it is often lost on readers.

For example people who read midevil texts often take chastity belts to be a real and literal thing, the fact that it was middle-age slapstick comedy in written form is lost on readers and they figured such belts existed.

The farther you go back the less obvious the intended joke is and the more likely you are to take it seriously and in the process be naive to rhe childish humor. Even the translator may have missed it and left it out of the context entierly.

@jmw150 I heard of metamath before.. i really should try and get into it.

@josemanuel The thing is the 1200 CE version shouldnt be taken at face value, nor should reading anything that is that old. There is generally all sorts of implied symbolism or references a modern reader will miss. So something that may appear stupid and not well thought out is actually quite brilliant and once you dig a bit deeper.

@yellowbeard Story of my life... i should be doing real work and not contemplating reinventing math :)

Part of me wants to reconstruct all of math up to calculus from scratch and document it all and then create a knowledge map so someone can see how any advanced idea is derrived from the most elementary ideas.

Partly I want to do this for myself just because I have a hard time remembering some derrivations, particularly in calculus where you have to go back to limits to show it.

@josemanuel Are you sure you havent confused the ring cycle with the earlier work on which it was closely based (in part) titled Nibelungenlied?

Nibelungenlied (poem from the 1200) has many of the same events revolving around siegfried and includes a scene where he bathes in dragon blood. The ring cycle itself, as i recall, leaves that out.

That said the scene in the ring cycle is remarkably similar where he still consumes some of the blood accidentally and is imparted with powers.

@lucifargundam its a good hobby to be in :)

@lucifargundam You like your books like you like your women I see.. well used, in good condition, and very old.

@AmpBenzScientist

Damn, you mean to tell me the AMS wont be accepting my submission afterall?

@math

@stevenroose Nothing experimental, and im not sure if you reported it, but you were in the comments. It was an issue related to yay so nothing too experimental.

“It is by going down into the abyss that we recover the treasures of life. Where you stumble, there lies your treasure. The very cave you are afraid to enter turns out to be the source of what you are looking for. The damned thing in the cave that was so dreaded has become the center. You find the jewel, and it draws you off.” -- Joseph Campbell

#quotes #quote #english #writing

@valleyforge I mean, they arent wrong.. if i want to risk my life I should have that right. The important distinction here is that just because something is a smart or safe idea (like wearing a seatbelt) is not a good reason for a government to force it by law.

My body, my choice, and that includes harm, as it should.

That said there are some absurdist libertarians, that show up in the party. Hell their primaries can be a shit show of low-quality candidates with absurd ideas. Thankfully typically the one who rises to the top and gets the nomination, at least in the past few years, tends to have perfectly reasonable policies.

@lucifargundam

I have, if your down for an IPA its not a bad choice.

@funny

@lucifargundam Ohhh what a beauty... and a fair bit better read than the less sought after "Unpopular quotations" book :)

Just gonna leave this here...

@funny #crypto #Cryptocurrency #beer #investing