[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[lojban] Saul Kripke has died

To: lojban <lojban@googlegroups.com>
Subject: [lojban] Saul Kripke has died
From: "gleki.is...@gmail.com" <gleki.is.my.name@gmail.com>
Date: Sat, 17 Sep 2022 09:32:52 -0700 (PDT)
Delivery-date: Sat, 17 Sep 2022 09:32:57 -0700
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:x-original-sender :mime-version:subject:message-id:to:from:date:sender:from:to:cc :subject:date; bh=ITIb5Daf0Bbyb+QinmERP3JhyXdOw1rSkfO7jjHfKN8=; b=Ym1Jn0cXIe8cmlu0l2JiPLpiLcrZ3SOUUq6J+RAQuPXETqoLHGvxUzbWe4im1MglzO GO4PJ6Y+Pb7/K35+FPoKGWuMwQwtK4ExT1LXeM98dbM7XU9FORhghZzC3UzfQhYWiL/y lmdRh3vtbupe5FeR5k2mQojqw+x702UhuzqcQSV93elioBTlvCNceZQC6p61f2zjrsXk BznW/oeX0RuzJttiC9rmuXRRFjUO2DMCSyYylWQoF7E85l2xzj8/Do3CYCNUi9tFJ/hH cNtOS4PklFFKbrIL3UjoCIECNoFShnaJcRNAnJawzDfXXfWHq744XgvLmlo8odcGD+0Y S30g==
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:x-original-sender :mime-version:subject:message-id:to:from:date:from:to:cc:subject :date; bh=ITIb5Daf0Bbyb+QinmERP3JhyXdOw1rSkfO7jjHfKN8=; b=MFcrDoF6ubKTcWbHKEMksZ5kGNxw3WoW2+pfTEG2FYoo9iqkPr6wO37+pVj6v4c6z2 Lf9aNIqI/pWGGtcZqN5Q0gyHW29oOcSayKNgUkc/SqqPSqlAe9S9PFBR7CVnlBAUuyuO obYem6FmylFKAXA6c37st9Ov1vDj0EU+188DPLGrEhY/wOMXwHrzcL3Z5Ag5N4vcSP2n hgG1/zaj33Fv3mOXbOkOP+Gn2KsnyJUrG1yzQxTj68+8H6TgfoQQApQHVTZnVLtzo8J0 9W9EDuc9stEnQk1Q2C3MtL/rrOMWFuyWRgUNQWEVJGILYPMAbLWaR/FhjjTmKShzC0av UGhA==
Envelope-to: lojban-list-archive@lojban.org
List-archive: <https://groups.google.com/group/lojba>
List-help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
List-id: <lojban.googlegroups.com>
List-post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
List-subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
List-unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>, <https://groups.google.com/group/lojban/subscribe>
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Reply-to: lojban@googlegroups.com
Sender: lojban@googlegroups.com

Saul Kripke, the famous logician has died
https://en.m.wikipedia.org/wiki/Saul_Kripke

He was mentioned a lot in lojbanic discussions e.g. when talking about modal logic
https://groups.google.com/g/lojban/c/Xnuz_8P2p0M/m/8pkExMBp45MJ

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/f3bae4f6-827f-4ab7-a904-894e9d02be77n%40googlegroups.com.

Prev by Date: Re: [lojban] Re: Lojban tokenizer for machine learning, first version
Next by Date: [lojban] Announcement of 2022 LLG Member's Meeting
Previous by thread: Re: [lojban] Re: Lojban tokenizer for machine learning, first version
Next by thread: [lojban] Announcement of 2022 LLG Member's Meeting
Index(es):
- Date
- Thread