This is a static snapshot of the website of MPLA, taken on 2025-02-27.

You are here: Seminars » 1999-2000 » J. R. Moschovakis, 2000-02-18

Navigator

Fortune cookie

“It is natural, now, to think of there being connected with a sign (name, combination of words, letter) besides that to which the sign refers, which may be called the reference of the sign, also what I should like to call the sense of the sign, wherein the mode of presentation is contained. In our example, accordingly, [an example in which lines a, b, and c all intersect at a single point] the reference of the expressions 'the point of intersection of a and b' and 'the point of intersection of b and c' would be the same, but not their senses. The reference of 'evening star' would be the same as that of 'morning star', but not the sense.”

Gottlob Frege.

Seminar

Speaker:	Joan Rand Moschovakis (MPLA)
Title:	The Gödel-Gentzen Negative Translation and Classical Function Realizability
Date:	Friday, 18 Feb 2000
Time:	18:00-19:00

Comments

Reporter

Posts

Web standards: XHTML1.0, CSS3.

Powered by: OpenBSD, vim, nginx, Haskell, Ruby, Python, PostgreSQL, SQLite, django, schole.

© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.