The Independent Science Society Board

Lean can do proofs beyond just algebraic manipulation - for example proving that a function is continuous, differentiable etc.
My experience is that LEAN is more general, but more of a headache if you want to move symbols around for a derivation.
I am not aware at how good Lean is in doing things ...

Had a cool discussion with Hudson about this on discord, looking forward to getting a clearer understanding of what spec design is in a future essay.

I enjoyed reading the Papert Lab introductory essay. In particular, I had never heard of the phrase constructionism, and I'm trying to figure out what that actually means. I had also never heard of the term specification design, and I think the specification design questions raised in this essay are ...

<r><B><s>[b]</s>Chapter 1<e>[/b]</e></B><br/>
Main idea - life was a cascade of phase transitions
<LIST><s>[list]</s>
<LI><s>[*]</s>as opposed to what though?
<LIST><s>[list]</s>
<LI><s>[*]</s>feels so vague but i guess more in chapter 7</LI>
<e>[/list]</e></LIST></LI>
<LI><s>[*]</s>what exactly ...

We discussed as an idea, a program to feed papers into Lean and then have it verify mathematical claims. But this is hard for a bunch of technical reasons

One issue i had with the experiment is that i couldn't really measure the globules that easy - so I ordered hemocytometers which are like 20 pounds from amazon.

Been trying to think about what next session themes could be useful for the society. In the session yesterday we talked about if the 'scientific paper' as as form was optimal + what the next scientific paper could look like. What would the future be of scientific communication?

The other idea was ...

<r>Can I use Lean to check the statistical physics I'm doing?<br/>
<br/>
<I><s>[i]</s>This is a talk I prepared for an Independent Science Society session today. Thank you to those who attended!<e>[/i]</e></I><br/>
<br/>
I've been trying to learn mathematical and chemical theory for biological ...

non passive aggressive thumbs up to this post

I'm trying to pick through this pretty dense textbook from Smith and Morowitz about their theory of the fourth geosphere.
Main problem to me is that the amount of pre-requisites it requires is pretty huge. I do not know much geochemistry or biology, and even the physics section in chapter 7 on ...