/sci/ - Science & Math

>>11818129
>>11818288
Rational Points on elliptic curves by Tate & Silverman?

For what it's worth here's a expediently detailed walk trough how it's actually realized on Bitcoin
https://youtu.be/YZafZ3Rvd8I
see also
http://www.ijsrp.org/research-paper-1117/ijsrp-p7117.pdf
and here a mini tutorial to use the Etherium lib for python
https://youtu.be/FVc-UOHcajc
see
https://github.com/ethereum/eth-keys

>>11818289
>All mathematics is basically applied category theory
>This is true, and why I originally went into the field.
It's not really true in any good sense. I mean it's true in the same sense that "all reasoning is just application of the Sheffer stroke, bre" or "it's all abstract rewriting systems". The theoretical bridge from the foundations to the applications is nothing I ever see anybody walk.

I'm in some chatrooms with Baez and Schulman and those guys, and seemingly they really want to believe that "actually, topos theory is natural and easy to learn, and it just seems hard because we get wired differently from early on by our education", but I'd bet that "up to homotopy equivalence" etc. will always be ugly to formalize and less easy to make sense of than material lego block setty constructions, no matter their flaws.

>>11818324
>Tai-Danae Bradley
Have you been posting here thesis here 2 months ago? I ended up reviewing it.
https://youtu.be/sIy9pD4sTVA

>>11818329
Many such cases.

I got into an argument yesterday, making the case that complex analysis books shouldn't speak of much more than interior of balls - as opposed to stating all integration theorems on the complex plane always already for "open domains [math] \Omega [/math]". I'm not superfluent in the field, but introductory books actually never seem to use much topological theory, so this seems like shitty language.