Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!seismo!mcvax!ukc!lithium!glasgow!jack
From: jack@glasgow.UUCP
Newsgroups: sci.math,sci.philosophy.tech
Subject: what happened to [Y]Esenin[e]-Volpin[e]?
Message-ID: <287@glasgow.glasgow.UUCP>
Date: Fri, 28-Aug-87 13:58:21 EDT
Article-I.D.: glasgow.287
Posted: Fri Aug 28 13:58:21 1987
Date-Received: Tue, 1-Sep-87 05:43:40 EDT
Organization: Comp Sci Dept, Glasgow Univ, Scotland
Lines: 26
Xref: utgpu sci.math:1873 sci.philosophy.tech:444

Well? - in particular, has the full version of his consistency proof for ZF
ever been available from anywhere? and what's he done since?

For the uninitiated: this proof was summarized in two papers, one in French
and one in English, dating from around 1968 (the English one was in a 
symposium published by North-Holland in one of their yellow books). The
proof starts from an "ultra-intuitionistic" (strict finitist) position,
sidestepping Godel's theorem by not being "formal" in a Godelian sense, and
uses some weird modal (and political!) concepts that extend Wittgenstein's
late philosophy of mathematics a long way.

The only other things by the man I have found are a book of essays called "A
Leaf of Spring" which I found in my local public library many years ago and
which is almost certainly out of print now, and an ancient paper on Suslin's
Hypothesis.

Can somebody that original really vanish without trace? (Kreisel did a brutal
hatchet job on the 1968 papers in a JSL review - is the reach of the Stanford
proof theory police really longer than the KGB's? :-))

-jack
-- 
ARPA: jack%cs.glasgow.ac.uk@{ucl-cs.arpa,cs.ucl.ac.uk}
JANET:jack@uk.ac.glasgow.cs       USENET: ...mcvax!ukc!cs.glasgow.ac.uk!jack
Mail: Jack Campin, Computing Science Department, University of Glasgow,
      17 Lilybank Gardens, Glasgow G12 8QQ, Scotland (041 339 8855 x 6045)