Cut & pasted minutes from our call today. Participants: MK, OC, JHD, CR, LH, JWK, DC(away)
[02/06/14 14:02:55] Michael Kohlhase: Michael Kohlhase added Olga Caprotti to this conversation [02/06/14 14:02:56] Michael Kohlhase: Call started [02/06/14 14:08:27] Olga Caprotti: minutes anyone? [02/06/14 14:08:34] Olga Caprotti: shall i minute in this chat? [02/06/14 14:09:12] Olga Caprotti: MK: agenda is unclear, pls suggest. [02/06/14 14:09:40] James Davenport: Please could some-one minute [02/06/14 14:09:46] Olga Caprotti: JD: DefMP should be discussed. Lars suggestion about allowing many orderings should not be prevented [02/06/14 14:10:11] Olga Caprotti: JHD: would like to find time to rethink the DefMP proposal before the OM workshop [02/06/14 14:10:59] Olga Caprotti: MK: OK James TODO: make a new DefMP proposal possibly with LH [02/06/14 14:11:42] Olga Caprotti: MK: CR can you talk about your last minute email? [02/06/14 14:12:15] Olga Caprotti: CR: sequences and records have been on my mind as addition - my conclusion is that you would like some kind of sets [02/06/14 14:12:54] Olga Caprotti: CR: having record is like labelled subsets [02/06/14 14:13:24] Olga Caprotti: CR: having sequences is adding order on top of sets [02/06/14 14:14:22] Olga Caprotti: MK: i would like to think of them as syntactic first class citizen [02/06/14 14:14:34] Olga Caprotti: CR: infinite set would be new [02/06/14 14:15:54] Olga Caprotti: MK: we can add them by arbitrary function already [02/06/14 14:17:21] Michael Kohlhase: @+(@set(2,3,4)) [02/06/14 14:17:21] Olga Caprotti: CR: question is about including sets in abstract open math objects [02/06/14 14:17:31] Michael Kohlhase: instead of @(+,2,3,4) [02/06/14 14:18:17] Michael Kohlhase: @(+,x,R) = @(x,@(+,R)) [02/06/14 14:18:52] Michael Kohlhase: @(+)=0 [02/06/14 14:21:00] Lars Hellström: list4.eval([[image: f],]L,[image: M) =]f( list4.eval([[image: f],]L), list4.eval([[image: f],]M) ) [02/06/14 14:29:55] Olga Caprotti: MK vs OC discussion on foundation of OpenMath abstract objects. [02/06/14 14:30:31] Olga Caprotti: CR: i would not like to loose unary, binary or operations on multisets [02/06/14 14:32:59] Olga Caprotti: OC: why can't we do quote in a CD? [02/06/14 14:33:22] Olga Caprotti: MK; if we add quote we can add liar's paradox very easily [02/06/14 14:33:45] Jan Willem Knopper: quote for literal ?or hold evaluation ? [02/06/14 14:34:46] Olga Caprotti: @JWK: i believe it is for literal [02/06/14 14:36:52] Olga Caprotti: JHD: a position paper would help in this topic of quote [02/06/14 14:39:01] Olga Caprotti: MK: task make a CD that has a defmp for nary plus? [02/06/14 14:39:34] Michael Kohlhase: @(+,2,3,4) [02/06/14 14:39:46] Olga Caprotti: MK: flex-ary arith1? [02/06/14 14:40:46] Olga Caprotti: CR: defined inductively on n [02/06/14 14:41:17] Olga Caprotti: JHD: how is flexary different from nassoc? [02/06/14 14:41:51] Olga Caprotti: MK: given a binary plus, make it ternary [02/06/14 14:42:32] Olga Caprotti: CR: can we assume the associativity of plus? [02/06/14 14:43:07] Michael Kohlhase: ternary is no enough, flexiary/nassoc is the exercise [02/06/14 14:45:24] Olga Caprotti: JWK: reason to want this is to be able to do some manipulation before sending off to engine [02/06/14 14:45:40] Olga Caprotti: MK: it is a case of mathematicians using ... [02/06/14 14:45:51] Olga Caprotti: CR: ... is formally defined [02/06/14 14:48:18] Olga Caprotti: MK: in converting arxiv we introduced ... operator which meant nothing - in my lecture notes i needed them [02/06/14 14:48:26] Olga Caprotti: JHD: yes you can, just say nassoc [02/06/14 14:48:59] Olga Caprotti: MK: how to define nassoc plus from binary plus in a DefMP? [02/06/14 14:49:40] Michael Kohlhase: @(+a,b,...,d) = @(+,a,@(b,…,d)) [02/06/14 14:50:24] Olga Caprotti: CR: that is finite sequences [02/06/14 14:50:31] Michael Kohlhase: @(+,a,R) = @(+,a,@(+,R)) [02/06/14 14:50:36] Olga Caprotti: MK: yes, you need them as arguments [02/06/14 14:52:19] Olga Caprotti: CR: you are back to handling finite sequences [02/06/14 14:53:05] Olga Caprotti: CR: is order important? are we in assoc-commutat cases only? [02/06/14 14:53:09] Jan Willem Knopper: I need quote for this ;) [02/06/14 14:54:52] Olga Caprotti: MK: no, assoc can be dropped [02/06/14 14:57:02] Olga Caprotti: MK: flexary operations defined by nassoc cannot be defined formally in open math (claim) [02/06/14 14:57:31] Olga Caprotti: MK: that is a design problem of open math we need to fix [02/06/14 15:01:07] Olga Caprotti: CR: pls write down about quote, what t is, why is it dangerous [02/06/14 15:01:15] Jan Willem Knopper: I would appreciate that as well [02/06/14 15:02:08] Olga Caprotti: MK: next meeting is on Thu 17:00 [02/06/14 15:03:04] Olga Caprotti: MK: will circulate the agenda [02/06/14 15:04:08] Jan Willem Knopper: Jan Willem Knopper set topic to “Openmath meetin 2 June” [02/06/14 15:04:20] Jan Willem Knopper: Jan Willem Knopper set topic to “Openmath meeting 2 June” [02/06/14 15:04:43] Michael Kohlhase: Call ended 1 hour 2 minutes 28 seconds On Mon, Jun 2, 2014 at 2:11 PM, Christoph LANGE <[email protected] > wrote: > 2014-06-02 13:11 Christoph LANGE: > > So I think I > > can best contribute to OpenMath if I once more do the same thing as last > > time: review any comments on "my" Trac tickets that have been posted > > since last time, and comment on them as appropriate, > > sorry, even got this only half done (was interrupted). Will continue > later. > > Cheers, > > Christoph > > -- > Christoph Lange, Enterprise Information Systems Department > Applied Computer Science @ University of Bonn; Fraunhofer IAIS > http://langec.wordpress.com/about, Skype duke4701 > > → Web Intelligence Summer School « Web of Data », 25–29 August 2014, > Saint-Étienne, France. http://ecole.web-intelligence-rhone-alpes.org/ > Apply until 30 May; limited number of free student registrations. > _______________________________________________ > Om3 mailing list > [email protected] > http://openmath.org/mailman/listinfo/om3 >
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
