Girard’s logspace integers

Jean-Yves Girard, of Linear Logic fame, has a very recent paper, Normativity in logic, pursuing his line of thought about what he calls the “semantic aporia” (the meaningless dichotomy between syntax and semantics, in particular between standard integers and nonstandard ones).

Didn’t have time to read in depth yet but looks interesting, with a concept of logspace integers. That’s another one for the summer.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: