@TheViewFromHell Saunders Mac Lane (my mathematical great-grandfather!) did some important work on this:https://en.wikipedia.org/wiki/Mathematics,_Form_and_Function …
@Meaningness @TheViewFromHell Two years of screwing around with computations in MAGMA and three years of paper proof.
-
-
@St_Rev @TheViewFromHell Thanks! Wow, MAGMA is way past my time. Looks really cool from a brief glance. Could once have gotten lost in that! -
@Meaningness I used Jon Carlson's special dedicated workstation which had FOUR WHOLE GIGS of ram. -
@St_Rev Hey, I did my dissertation on a state-of-the-art custom workstation that had A WHOLE MEGABYTE!!! Which cost $75k. -
@Meaningness And now your dishwasher has more. -
@St_Rev An odd moment when I realized my phone had almost exactly 1000x the RAM and Hz of the $10m time-shared behemoth I used in 1978. -
@Meaningness I could make amazing progress on my research on a modern system if a) I remembered any of it and b) I cared any more. -
@St_Rev It’s hard to do math after 25—partly because your brain isn’t as sharp, but also because other things seem more important. -
@Meaningness I was a good teacher and an OK researcher. It was the paperwork that drove me out of academia. - 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.