E tutti e sei i nodi del lab sono aggiornati.

Ok, sono in ritardo di qualche mese..... Ma meglio tardi che mai.

I had recently made an analogy between the developmental cycle of a proof and the developmental cycle of a child, and noted the strong cultural preference for a "traditional" parenting model in which a single set of parents is responsible for all aspects of the childrearing process, from conception all the way to adulthood. In a similar vein, we have a traditional authorship model in which a single set of authors is responsible from a proof all the way from generation up to at least publication, although we do normalize the phenomenon of a different set of authors then writing the definitive textbook on the subject.

But, pursuing the analogy further: in the case of parenting, we have a number of social, legal, and/or medical mechanisms, such as in vitro fertilization, surrogate mothers, adoption agencies, godparents or foster parents, divorce and remarriage, or child protective services, to handle cases in which the traditional parenting model, for one reason or another, is not viable. These mechanisms can be controversial, and are not necessarily a complete substitute for a traditional parenting model, but it is still better to have them than to rely on completely ad hoc procedures when traditional parenting becomes unavailable.

I am reluctantly coming to the conclusion that some similar formal mechanisms may be needed for mathematical results in the age of AI. In particular, we may need a mechanism in which an author is willing to take a proof through some partial stage of the proof development cycle (generation, verification, exposition, publication, and canonicalization) but then explicitly "gives it up for adoption" for a different set of authors to continue with.

unspecified horror

Spanish Darwin at work

--
Uriel Fanelli

My Projects: https://keinpfusch.net/software
XMPP: uriel@keinpfusch.net
MATRIX: @uriel:chat.keinpfusch.net
old blog: https://blog.keinpfusch.net
new blog: https://keinpfusch.net

External Attachment:

Deeply honoured to have been hired by the city of Madrid to write the CSS for their new statue.

From a review of a recent AC/DC concert randomly linked from my feed: “…the crowd exited smiling and, in many cases, well-juiced. Outside the arena exit gates, rows of teens were waiting to drive their parents home.”

#music

#Vaccines #VaccinesSaveLives