mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Seminars » 1997-1998 » H. Kotlarski, 1997-11-21

{ prev, contents, next }

Navigator

Fortune cookie

“I mean the word proof not in the sense of the lawyers, who set two half proofs equal to a whole one, but in the sense of a mathematician, where half proof = 0, and it is demanded for proof that every doubt becomes impossible.”

Carl Friedrich Gauss.

download seminar details: { pdf }

Seminar

Speaker:	H. Kotlarski (Polish Academy of Sciences (Warsaw))
Title:	An explicit construction of a model of PA + ¬Con_PA
Date:	Friday, 21 Nov 1997
Time:	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.