Fibonacci Flim-Flam.
october 2011 by miikka
Turns out the golden ratio isn't the governing principle of the nature after all.
fibonacci
goldenratio
math
via:trivium
october 2011 by miikka
Girard, Lafont, Taylor: Proofs and Types
november 2010 by miikka
A textbook on typed lambda-calculus. Seems relatively easy to approach and not too heavy, but is a bit over my head.
math
prooftheory
lambdacalculus
logic
book
textbook
november 2010 by miikka
Category theory: designing bridges for mathematics
november 2010 by miikka
A nice bridge building analogy explaining the role of category theory in mathematics.
math
categorytheory
november 2010 by miikka
What are some examples of colorful language in serious mathematics papers? - MathOverflow
august 2010 by miikka
Colourful language in serious math papers at Math Overflow:
math
humor
from twitter
august 2010 by miikka
Is Alkulukuja Paskova Karhu a good name for a girl? - Yahoo! Answers
july 2010 by miikka
"Is Alkulukuja Paskova Karhu a good name for a girl?" #wtf
wtf
math
humor
from twitter
july 2010 by miikka
A consequence of the axiom of choice
july 2010 by miikka
(ℝ,+) ≅ (ℂ,+) assuming the axiom of choice, but unprovable without it.
math
algebra
axiomofchoice
july 2010 by miikka
related tags
advice ⊕ algebra ⊕ axiomofchoice ⊕ book ⊕ career ⊕ categorytheory ⊕ dictionary ⊕ education ⊕ english ⊕ fibonacci ⊕ finnish ⊕ fun ⊕ game ⊕ goldenratio ⊕ haskell ⊕ history ⊕ humor ⊕ lambdacalculus ⊕ library ⊕ linear ⊕ logic ⊕ math ⊖ physics ⊕ programming ⊕ prooftheory ⊕ rant ⊕ research ⊕ science ⊕ settheory ⊕ software ⊕ textbook ⊕ tips ⊕ via:trivium ⊕ wiki ⊕ wtf ⊕Copy this bookmark: