mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Seminars » 2000-2001 » Ε. Κυρούσης, 2000-12-08

{ prev, contents, next }

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.

download seminar details: { pdf }

Seminar

Speaker:	Ελευθέριος Κυρούσης (Καθηγητής, Τμήμα μαθηματικών ΕΚΠΑ, ΕΚΠΑ)
Title:	Dichotomy theorems on the satisfiability of propositional formulas
Date:	Παρασκευή, 08 Δεκ 2000
Ώρα:	18:00-19:00

Comments

You must be logged in to comment.

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.