[Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min).

Olga Caprotti olga.caprotti at gmail.com
Mon Jun 2 15:06:32 CEST 2014


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 <math.semantic.web at gmail.com
> 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
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om3/attachments/20140602/53009b3f/attachment-0001.html>


More information about the Om3 mailing list