From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.28.136.12 with SMTP id k12mr1352026wmd.10.1506845248008; Sun, 01 Oct 2017 01:07:28 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.223.163.207 with SMTP id m15ls2752094wrb.13.gmail; Sun, 01 Oct 2017 01:07:27 -0700 (PDT) X-Received: by 10.28.136.12 with SMTP id k12mr1352017wmd.10.1506845247046; Sun, 01 Oct 2017 01:07:27 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1506845247; cv=none; d=google.com; s=arc-20160816; b=nRKNa/bN20HYetGQj3q7W6xRVNp+hCvoCW845x9jFwWcLxj1VzYXctjz/qr7GvcUIK KJaMz5ztKly4JqGS2y7g5tWo3LtzJSG+LCiVtWNPbcQTI/2MVQq4al7db7+QNbEn87Gu xab8ryHprRPpjB8gSrfoQ4VHEgxJJny0kv91sYEHkmN1TZ+L2scXknwTXb9QSGaFRZ0B VhN9XhvI3rslNVxyqArGP+qCT/PTKZ3TY98Orw40M6Y1MtADgQTqj//K0g9OO/X7Oquc nNND3uZKp28v9BefDmietrOd+Np9vyL4LsJlKkGkmrdVBhJofGTYes5M7vB33n3sgo1t PeTQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=user-agent:in-reply-to:content-disposition:mime-version:references :message-id:subject:cc:to:from:date:arc-authentication-results; bh=wdNSCcBRSimkQWGo/Zm8+OK/ixYwEg3Te9IH74ISBZA=; b=A7jx+JuxWKXW91e9n/JakZHYihSquFLhV0eO586c/VLv8x8nPgB1TXDEI6b71xevjZ 1DFBCQWdWZKbGePSfRQBwhnffgK+yZqlu6oLQ1AcZqEMLj0gB1LkxMY9AzR+go2YGWyf WzUKBYQKDI9l0xAIOMjrbCW5j8U1vmAtl+JzEY1H8nA645U9u4BILCJKfvqGHPWKrRsN bVIJw5f58OvkBshyBMFfjmv/Gctil+0xQTNpS+A9q/Q0BSmU6KbedqaTJbZhCNPBnOHB Y0zlnE2bgg9mTwXSc0mO0YFKVRZRiDw/6FZLm21TUMalxOoPx8sP9trIlVf9ReqvXJeS p7SQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: best guess record for domain of stre...@mathematik.tu-darmstadt.de designates 130.83.156.239 as permitted sender) smtp.mailfrom=stre...@mathematik.tu-darmstadt.de Return-Path: Received: from lnx503.hrz.tu-darmstadt.de (mail-relay15.hrz.tu-darmstadt.de. [130.83.156.239]) by gmr-mx.google.com with ESMTPS id b203si726147wmh.4.2017.10.01.01.07.26 for (version=TLS1 cipher=AES128-SHA bits=128/128); Sun, 01 Oct 2017 01:07:26 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of stre...@mathematik.tu-darmstadt.de designates 130.83.156.239 as permitted sender) client-ip=130.83.156.239; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of stre...@mathematik.tu-darmstadt.de designates 130.83.156.239 as permitted sender) smtp.mailfrom=stre...@mathematik.tu-darmstadt.de Received: from fb04281.mathematik.tu-darmstadt.de (fb04281.mathematik.tu-darmstadt.de [130.83.2.21]) by lnx503.hrz.tu-darmstadt.de (8.14.4/8.14.4/HRZ/PMX) with ESMTP id v9187P0Q017867; Sun, 1 Oct 2017 10:07:25 +0200 (envelope-from stre...@mathematik.tu-darmstadt.de) Received: from fb04209.mathematik.tu-darmstadt.de (fb04209.mathematik.tu-darmstadt.de [130.83.2.209]) by fb04281.mathematik.tu-darmstadt.de (8.12.3/8.12.3/Debian-7.2) with ESMTP id v9187PRF030829; Sun, 1 Oct 2017 10:07:25 +0200 Received: by fb04209.mathematik.tu-darmstadt.de (Postfix, from userid 11003) id 251941A3680; Sun, 1 Oct 2017 10:07:25 +0200 (CEST) Date: Sun, 1 Oct 2017 10:07:25 +0200 From: Thomas Streicher To: "Daniel R. Grayson" Cc: Homotopy Type Theory Subject: Re: [HoTT] Re: Vladimir Voevodsky Message-ID: <20171001080724.GA22968@mathematik.tu-darmstadt.de> References: <099725f2-f96b-4d48-9300-1236cff72224@googlegroups.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <099725f2-f96b-4d48-9300-1236cff72224@googlegroups.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-PMX-TU: seen v1.2 by 5.6.1.2065439, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2017.10.1.80016 X-PMX-RELAY: outgoing That is very sad! Didn't know him too well as a person but besides being a genius in maths I remember him as a very kind person who, however, seemed to be plagued by various psychological problems. I had the impression that the last years most of his energy was consumed by fighting what he himself would have called "his demons". Nevertheless, he published a lot his last 2 or 3 years. But whenever I met him I had the impression he was under a very strong pressure. Apparently too strong to bear for long! What a genius! What a hard life! Good bye Valdimir! Thomas