P3003 R0 The design of a library of number concepts

[wg21bot]

P3003R0 The design of a library of number concepts (Johel Ernesto Guerrero Peña)

[mattkretz]

P3003R0: The design of a library of number concepts

SG6 Minutes

Chair: Matthias Kretz

Champion: Johel Ernesto Guerrero Peña

Minute Taker: Philip Craig

Polls

POLL: A set of number concepts should not be named after algebraic
structures.

SF	F	N	A	SA
1	5	2	2	0

# of Authors: 1
# of Participants: 11
Author Position: A
Outcome: Consensus to not use algebraic names.
Comments: Against because we have to find names for the things we're
modeling. If not these names, what else?

POLL: A set of number concepts should not try to semantically model
algebraic structures.

SF	F	N	A	SA
1	6	3	0	0

# of Authors: 1
# of Participants: 11
Author Position: SF
Outcome: Consensus to not semantically model algebraic structures.
Comments: Semantically modelling algebraic structures would be
overconstraining.