Hey, I used to post here

[george dark]

Years ago. From other emails.

Who knows what deep insights into mathematical logic are hidden in
the 99% of posts today that we benighted viewers consider spam.

If you are sane, and human, hello!

Ilias

[Ross Finlayson]

Received

Warm regards to you and yours,

Warm regards to you and yours,
the insights on logic these days,
are often enough attributed to Quine, his "Atoms",
and Graham Priest, about Aczel, and with
some notions of "New Foundations" or "NFU",
Forster's "Set Theories with Universes", as about
what for some reflects "axiomless natural deduction"
as a sort of strong modern Platonism, including
reflections on Goedel and Tarski, and Skolem and Cohen,
with regards to Vitali and Hausdorff, and for Lefshetz's
advice what to repoint the _algebraic_ geometry, of Bourbaki,
instead back to an, algebraic _geometry_.

Of course the conservative with ZF set theory and
Comte's Boole's Russell's logical positivism's classical quasi-modal logic,
is very well explored, where modern logicians in relevance logic,
like Scott and Anderson, make for less quasi-modal, while classical, logic,
and what reflects mostly the utter decisiveness, of de Morgan.


They don't much often write to sci.logic but some of the posters
are thoroughly familiar with them and a cohesive study of them together.



(Also Dirac and Bohm and de Broglie have a lot going on in the surrounds,
or continuum mechanics.)




Walter Case



https://groups.google.com/g/sci.logic/c/LVqCyssfJeM