BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Computer Science Distinguished Seminar
SUMMARY:Geometry without points - Dana Scott
DTSTART:20160512T100000Z
DTEND:20160512T110000Z
UID:TALK2130AT
URL:/talk/index/2130
DESCRIPTION:Ever since the compilers of Euclid's Elements gave
the\n"definitions" that "a point is that which ha
s no part" and "a line \nis breadthless length"\,
philosophers and mathematicians have worried \ntha
t the the basic concepts of geometry are too abstr
act and too \nidealized. In the 20th century writ
ers such as Husserl\, Lesniewski\, \nWhitehead\, T
arski\, Blumenthal\, and von Neumann have proposed
"pointless" \napproaches. A problem more recent
authors have emphasized it that there \nare diffic
ulties in having a rich theory of a part-whole rel
ationship \nwithout atoms and providing both size
and geometric dimension as part \nof the theory.
A possible solution is proposed using the Boolean
algebra \nof measurable sets modulo null sets alon
g with relations derived from \nthe group of rigid
motions in Euclidean n-space. \n
LOCATION:Mechanical Engineering\, G33
CONTACT:Achim Jung
END:VEVENT
END:VCALENDAR