CY,
re: published summary of thoughts.
not really. it's an evolving idea. my current thinking on the subject
revolves around the "30 year horizon" and the "petamachine question".
in 30 years a researcher will have a machine with a Thz of cpu, a
TByte of storage, a PetaByte of disk space, and a T
In that same vein, does anybody know anything about this effort?
http://www.cs.cornell.edu/Info/Projects/NuPrl/
"The Nuprl proof development system is a framework for the development
of formalized mathematical knowledge as well as for the synthesis,
verification, and optimization of software. It
Hey Tim. I recall some time back you mentioned some ideas you had for
a "proper" redesign of Axiom, incorporating proof systems and some
fundamental design philosophy considerations, among other things. Is
there a summary of those thoughts somewhere? I'm having some trouble
finding it in the arc
