On Sun, Jan 19, 2014 at 2:35 PM, YKY (Yan King Yin, 甄景贤) < [email protected]> wrote:
> That's why I want to build a "bridge" that goes from logic to mathematical > space, to be able to "see" spatially the structure of logic, including > deduction. It all sounds very P=NP to me, and therefore unlikely. It is more or less a redrawing of game trees in god-knows-how-many-dimensions and then looking for a shortcut. As we all know the vast majority of games are "interesting" precisely because we have not found any shortcuts, and any "reality logic" is bound to have huge numbers of axioms. Which brings us to a half-interesting question, how many axioms does the Standard Model of particle physics entail? (not that I believe in that kind of reductionism, or that that kind of reductionism would allow to scrap together a few bosons and make a latte). AT ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
