Verisimilitude and Interpretations

Stream: new members

[Calvin]

Hello, I'm a philosopher (not a practicing academic) interested in condensing natural language for the purposes of education. I'd be interested in getting feedback on a pamphlet I've written that I hope will engage public conversations about language: https://github.com/rj-calvin/verisimilitude/blob/main/out/verisimilitude.pdf.

By virtue of the aggressive take on simplicity, there are only 4 pages of content since this is meant to be easy for people to make the time for in their busy lives. The rhetoric is meant to function as a riddle, but the general idea is that our collective love for Einstein's brilliance are beginning to hold us back as a society due to the abstraction of "reference frames." The goal of the pamphlet is to prompt the reader to consider whether or not Einstein's special relativity really is as indestructible as it appears.

[Eric Wieser]

Can you explain how this relates to courses taught using Lean?

[Notification Bot]

This topic was moved here from #Lean for teaching > Verisimilitude and Interpretations by Eric Wieser.

[Calvin]

Ah, perhaps a mistranslation has occurred. It seems firstly that I was mistaken in the specificity of what was meant by _teaching_. My impetus was rather in attempting to broaden how people can think using the axioms of the calculus of constructions with the more general idea of encouraging communities to consider transitioning away from natural languages for the purpose of scientific rhetoric. Instead, we should consider adopting new strategies for how we utilize natural language to communicate and collaborate.

[Calvin]

My apologies for not "reading the room" here.

[Mario Carneiro]

I'm more curious about what this has to do with lean, the connection to teaching is clear enough

[Calvin]

Of course, Lean doesn't monopolize any implementation of calculus, but the principles that the language is based on have connections to physics that I don't think I've been seeing in outside community. My intention is to boil down the problem into it's most fundamental issues so that hopefully this connection can become more visible.

I intend to follow this up with more detail about how coinage could be used to formulate special relativity in terms that are very evocative of quantum mechanics, but mathematics is challenging and I wished to share in the meantime.