BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260405T170426Z
DTSTART;TZID=Europe/Brussels:20260519T170000
DTEND;TZID=Europe/Brussels:20260519T183000
SUMMARY:How many points are in a line segment? From Grosseteste to numerosities
UID:20260406T005632Z-iCalPlugin-Grails@philevents-web-f5d4878dd-4s97k
TZID:Europe/Brussels
LOCATION:Kardinaal Mercierplein 2\, Leuven\, Belgium\, 3000
DESCRIPTION:Abstract\n<p>In his commentary on Aristotle&rsquo\;s Physics\, Robert Grosseteste (ca. 1175-1253)\, Oxford theologian and Chancellor of the University\, wrote: "Moreover\, [God] created everything by number\, weight\, and measure\, and He is the first and most accurate Measurer. By infinite numbers which are finite to Him\, he measured the lines which He created. By some infinite number which is fixed and finite to Him\, He measured and numbered the one-cubit line\; and by an infinite number twice that size\, He measured the two-cubit line\; and by an infinite number half that size\, He measured the half-cubit line." In Grosseteste's account the numerosity of the points in a finite line segment covaries with the length of the line segment. This position gave rise to an interesting number of debates in the XIIIth century especially as a consequence of a challenge raised by the Oxford theologian Richard Fishacre (1205-1248) who set up a one to one correspondence between the points in line segments of different lengths. I will reconstruct some aspects of this medieval debate\, connect it to later intuitions (Bolzano and Cantor)\, and then discuss recent results from the theory of numerosities to the effect that the counting of points in a line segment preserving the part-whole principle is compatible with Lebesgue measure. I conclude that Grosseteste's intuitions can find a suitable mathematical implementation.</p>\n
ORGANIZER;CN=Jan Heylen;CN=Sylvia Wenmackers;CN=Shahab Khademi;CN=Nena Bobovnik:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR
