juan_gandhi: (Default)
So, this guy: Pierre Wantzel, had solved the problem of trisection, in 1837, before Galois. His solution, though, did not attract any attention at all, until 50 years later, when it was casually republished. Only probably 50 or more years later people understood the algebraic importance of it.

So there.

DKM

Mar. 6th, 2017 12:46 pm
juan_gandhi: (Default)
Dunning-Kruger with Math.

Just occurred to me. Reducing facts of real life to math entities is a kind of Dunning-Kruger disease. You can't get the complexity and all the aspects, but math you know, so kaboom - a monad! a linear space! a probability! a derivative! an integral!

Sad.

Same with logic, by the way.
juan_gandhi: (Default)
https://en.wikipedia.org/wiki/Goodstein's_theorem

Кароч, последовательность целых чисел (см), начиная с самых маленьких чисел, вырастает до больше, чем атомов во вселенной, а потом бац, и зануляется обязательно.
Доказательство, что она обязательно зануляется, выходит за пределы арифметики Пеано. 
juan_gandhi: (VP)
https://arxiv.org/pdf/1611.09475.pdf

Domain-Specific Languages of Mathematics: Presenting
Mathematical Analysis Using Functional Programming
juan_gandhi: (VP)
my 6 chapters, math for programmers, categories from start to adjoints, with code samples in Scala.

Probably it's hard to read, formatting problems. Let me know if it's totally unreadable. Or if you think something should be fixed.

(updated)
http://orm-atlas2-prod.s3.amazonaws.com/pdf/455a990ff6b670a08f0ab9365538d284.pdf

Profile

juan_gandhi: (Default)
juan_gandhi

August 2017

S M T W T F S
   1 23 4 5
6 7 8 9 10 11 12
13 14 15 16 1718 19
20212223242526
2728293031  

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 21st, 2017 06:42 am
Powered by Dreamwidth Studios