Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

you know what this means? arxiv.org needs a cryogenics section, for potential resuscitation of mathematical campaigns using future technology. it'll be challenging to keep out the crackpots, though --


for potential resuscitation of mathematical campaigns using future technology

What does this mean?


    cryogenics section, for potential resuscitation of 
    mathematical campaigns using future technology
automated provers like coq and isabelle, I think (I also think I'm not a crackpot but ...

http://arxiv.org/abs/1211.7012

http://mathlesstraveled.com/2012/11/11/a-computer-checked-pr...

Probably the haskell/agda camp'll want to defend their honor also


To freeze the brains of our best and brightests in hope that future tech could let them live much longer, and possibly make some more discoveries.


I doubt the author meant "cryogenics" literally.


i actually meant an archive of papers where mathematicians from the future could try to improve or dig gems out of (using computerized theorem provers or just pen and paper). Papers like ramanujan's notebooks or this guy's proof of Goldbach. But freezing brains could be worth thinking about --- maybe a crowdsourced fund like kickstarter to freeze society's favorite brains.


freezing brains could be worth thinking about

Well, freezing destroys cell membranes, unfortunately. There's no way to repair every cell. And even if you could, there's no guarantee the overall system will function the same afterward.

Cryogenics will probably take the form of sustaining life, rather than freezing what has already expired.

For example, perhaps slowing a physical body's metabolism for decades would enable the body to last centuries before dying. So it'd be "time travel" to the future. But that has horrendous logistical issues, e.g. feeding, maintenance of the chamber, somehow retaining muscle mass of the person, avoiding bed sores, waste disposal, antibiotics during times of sickness, regulating body temperature, a failsafe for each system, etc.


It means put all of these potential solutions in a folder so that future generations (who may have been technology) can easily find them.




Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: