mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

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

{ prev, contents, next }

Navigator

Fortune cookie

“Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question.”

Paul Halmos,
the beginning of his book, "Naive Set Theory"..

download seminar details: { pdf }

Seminar

Speaker:	Joan Rand Moschovakis (ΜΠΛΑ)
Title:	The Gödel-Gentzen Negative Translation and Classical Function Realizability
Date:	Παρασκευή, 18 Φεβ 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.