Welcome to Orcmid's Lair, the playground for family connections, pastimes, and scholarly vocation -- the collected professional and recreational work of Dennis E. Hamilton

 

Computational Arithmetic versus Encounters of the Standard Kind

MARIAN 2004 - Nonstandard Models of Arithmetic and Analysis.  OK, a stranger than usual clipping, but I have automatic radar that notices things about Universities in Italy and particularly Pisa and the nearby CNR organization.  I have this dream of having an institutional affiliation like that so that we could live part-year in Italy and Vicki could realize her lifelong dream of being in Italy.

I immediately ruled-out this congress because I have a class at the time and the subject is way afield of my limited and clumsy expertise at connection of mathematics, logic, language, and computation anyhow.

But it does say arithmetic, and almost all of the arithmetics used by computers are decidedly non-standard in ever way imaginable, so there is probably a topic here, whether or not even remotely close to what these folks talk about as non-standard.  And models, the wonders of models.  So this reminder is for me to at least notate something (not here).

Odd, I notice that conference announcements often inspire something that I make a technical note about, even though it might not be what the conference is actually devoted to.  It's like opening a newspaper and reading someone else's horoscope, then being inspired by what that brings up!
posted by Dennis at 5/3/2004 01:29:32 PM