[Ant] I understand the TOPOS models are analogous to the "paintings in the TRUTHS gallery" illustration found in LILA but is there any chance of you summarising in layman's language of what TOPOS theory (and its principle components) are all about?
[Case] This one has me scratching my head as well. From looking at the papers themselves I can tell it will have me rubbing my temples. Anyway there was an article about this in New Scientist magazine that has stirred up attention about this. It is more or less written for us regular folks. You can read the New Scientist article at: http://fastblogit.com/media/logic_cafe.html If you go to the New Scientist site looking for it, they want you to pay for a subscription. Don't get me started on the obscenity of capitalist efforts to claim that Ideas are "property" and constitute "wealth" to be horded... Here is another link to a bunch people even geekier than us. They tap dance around the mathematical implications of topos in a way that regular folks can almost get a grip on: http://golem.ph.utexas.edu/category/2007/04/topos_theory_in_the_new_scient.h tml moq_discuss mailing list Listinfo, Unsubscribing etc. http://lists.moqtalk.org/listinfo.cgi/moq_discuss-moqtalk.org Archives: http://lists.moqtalk.org/pipermail/moq_discuss-moqtalk.org/ http://moq.org.uk/pipermail/moq_discuss_archive/
