Formal reasoning can be thought of as medium, a canvas on which your imagination draws structures serving your goals best, that solve your problem or are simply aesthetically pleasing. There is an infinite number of possible formal derivations, theorems and proofs; limitations of formality of final product of expression are relatively loose. These are rules of the game, that enable the complexity of skill to emerge, not square bounds on imagination. Most of the work comes from creative process, not from formality.
-- Vladimir Nesov [EMAIL PROTECTED] http://causalityrelay.wordpress.com/ ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=120640061-aded06 Powered by Listbox: http://www.listbox.com
