2009/01/11

Quantifying elegance: Godel's arithmetization of syntax, simplicity and efficiency in regulatory intuitionistic complexity ..



but i do love to read his EWDs..

EWD Archive
Discipline in Thought
Posted by kukan at

0 comments:

Post a Comment

Subscribe to: Post Comments (Atom)