From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9556 Path: news.gmane.org!.POSTED!not-for-mail From: Eduardo Ochs Newsgroups: gmane.science.mathematics.categories Subject: Logic for Children (workshop) - updates and resources Date: Sat, 17 Feb 2018 21:18:09 -0200 Message-ID: Reply-To: Eduardo Ochs NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1518980744 20977 195.159.176.226 (18 Feb 2018 19:05:44 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 18 Feb 2018 19:05:44 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Feb 18 20:05:39 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1enUH2-00040u-N6 for gsmc-categories@m.gmane.org; Sun, 18 Feb 2018 20:05:20 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:43741) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1enUIW-0007kH-M9; Sun, 18 Feb 2018 15:06:52 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1enUHW-0006cc-NS for categories-list@mlist.mta.ca; Sun, 18 Feb 2018 15:05:50 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9556 Archived-At: Hi list, we - me and Fernando Lucatelli - are organizing a workshop called "Logic for Children" that will happen in the UniLog 2018 in Vichy, France, in june 21-26. We announced it here a few months ago and we received a lot of feedback from people who are interested on the theme but who will not be able to attend it, so we organized their material and made it available here: http://angg.twu.net/logic-for-children-2018.html#resources If you have something to add or would like to receive periodical updates, please get in touch! ABOUT THE WORKSHOP The "children" in "logic for children" means "people without mathematical maturity", which in its turn means people who: * have trouble with very abstract definitions, * prefer starting from particular cases (and then generalize), * handle diagrams better than algebraic notations, * like to use diagrams and analogies. If we say that categorical definitions are "for adults" - because they may be very abstract - and that particular cases, diagrams, and analogies are "for children", then our intent ith this workshop becomes easy to state. "Children" are willing to use "tools for children" to do mathematics, even if they will have to translate everything to a language "for adults" to make their results dependable and publishable, and even if the bridge between their tools "for children" and "for adults" is somewhat defective, i.e., if the translation only works on simple cases... We are interested in that _bridge_ between maths "for adults" and "for children" in several areas. Maths "for children" are hard to publish, even informally as notes, so often techniques are rediscovered over and over, but kept restricted to the "oral culture" of the area. Our main intents with this workshop are: * to discuss (over coffee breaks!) the techniques of the "bridge" that we currently use in seemingly ad-hoc ways, * to systematize and "mechanize" these techniques to make them quicker to apply, * to find ways to publish those techniques - in journals or elsewhere, * to connect people in several areas working in related ideas, and to create repositories of online resources. Cheers! =) Eduardo Ochs and Fernando Lucatelli http://angg.twu.net/logic-for-children-2018.html [For admin and other information see: http://www.mta.ca/~cat-dist/ ]