juan_gandhi: (Default)
"Curry’s use of combinators was connected very closely to his philosophy of mathematics: for him, a formal system was not a description of some pre-existing objects, but simply a structure built by induction from some primitives using certain rules, and he did not demand that a semantics for such a system be a total function."

src 
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

October 2017

S M T W T F S
1 2 3 45 6 7
8 910 11 12 13 14
15 16 17 18 19 20 21
22232425262728
293031    

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 21st, 2017 03:52 pm
Powered by Dreamwidth Studios